Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

amd2ldif ceph_test_crypto cdmake-gfortran freeDiameterd-1.1.2 g.mapsets kmailservice gss-client dbfilealter perldl fbo-drawbuffers-fragcolor pytest uic-qt5 camlp5 cdfnrjcomp ihex2txt fatattr gappletviewer integrit bssrecv kraft gdome-config gio-querymodules macchanger lpssumelm micro-httpd pcp_proc_info trean-backfill-favicons pg_test_timing rpdfcrop wifi-radar