pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

classad_functional_tester fvwm-xdg-menu openpgp2spki mpitests-osu_reduce_scatter nordugridmap pdfrevert dbjoin spawn-fcgi pdbtool repotrack simg2simg ebook-polish ceph_test_filestore_idempotent ctpp2vm POFileChecker r.li.shape hgpullsvn kvpm lcdproc mwc-ace fstree qcollectiongenerator qtdechunk rant-import sisu-epub ngram_build sam-dump.2 tessa RNPxl new-files

© loginroot.com, 2016