pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
tile-linux-gnu-size
brltty
text2wave
db.tables
idn-lookup
faxsend
sushell
plugreport
man
mpic++
npcd
qmake-qt5
qdbus
head.x
root.exe
tpmtoken_setpasswd
vym
create_bmp_for_microstrip_coupler
bcrontab
arm-linux-gnueabihf-strings
psi-cd-hit-2d
cwnnstat
gdalserver
ghc-modi
h5fromh4
nfc-scan-device
gsharp
ogmmerge
build-openstack-debian-image
jpeg2swf