Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

csgrep eric4-pluginuninstall fakeroot-sysv r.timestamp openpgp2spki slog2filter nxauth ocamlbuild.byte easter pg_md5 relevation qnoded runlevel ivtv-ctl mount.lockfs ld.gold dpkg-genbuilddeps merger mu-conference ktutiltest virt-log ndpiReader nxsummary obm-nav Sample-NiUserSelection symtree nopaste-it parallel-slurp MapNormalizer svcstatus.cgi