Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

dsktune-bin wire-test bcfg2-yum-helper sh-linux-gnu-addr2line dcopidlng latencytop-tui gsf mtp-detect lxc-destroy rasview polB_openmpi arb_texture_buffer_range-errors getteximage-targets virtualenv-2.6 sumpdos.x_openmpi fake_advertise6 wine32 unxz a2lef cxref-query weights inject-files.php viewgar mgd77path gmysqlcc hatari_profile ilur logjam pinpoint FeatureFinderIsotopeWavelet