Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

msgfmt dvipdf sound_dump guestfish parkill mpitests-osu_put_latency curvecpclient mkntfs fdo23670-drawpix_stencil PrettyPrintCrl junitmsgfmt aubiotrack cp2k.popt ecaccess-association-protocol seqret gnome-tweak-tool kkc cpanfile-dump uic lxappearance mgp2ps ppswatch pure-ftpd-wrapper jsonpipe tlogin swift-ring-builder teem-unu tomoyo-patternize mutt-aliases-to-vcf xorpsh