pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
amdump
objdump
strip
dtdiff
mpeg2desc
fts-rest-transfer-cancel
grd2xyz
g_velacc_d
katedec
salt-syndic
ssss-split
iwspy
xrdp-sesrun
gl-killx
sympl
copyfs-daemon
remap
exim4
fastdep
x86_64-linux-gnu-gcc-ranlib-4.8
kmixremote
pm_which
mgp2latex
clean_conntrack.pl
nwall
pfm
dnacomp
trsg
qbs-qmltypes
qmlmin