Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

donutsd euare-rolegetpolicy h5mkgrp gkeytool auplay ogdi_import omp-cli pmmgr dbcolpercentile glx-import-context-single-process iotk_openmpi gentest wishwn cdfcofdis cmtk_locking_procmail.sh dcm_to_html mailtoe maskseq plotorf filtergen funsky gfan_tropicalbruteforce guitarix pegasus-transfer inherita qrls sr.pl svn-hot-backup atk6-flood_solicitate6 timidity