Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

objdump r.surf.contour intel_perf_counters oobase logwatch nightfall ntfs-3g.secaudit plowup pg_controldata pure-pw pyrasite-shell txtconv 3depict balance cjs-console eprimer3 fastx_clipper LCDd sctop-record mate-window-properties mia-2dfuzzysegment netmask JPWL_image_to_j2k innobackupex rhinote spectgen uhub-passwd readnotes yesod-ld-wrapper dh_installyorick