Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

byobu-disable modulecmd dbd jpegoptim krdb matchpathcon mlmmj-list auconvert pdf90 bgra-vert-attrib-pointer pkisilent Rdconv catstomp mips64el-linux-gnuabi64-strings z80-unknown-coff-ar ctanglex dcdirdmp espeakedit msp430-gcc ts-contribute-en akonaditest mwc-ace nagios3stats pegasus-rc-client pinot-dbus-daemon kramdown docbook-2-ps shishid subcommander tv_grab_eu_epgdata