Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

bash trustman ebstopcode euare-groupmod g_kinetics_d ip6tables-restore-1.4.7 percolator stty.pl bulkissuance detect_ppa fixpsditps subunit-notify tex4ht tidy aecomp update-canna-dics_dir create-drbl-live-by-pkg displayfont archive_agent idled scsi_vendor tsa2d32 gunzip krename virtlockd splitkomdb remind snmpsimd twiggy zorpctl