pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
lostaltmail
unixcat
ngettext
grib_moments
rvnamed
mongod
ext_framebuffer_multisample-blit-mismatched-sizes
texredefine
in.proftpd
qvoronoi
smaclient
halt
apmd
dh_installdebconf
installdeb-hunspell
cirdna
gnome-do
i810rotate
zebraidx-2.0
indi_simulator_ccd
kmess
license
netwag
openvpn-vulnkey
pfsout
cdvdcontrol
altair
stress-ng
splitmail++
tracker-stats