Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

alevt-date h5repack mesa-private-llvm-config-32 mlpack_hmm_generate ncl pnmtopnm hpisettime devdump wn wvdial unlzma rtmux bterm scan-build-3.5 gkdebconf hackrf_cpldjtag sdr2file directproof xml2brl pes2txt tsorts serialver ompi-top service_stopped pslist pg_dotconf.py amk_hy sndumpdb tla-gpg-check OpenSwathDecoyGenerator