Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

bodhi-init condor_status DllPlugInTester euca-delete-vpn-connection fbguard gtester gnome-system-monitor r.surf.gauss gtkterm idle3ctl revpath dlist-clear gl-3.2-layered-rendering-framebuffertexture-defaults rmail.postfix wd_role shpcat fsck.cramfs x2goagent faketime freefoam-surfaceOrient funjoin java identicurse seewbmp libde265-sherlock265 smpif90 ts2m2ts test_base.py sb_filter TrimmomaticPE