Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

vstp condor_transferd corosync-pload dpns-find eric4-editor ghci i.landsat.acca guilt-new stunbdc xsltproc ntfscp pfcat glsl-kwin-blur-1 urxvt ldif2db-online rastrip atslex sdcdb fgetty fdnsmx glance-control htmake gsmsmsd latd lxshortcut sslh madplay paxctl txaws-delete-bucket ssh-agent-filter