pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
getfacl
sparc64-linux-gnu-objcopy
fatsrv
dogtail-logout
dpns-rmgrpmap
fedora-create-review
qrttoppm
opencv_haartraining
shield-trigger
dbsort
nette-tester
restorefont
x2gosuspend-desktopsharing
ax25mond
calligrastage
mk_vmgm
gdm3
gpiv_piv2hdf
httpfs2
pto_merge
rdoc
mosquitto_pub
vecscreen
netmask
netmate
oggfwd
sheet2pcp
scour
find_renz
xpra_launcher