Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

powerpc64-linux-gnu-gprof bltk csepdjvu euca-create-group vzt2vcd hp-faxsetup pbm2g3 mpirun_dbg.dbx fontc pcp-atop xpath ml_count smp_conf_route_info packdbf nm h8300-hms-readelf bbackupquery cdfvertmean dirvish staircase.lut grdsample ijsgutenprint dbs_dumptabstruct lookup matitac README veend detrend.py sweepgen storeBackupConvertBackup