pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
autoreconf-2.13
x86_64-linux-gnu-ar
db43_deadlock
dmenu_run
libval-config-x86_64
git-strip-merge
oracle
lcm-logger
wnck-urgency-monitor
mpitests-osu_reduce
sso-uniforms-02
carbon-cache
sdcc-sdldz80
xkeycaps
objdump
pkg-ver-latest
git-bug
crywrap
ipropd-slave
heimdall-frontend
hyphen_show
mhn
ad-context-server.pl
php5-cgi
parallel_identify_chimeric_seqs.py
ryu
PeakPickerWavelet
tth
unaccent
xx-cvs-revcmp