pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
apt-mirror
bltk_wl_office_run_app
EfiLdrImage
euca-install-image
d.colorlist
heimdal-telnet
kaddprinterwizard
stunbdc
rgb3toppm
mimetype
pixeltool-qt5
vglserver_config
ldif2db
ao-flash-lpc
autotrash
mips-linux-gnu-ar
caret5
freefoam-changeDictionary
gopher
gscanbus
hprm
hmm2search-pvm
inputplug
osgstereoimage
taurusgui
aa.pl
atk6-redir6
MapAlignerIdentification
MassCalculator
transcriber