pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
calcurse
darkdashboard
db_codegen
eulb-create-lb-cookie-stickiness-policy
powerpc64-linux-gnu-gcov
make_strings
httrack
jemalloc.sh
lcg-gt
skymon
node-gyp
arb_uniform_buffer_object-negative-bindbuffer-target
ftpasswd
mturk
qmake-qt5
swatch
traffic_server
realcxxsh.cc
dh_golang
consambig
equivs-control
Fpatch
git-setup
Help_fr.jar
lurker-index
morseOSS
update-skkdic
svndbadmin
vstream-client
dump_xsettings