Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

BackupPC_nightly m32r-linux-gnu-objdump signset-editor afp_client backtracker HsColour intel_bios_reader kuser lcg-rf ldapvi lesspipe.sh cidalias pcl_mls_smoothing boris scl_enabled flatph berkeley-abc taxblast dh_buildinfo geistest bearerbox maptransfer nova-scheduler rtl_power gmk_hy sitesummary-client unroff sponsor-patch session-cleaner shelltool