pkgs.loginroot.com
Home
Packages
Binaries
Binary: matita
Debian packages that has this binary:
Package:
matita
/usr/bin/matita
Random binary cloud:
avrdude
gpre
globus-personal-gatekeeper
vimdot
grib_get_data
g_rotacf_d
pnmtopalm
phpcov
arb_separate_shader_object-ProgramUniform-coverage
pg_controldata
privoxy
qmlprofiler-qt5
aa-enforce
cadabra
drbl-tune-pxecfg-block
easymp3gain-qt
ekeydctl
fping6
genconf_d
i586-mingw32msvc-ranlib
save_options
qmail-showctl
tau_convert
shutdown.sh
psdots
vyum
uwsgi_alarm_curl
vbmaskinfo
mkgpic
zopectl.in