Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

bcfg2-info strip fts_server gdaldem intel_gpu_top eeschema lbzfgrep kronolith-convert-to-utc kpoints.x_mpich bombardment dd affstats apmsleep argonaut-fai-monitor cdloop cfkey dh_installmenu dh_testroot drbl-fuu-rm ganeti-metad m.nviz.image rrd-client-switches.pl ProcessWinCE.pm osgearth_demo kprobe jrancid fst-compiler-utf8 vam wput xacobeo