Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

bigloo3.3a fpga_load dfbtest_scale mount.ecryptfs radzap ppmcolormask arb_uniform_buffer_object-getactiveuniformblockname hiz-stencil-read-fbo-d0-s8 delve cairo-perf-compare-backends geomatch couriertls f2fstat gmerlin_launcher gpiv_revert grub-kbdcomp hime-trad kid3-cli gnatcoll_db2ada marisa-benchmark fixACE4consed ICSharpCode.NRefactory.CSharp.xml iscsi-iname pklas2img zentest sdasz80 storeBackupDel vzeventd wmii.rc wmiir