Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

ansible-vault gimptool-2.0 gdbus pl2link krb5-send-pr rmdtopvf ncl_convert2nc stencil-drawpixels plotband.x sdcc-sdasz80 FilteringCxxTests luit PyroNoiseA patscc din parse_apt_url_get_rpm.sh gsymfix icalmerge marcdump med-bio statnet convert-wsp-to-ceres brancid phenotypes3.txt runbib pidof tailor ttyrec mkexamplesheet.sh zeitgeist-datahub