Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

dfblayer aarch64-linux-gnu-gcov gnome-autogen.sh httpd.event ipa-compat-manage findmissingcrystal virt-list-partitions pvserver_mpich arb_viewport_array-scissor-indices dos.x_mpich bt-agent cgnscheck dcm2pnm YUV420ItoYUV422I gbonds gliv grub-emu escape schemagen pfstmo_drago03 pob-2250 potool hierarch28 validate_demultiplexed_fasta.py recoverdm bib2ris-utf8 s2cc mc-wait-for-name FeatureLinkerUnlabeled 2ndscore