pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
avahi-dnsconfd
xtensa-linux-gnu-readelf
build-jim-ext
tifficc
ykneomgr
cmpfillin
g3cat
caspol
mpitests-osu_reduce
tcpdump_to_db
horde-sessions-gc
s3tc-texsubimage
wvWare
aels
msp430-objdump
clang-format
atsa
ptexpire
dose-debcheck
v.net.salesman
indigo-depict
pirl
melting
starfire-diag
comp
olsrd-adhoc-setup
easy_install-3.4
uclust
swipl
dzhandle