Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

gnote r.bitpattern r.li.simpson mongoexport rasgetpal afs5log rdistd specrb editra x2gogetservers xlsclients besside-ng m68hc11-size bf_tar-bdb isotptun desktopnova-tray eficasQt freefoam-setsToZones gcc-nm imcd fastrm nfc-emulate-uid sp-gxmlcpp-xsltproc mono-server2-admin gputest_benchmark fsck.reiser4 sauce-setuserpolicy stg-unnew swish-search RTModel