pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
alsactl
condor_reconfig
debootstrap
g_rotmat
MagickCore-config
kde-cp
winpopup-send
mpicxx
odbx-sql
pmie_check
arb_texture_multisample-sample-mask-value
fp-kil
star
argonaut-server
caja-autorun-software
ckbcomp-mini
ltsp-arch-debian-edu
dictunformat
dsh
efibootmgr
gadmin-proftpd
gelemental
gtimelog
jgem
kcov
mpb
tblastx
pydb
scmail-deliver
xsec-checksig