pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
amcheckdb
vstp
conntrack
dahdi_speed
mailsnarf
dvipdf
cckdcdsk
libglade-convert
mtp11-hotplug
mktorrent
tap.js
flappclient
netaddr
wvHtml
abtransfers
shuffle
ebncontrol
taxgetrank
fs-uae-netplay-server
gift-one-minus
tcpcli
mlpack_decision_stump
ilcontrast
flash_otp_lock
map-services
recite
poddiff
trcs
vbpermmat
xdu