Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

alacarte bltk rfrm fastatranslate gearadmin tiff2bw pre2ncgm.prog ppmshift openchangepfadmin pfcat seaudit afuse clang-tidy-3.5 cvs-debi get-all-nic-ip i686-w64-mingw32-gnatkr-win32 ipraytime odf2pod mgpnet mincstats bts-retitle pildriver ttysrv rake science-simulations ssh-askpass-fullscreen STKDemo tralics mk-sbuild xenstore-list