Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

abook checkpolicy msgmerge hdftopal rping lvs arb_sync-fence-sync-errors fbo-depth-sample-compare mozrunner r2e zipinfo aubiocut ceilometer-alarm-evaluator editfilenames disk-manager freefoam-calc gosh psbasemap gphoto2 cgicc-config sys rmid samlsign pfsin insegt tcmd ucspi-proxy-log spm8_reslice vbmakeglm rrdcachectl