Binary: matita

Debian packages that has this binary:

Package: matita

/usr/bin/matita

Random binary cloud:

ceph_test_rados_api_tier diffimg kblankscrn.kss ooffice mpitests-osu_barrier pnmcat plessc run_init BATCH gftype xml-xparse xconsole FastaUnique dacsvfs patlog ghci ss kpengine kdesrc-build-setup kid3 kxc-add-key tkill avconv parser3 block_device_resource tjl qalc spacewalk-channel bouncequeue dtmfcheck