pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
hppa64-linux-gnu-as
hppa64-linux-gnu-gprof
hcitool
trustman
sshmitm
funionfs
uuclient
nysynopt-g77
cpan
clipflat
polygon-mode-offset
pethtool
cgcc
cqa-rb
x86_64-w64-mingw32-c++-posix
gst-launch-1.0
crosspost
kslideshow.kss
latfilter
tptp_to_ladr
colored_dmesg
tm
mia-2dfluid
myproxy-server
pmnewlog
rabin2
ripole
screenfetch
wmbattery
ghostlist.cgi