pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
ispell
btrfs-vol
grid-ca-create
gnome-system-log
ftp
monop2
mpirun_rsh
whisper-create
pw_export.x
tm_axiom
xscreensaver-demo
ztest
bnfc
bogoupgrade-bdb
cvm-mysql-udp
defectDensity
sgdisk
hpsockd
dummy_server
kwin_gles
lmConfigEditor
polarssl_pk_encrypt
libvirtd
ohcount
service_set_value
qliss3d
refdbd
spfd.mail-spf-perl
sra-kar.2
index_tar