Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

alsa-delay amaddclient findthatword glite-lb-mon grass64 qrls gtk-gnutella mlogc mysql_client_test audemo xmlpretty fbo-fragcoord wipefs synthread grep-dctrl v.to.rast3 groovyc hledger-interest dtn2adminep tcpbso i586-mingw32msvc-c++filt MonoDevelop.exe olive scriptor rsrce science-meteorology-dev shntool viewsu wininfo sfactor