Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

plist s390x-linux-gnu-objdump gnutls-cli grib_packing mtp-getfile deltainfoxml2solv hpiSubagent operf tz_convert crm_node pmexp break_filelist txt2regex 2html desproxy-inetd dvbdate fprcp-2.6.4 gmerlin_imgconvert gnumed ktp-debugger kscience.kss wandiocat mona uchime read-package-json.js class-6d.x pkfilterascii pob-3119 sm-archive wmgui