pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
mips64-linux-gnu-objdump
nordugrid_gahp
cppunit-config
bfin-linux-gnu-gcov
r.circle
qconf
kwalletd
iwpmd
testregexp.rb
mysqltest_embedded
pvdataserver
pmlc
qttracereplay
vglconfig
exp
getdefs
m68hc11-addr2line
powerpc-linux-gnu-objcopy
ccbuild
chef-client
clfswm
cvsu
fatrace
estcall
jed
rw-by-pid-report
newlist
pp_popcon_cnt
prads2snort
qashctl