Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

httpd.worker mkcover kexec mpitests-osu_reduce kronolith-import-squirrelmail-calendar arb_uniform_buffer_object-maxuniformblocksize smbldap-groupshow page decode_tm6000 sparsify cdvolume dbus-send dh_ruby_fixdepends gitxgrep defmt-c colibri gdcmxml mia-2dlerp ngrok obsession-exit osgtexture1D pegasus-sc-client PDFToDicomImage extlookup2hiera pdreceive pick_closed_reference_otus.py ranger tzc MKVSYD cookboob