pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

texi2dvi4a2ps dbmail-lmtpd cpufreq-selector d.extract qconf jove cvsversion mpitests-osu_alltoall catalyst.pl arb_texture_multisample-sample-position ftpasswd vcf-stats lex.py coraid-update boats drbl-ocs dma drbl-live stretcher gcc-nm-4.8 html2wiki text2odf pdksh VerificationSOPClassSCU pkgkde-debs2symbols lamp_test qemu-x86_64-static rivet-mkanalysis erb2.1 uprecords

© loginroot.com, 2016