pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
autoconf-2.13
hppa64-linux-gnu-elfedit
ceph-authtool
chicken-install
foomatic-fix-xml
globus-fork-starter
bovo
akonadi_vcard_resource
ib_read_bw
ams
sccs
db5.1_stat
dicod
dhamma
lit2epub
eric5_webbrowser
gcjh-4.8
r.fill.dir
icegrid-gui
kdevplatform_shell_environment.sh
stag-drawtree
svm-checkdata
mate-font-viewer
mpqcval
ovs-appctl
osgearth_demo
mailsubj
qmail-inject
sbcenc
atk6-exploit6