Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

cgdcbxd keymod gpaw-mpisim hal-setup-keymap h5jam unlzf gen-nonzero-unit texelFetch rmt kill aemenu alt-key bowtie-build-s-debug psi-cd-hit enlightenment_remote faust2ladspa grfcodec hpropd p7env mapivi mewstunnel eventsource htmltoc pmsnap celeryd_detach.py avg_showcamera rtl_power sendip transfermii_gui zypp-refresh