Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

antRun.pl euare-groupdelpolicy jscpucfg lgroupmod mlpack_gmm mpitests-osu_scatterv ntfsdump_logfile paw++-g77 ext_framebuffer_multisample-negative-copypixels glsl-1.50-gs-mismatch-prim-type ipcrm xml2 aeson-pretty cdfvint cryptdisks_stop db_sql gertty globus-job-manager hedgewars pto_move mln tagmp3 __init__.py qtoctave_pkg update-rcconf-guide rexima seyon atk6-fake_router6 http@ perfdata.cgi