pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
autoreconf268
cmake-fedora-koji
cache_dump
ksnapshot
log4cpp-config-x86_64
mysql-zrm-purge
pkgdiff
pptpctrl
lupdate
pbs_tclsh
icon_append_file
dcmprscp
debchange
eot2ttf
add_text
gmerlin_play
gr_plot_fft_c
amsd
jhsearch
kredentials
printimage
sats
myrescue
pgdbf
python2-dbg-config
qmail-queue
qtpaths
tahoe
ttfdump
yaret