Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

arp-fingerprint cmake3 freecolor hwloc-distances gtnameserv pamgradient pamx arb_viewport_array-render-depthrange GenSubjectAltNameExt mpxstats aprsdigi clc-clbuild dictfmt servicemenuinstallation r.buffer grub-mount gcc-4.3 rtacct polarssl_pem2der crypt masterha_conf_host mricron-npm ncftp3 nova-cells owget dib-lint taurusform bouncesaying rbootd arapprn.pl