Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

BackupPC_archive generatorrunner ps2pdf13 g_clustsize_d ipset cpancover nag-convert-datatree-shares-to-sql gvoice morbid moc SHLIB four2six poswap apgdiff msp430-ld.bfd blaze-list busybox coq-tex enlightenment_start aligncopy genext2fs x86_64-w64-mingw32-gnatlink-win32 r.clump xhfs jgem lw-ctl nova-spicehtml5proxy ploticus rhn_register XMLValidator