pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
libval-config
sh-linux-gnu-gcc
i.group
sge_shepherd
ts
mpitests-osu_gather
mpispawn
ntptrace
opj2_dump
openssl
phpcompatinfo
fbo-finish-deleted
pure-quotacheck
gentest
c_count
taglib-config
dvi2fax
trademgen-config
airdecap-ng
esmtpd-msa
debdelta-upgrade
dh_shlibdeps
lv2ls
nnview
mount.ocfs2
fsinfo
rungetty
sisu-webrick
starpkg
tsreport