Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

bltk_report_check cernlib fbterm nsdb-annotate gcloseall d.menu grib_histogram login konsoleprofile dnstracesort pklogin_finder whisper-merge fmtutil-sys as31 frze cableidx checkinstall dvd-slideshow exifcom grail-test-edge eyaml ibus-sharada-braille amsd jshon ln insdseqget pfm otcldoc action_notify sql_gen_objects.py