Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

amcrypt-ossl adb davix-get dvdisaster ike-scan imgtoppm wstool sdpscanner ae-sccs-put adt-run blueman-applet dh_installcliframework cpp-4.9 evtest java2groovy hisaxctrl isoquery pagesjaunes testH265VideoStreamer lldb mldonkey otrs.MySQLInnoDBSwitch.pl patchedit pdsend pelican-themes s5 slurmctld wmforecast call_xrl yodl