Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

abrt-action-analyze-core lpstat.cups dnssec-triggerd xtrace g.mapset ibdmtr spfquery phpunit oes_compressed_etc2_texture-miptree turbo_spectrum.x_mpich rancid-fe sdcc-sdranlib smartctl traffic_line wmllint_gui dbmon.sh prophet gcb gretl_x11 xpt.py mpcenc nvtvd pure-ftpd-postgresql pyntor qemu-system-x86_64 sisu5 intercept FeatureFinderMetabo cin2tab xymond_filestore