Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

objdump start func-grep i.class r.surf.fractal wrjpgcom ldapmodify pypop subunit-filter bundle_ruby pdf_text clustal2link drblsrv ebndaily nefte pd-gem grace dd mafft-ginsi remove_members monodevelop postfwd2 dpmgr clogin srsd subcommander init_comment.pl genlist uni2ascii tool-stat