pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
dpkg-genchanges
d.zoom
lx26-x86
lusermod
mail-unlock
rx
ndisc6
calibrate_ppa
kidc
qtplugininfo-qt5
acminfo
bbstoreaccounts
dhcpcd-gtk
gcl
dh-make-ruby
x86_64-w64-mingw32-gnatmake-win32
gnuplot5-nox
hime-phoa2d
lesspipe
launcher.xml
vgetty
trafgen
expiry
battery_test
hy2py2
radsecproxy
startsrv
starpkg
mysql_alias_manager.pl
vmdebootstrap