Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

biosdevname condor_qedit exciting-stateinfo fts-rest-transfer-status ipcalc noping ncap2 bmptoppm wsdl2dispatch qucsfilter clusvcadm system-config-network-cmd as31 bmf clang dh_usrlocal dia2code dckey gauche-cesconv gnunet-config gapi3-fixup jack-dl latex2ps libuser-lid llvm-readobj lxc-test-apparmor segmasker color_depth_info tilt sphinxtrain