pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
avr32-linux-gnu-gprof
tile-linux-gnu-gcc
h4redeploy
mkcover
vboxcnvt
glx-copy-sub-buffer
system-config-kdump
aide-attributes
ao-elftohex
bowtie2-align-l
buffycli
ocs-update-initrd
degrep
geiser-racket
i686-w64-mingw32-gnatclean-win32
cmstat
ircp-tray
comdraw
knewsd
wbxml2xml
SAXPrint
luac5.1
i586-mingw32msvc-strings
rmid
osgconv
seqan_mason
hfind
unsquashfs
annotationViewer
wily