Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

blkparse ctdbd g_rmsdist_d kstash holland_cvmysqlsv getsebool xc-info mpicxx rpc.statd ntfscluster procmail spec make_filelists cefpdflatex xpcshell dh_clistrip ocs-live-boot-menu cset dcmprscu remove-default-ispell textile tracemerge mixmaster-filter xbuild.exe.mdb ICSharpCode.NRefactory.IKVM.dll nc.openbsd denoiser_worker.py FastTree sg_decode_sense torrus