Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

automake CTK-run TianoCompress autopoint ibv_asyncwatch voctopvf wavtopvf libquadmath-0.dll dtd2xsd ng_stl pamsistoaglyph pgmhist crm_simulate arb_texture_view-copytexsubimage-layers rec gmod_update_chado.pl fcheck firewall-offline-cmd java x86_64-w64-mingw32-gnatkr-win32 kpa-backup.sh arapprn.pl nfc-poll mincexpand mod2sec Paje qbiff ir.pl is.pl dawg2wordlist