pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
dfbtest_scale
dpns-getacl
foomatic-printermap-to-gutenprint-xml
radwatch
gmimeuudecode
cckdcomp
hp-logcapture
HtFileType
jsvc
workmanir
reporter-upload
piranha_gui
snmppower
qdmanage
cpufreqd
splitter
quickadd
x86_64-linux-gnu-gcc-4.8
olib
lbcdclient
lou_allround
otfconfig
mvn-debian
dbwtest
pybit-watcher
config-fast
thermald
TOPPAS
wmcpuload
yhsm-decrypt-aead