Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

cris-linux-gnu-strings chkrootkit whoami dvd+rw-format s3 arb_robustness_client-mem-bounds smp_phy_test try-from kpsepath x2goprint ale cdfsig0 ocsmgrd fsmove tags_demo hol88 hp-config_usb_printer transicc pango-querymodules lt-expand meterec miredo-checkconf gen_unit_warp vbv pkinfo pymcapostbatch stalin swish-search uzbl-browser spm8_realign