Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

geos-config hp-check whirlpooldeep slog2filter ncbo certutil scotch_dgscat fixqt4headers.pl moc-qt4 rpmrebuild zerofill wxrc-3.0 aubiotrack h8300-hms-objdump csdp-complement faireboot Fgrids id3tool tryaffix g++dep llvm-size-3.5 mark maq_eval.pl nbdkit main.py pmwtf sb_xmlrpcserver atk6-fake_router26 fsobject.vbs xsec-templatesign