Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

nodeattr gl-setup ibis lfc-ping mcopy draw-batch planets torsocks tor v4l-conf ypserv afclient autoupdate2.13 bacula-console-qt objdump ranlib bowtie-align-l acctdump rmiregistry gnome-pie gmxdump_d mia-2dimagefullstats ratbox-services science-physics-dev setBfree-start sinfo sympa.pl rtin OpenSwathMzMLFileCacher ftwhich