pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
m32r-linux-gnu-gprof
mkfs.vfat
dvipdfmx
heart
msgcat
qlogin
irclog2html
mattrib
nfs4_setfacl
qmlprofiler-qt5
gww.x
db2bak
ifnames2.59
ranlib
dl10n-html
e2image
empathy-accounts
gpiv_recimg
ifile.inject-learn.header
indi_simulator_ccd
recomp
newhelp
dnaml
policy-test
nib-ls
gmk_hy-long
fst-lowmem
skk2cdb
tnat64-validateconf
zeyaclient