Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

cloc digitemp_DS9097U euca-create-subnet nsdb-simple-nce lneato r.horizon fastjar mpivars otf2-template arb_shader_atomic_counters-semantics sfdisk uusched applycal dimbl computeBugHistory gnetlist icecream ldaprenameuser regcompare.bin count loki_sort_error mate-shares-admin mkgmapgui somnec pfsoutexr ovirt.rb spiped compilexml twiggy addpart