pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
cube_cut
dpns-listgrpmap
gnome-gen-mimedb
genfontmap.ps
plasmapkg
kdesu_stub
etapro
clipedit
smbldap-populate
tsclient
avisd
sccs
gittrac
showdb
gamgi
p11tool
ddbd
hothasktags
icinga2-sign-key
flipbook
kc
panoramagui
mldemos
pasdoc
pgxnclient
scanone_mr.rtest.gz
dbf-rb
dot2ruby
PILISModelCV
vdispatch-conf