Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

autotrace pdwtags ftmulti kdiff3 mongooplog mrtg ndisc6 XMLRPCsh.pl HPXcvt wmc create-ubuntu-live ocs-lvm2-stop create_greyscale_module editorconfig-0.11.5 kwnntouch gsch2pcb kdt2kdt headerthemeeditor orte_wrapper_script metar ml-nlffigen.x86-linux calcdest pvmgroups vax srapath.2.3.5 fix_map_ordering unhide odt2bib toascii oldlog2new