pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
geqn
g_select
icewm-menu-gnome2
kcmshell4
khelpcenter
pruneemptydirs
sp_preproc
arb_uniform_buffer_object-negative-bindbuffer-index
pq2-redistribute
rpmdev-cksum
qnodes
ratop
ebook-polish
tai64n
dcmftest
cfengine-debian-edu
fai-do-scripts
run-mozilla.sh
iki-git-hook-update
loki_freq
netperfmeter
nngrep
pmlogger
trean-backfill-favicons
pyp
pyxplot_watch
rox-filer
scantailor
atk6-ndpexhaust6
yacas