Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

abrt-action-analyze-c hdiff irnetd mutt pgpewrap pkcsicsf pawX11-g77 gl-3.2-layered-rendering-clear-color-mismatched-layer-count proxyfuzz gftype deletall zfs powerpc-linux-gnu-ar cdfmxlhcsc galax-mapschema gaphor gfscombine3D dimfilter gegps dh_haskell_blurbs kbdinfo perl2html stubmaker mate-session carmen2rawlog sl2h fresh_rate_info podbrowser predict slonik_uninstall_nodes