pkgs.loginroot.com
  • Home
  • Packages
  • Binaries

Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

abrt-action-analyze-c cssmerge qrls hp-makecopies ola_uni_merge sdcc-savr trademgen-config debuginfo-install arbtt-recover spotread bbmail bcron-exec sigmon cvm-vmailmgr-udp debci-setup-chdist update-dictcommon-aspell lsconv mlink faust2firefox ffado-test gpiv_piv2grid hpmkdir ocamlgraph-editor java Sample-NiCRead perdition.imaps pysaml2-parse-xsd2 tophat-fusion-post wcsware rstartd

© loginroot.com, 2016