pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
atari++
openrisc-linux-gnu-ld
euare-groupremoveuser
euare-usermodloginprofile
dcopidlng
ndmetis
snmpbulkwalk
ocamldebug
voms-ac-issue.pl
mglob
in.rexecd
ataglist
csdp-theta
v.net.iso
tcpsvd
kid3
lazres-1.2.4
polarssl_dh_client
meson
polygraph-client
gpscat
aida2root
shinken-receiver
slurmctld
scvim
texifyvhdl
twoftpd-auth
vzquota
tv_grab_hr
yeahconsole