pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
ld
bakefile_gen
cracklib-unpacker
glite-lb-msg-config
kcmshell
ytobcd-gfortran
qtrename140
wvdialconf
xfce4-keyboard-settings
dmxreconfig
apertium-rertf
bogoupgrade-sqlite
cdbs-edit-patch
cdde
ocs-makeboot
regdbdump
darktable-cltest
eggdrop-1.6.21
cpgreport
redata
ent
fence_xcat
glam2format
gcc-4.3
heimdall-frontend
dhcp-lease-list
symkeyutil
ojot
fst-compiler-utf8
pdfclose