pkgs.loginroot.com
Home
Packages
Binaries
Binary: matitac
Debian packages that has this binary:
Package:
matita
/usr/bin/matitac
Random binary cloud:
apbs-multivalue
chemtoolbg
csymmatch
sh64-linux-gnu-cpp
xf86gammacfg
lmdemo
gemtopbm
grunt-compare-size
pcl_ndt2d
tm_mathematica
toppler
Cone5
cal
vdiff
cd-fix-profile
regdbdump
stssearch
fai-monitor
ffado-diag
gcolor2
greenwich
grml2usb
jocamllex
elementary_quicklaunch
njb-fwupgrade
mperfmon
m2300w
tos-storage-stm25p
vde_over_ns
xarclock