Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

AirInvServer kuesvr-g77 dpm-ping ipvsadm-restore kded4 rdma_server mdeltree mysqltest nightfall python cef5conv wdaemon x2godbadmin achilles create-bridge-sql.pl readbuffer light.lut r.circle jack-plumbing calendarjanitor nwnsi list_admins amd64-mingw32msvc-readelf osgdistortion filter_samples_from_otu_table.py scilab-cli-bin gotst-long stg-show stompserver graphviz