Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

mkafmmap r.thin irkick lgroupmod slog2filter mysql pmcd pfcat ext_framebuffer_multisample-dlist bundlepmw.py epsilon.x scorep-score xwud codebehind1.dll gl-live-netcfg master ggcov-run nviz hts lastdb jpegexiforient scandeps verif_dep.sh minidlnad ngetty-helper watchdog hachoir-metadata-qt scsh-install-pkg sensible-pager subtitlecomposer