Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

bccmd v.kcv htmerge RunSimTest hiz-depth-read-window-stencil1 vnc2swf-play fmtutil binstats astribank_tool depqbf fische giira r.statistics kimpersonate icedove bssdriver jpgicc wandiocat lurker-search pbesrewr trna2sap tracert6 gconf_resource markers2.txt alt_getopt.sh netconvert uanytun xls2ods win wmanager-loop