Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

ar pktoip6 mailsnarf r.resamp.interp pbstop add-environment-variables.cmd plotband.x_openmpi redland-db-upgrade imp2gbs taskjuggler analog axgetmsg cccc dh_pypy eboard-config ct_run ext3grep freefoam-attachMesh grepmail ghcal init-select ip6tables-save wbxml2xml stylus rc-abort kitsch pilprint.py syrthes-gui VisualBoyAdvance pwi2xsf