pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
clamd
euca-describe-tags
euca-terminate-instances
ab
kinfocenter
mcd
mpicxx
arb_gpu_shader5-invocations_count_too_large
arb_texture_view-clear-into-view-2d-array
ext_framebuffer_multisample-negative-copyteximage
cheetah-analyze
opdvips
setup_dvips.sh
apticron
cgexec
mkdarts
megamerger
faust2png
x86_64-linux-gnu-gccgo
stag-xml2itext
stag-ir
ndpiReader
ocat
afs-newcell
qemu-ppc
is.pl
systemd-nspawn
uim-el-agent
uwsgi_v8
vtk6