pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
wtoc
dgc
dpm-dbck
trend2d
gpsbabel
mdoc-export-msxdoc
pcp-atop
tpm_clear
pktsetup
powerpc-linux-gnu-gprof
gethost
germinate
grdblend
gramophone2
gst-typefind-1.0
hp-pkservice
lfc-dli
readpdf
gst-codec-info-1.0
upgrade-map-xml
matitaclean
txt2lps
combineMUMs
vos
osgtexturecompression
pkgkde-getbuildlogs
keyboard_test
soundinfo
imwcs
xpad