Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

beakerlib-journalcmp boxes chrpath cdiff fcnsq gdaladdo gnome-keyring-daemon gnucash-env h5ls otf2-print git-bloom-generate sg_luns __init__.py onto2vocabularyclass ivtv-ctl evim xdg-desktop-menu Xdialog avfs-config weights ysh prolix ldap2certs.py pecan-python3 pysnmptranslate screenlets tekka urlwatch xowish repozo