Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

hbcixml3 bashbug-64 strip bltk_get_ac_adapter wantedpages.php isdnbill krandom.kss scotch_dgord lss3 qtconfig pdf_text wvWml xml-rpc-api2cpp aft ifnames2.64 cf-agent YUV411toRGB dt list_audio_tracks kakasi lcrack_regex smtpsearch trove-mgmt-taskmanager sst7 smfsh sra-kar.2 tmxrasterizer voms xemacs-21.4.22-mule xenmon