Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

dvipdfm gnome-volume-control-applet kpcli x86_64-w64-mingw32-dllwrap myproxy-destroy ola_plugin_info pkcsslotd ods-enforcerd qstart xclip-copyfile xml-xparse a2j_control run.jar randverse nm bp_hmmer_to_table diodmount divxcomp flog gmtmath japiotext s2tc_decompress lxsession-default-terminal entrez odbxtest.master grib_repack maildirmake markers2.txt berdecode tv_grep