Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

avahi-browse-domains docbook2dvi .fipscheck.hmac README plutil-1.2 sldtoppm oneko pxz nokogiri acpixtract-acpica make_multi_seq update-default-ispell gprolog uncompress innconfval krb5-sync event_analyzing_sample-report madwimax _mocha nxconvert MediaImporter filter_hssp pythoncad scantool scsiinfo scsi_stop rtdClient vbfit xapers-adder z88i1