pkgs.loginroot.com
Home
Packages
Binaries
Binary: matita
Debian packages that has this binary:
Package:
matita
/usr/bin/matita
Random binary cloud:
x86_64-linux-gnu-nm
kreversi
dbrowdiff
podtoc
crash-texparameter-before-teximage
pdftoppm
smbldap-userinfo
kpsexpand
gnat2xml
ceilometer-agent-notification
cibsecret
green.lut
ae2dnaml
jumble
fosread
gfan_saturation
db.tables
dunedoxynize
lurker-index-lc
oardel
rc-service
rods
dgnova
sacctmgr
sstat
extract_usage_from_stx
fsfs-stats
uppltotf
analogy_config
xosview