Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

bcopy.mysql dzedit-gfortran r.average r.category r.out.gridatb gwenview ntfscluster getteximage-formats sscg ao-list cr_restart buildbot caret5 dh_perl tempfile makeprotseq forge_get_config cvsdbadmin gxkb nwnsi magicsort ng-latin mhparam obrms qutemol speedometer swift-container-updater systemd atk6-passive_discovery6 odt2txt.unoconv