pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
autotrace
darkplaces-dedicated
neato
compare
arb_uniform_buffer_object-uniformblockbinding
fbo-generatemipmap-filtering
pm-action
coverage
qmlviewer-qt5
rsnapshot
mf
tpm_setoperatorauth
sync-accounts
dms_admindb
elvis-tiny
idesk
vpbconf
mcxi
sockdebug
pmk
al-session-daemon
qmail-qstat
skkdic-expr2
ini2spectacle
tryton-neso
vattribute
uucpsend
uwsgi_v8
gtraceview
tcpdump2xplot