Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

ia64-linux-gnu-readelf fprintd-delete mtp-emptyfolders pvfreverse ncecat pcl_outofcore_process ati_draw_buffers-arbfp-no-index sso-user-varying-01 kmsgsd virtualenv-clone qcatool2 qmltestrunner cef5latex tpm_verifyquote tcsd kill apt-ftparchive dh_dpatch_patch n_categories hbal gnunet-conversation-gtk inputlircd i586-mingw32msvc-dllwrap mipe2snps nfct comp mpe2sec qnifti2dicom qcollectiongenerator windowfilter