pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
bfast
byobu-disable
dib-run-parts
hid-recorder
wmf2x
mpitests-osu_latency_mt
pwritxnt
arb_draw_indirect-draw-elements
tracejob
xrdp-dis
macroave
ListDBus
directvnc
kuum
fs-uae-launcher
g++-4.8
gorbd-4.8
grdfilter
x86_64-w64-mingw32-gnatprep-win32
jsoo_minify
kfilemetadatareader
directfb-config
msvmocas
agmrancid
rdfindexer
sunclock
supermin
tpm_nvwrite
tzconfig
vb2vmp