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

© loginroot.com, 2016