pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
btkbdd
elpa2_print_kernels
man8x
ipmi-sensors-config
ccomps
greadelf
ibacm
mpitests-osu_allreduce
ntfsfallocate
opensipsunix
pbunzip2
ecpg
affcompare
cdfsigtrp
dcmsign
patclean
doodle
rpl8
ear
etop
guncat
jmol
jpilot-dial
mediathekview
mosquitto
pod2pdf
python2-osprofiler
vdb-unlock
racy
odt2rtf