Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

powerpc64-linux-gnu-embedspu condor_vm-gahp libval-config-i386 finch gmrun klist translate rdf2ihx arb_transform_feedback2-gen-names-only mktexlsr flock xfontsel affstats ld critterding dose-outdated newinclude fasttreeMP freefoam-moveDynamicMesh ramsgate rp.pl odffilesearch img2sixel musescore pkegcs evtxinfo.py bulk.pl pygmentex samtools_0.1.18 MzTabExporter