Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

amcheckdb vstp conntrack dahdi_speed mailsnarf dvipdf cckdcdsk libglade-convert mtp11-hotplug mktorrent tap.js flappclient netaddr wvHtml abtransfers shuffle ebncontrol taxgetrank fs-uae-netplay-server gift-one-minus tcpcli mlpack_decision_stump ilcontrast flash_otp_lock map-services recite poddiff trcs vbpermmat xdu