pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
m68k-linux-gnu-ld
ant.cmd
gd2topng
gxint
zgrep
kdeasciiquarium.kss
mtp11-thumb
mysqluc
rpcdebug
maketext
content-untag
phcg.x_openmpi
shpwkb
skipfish
cg_annotate
wsman
apertium-desxlsx
dispwin
reorient
dtc_install_centos
ant.cmd
smooth3.lut
hxaddid
hxnormalize
pdftk
renrot
tophat_reports
udisksctl
uhd_usrp_probe
yodl2whatever