Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

als BackupPC_serverMesg euca-delete-group gtest-config mpdtrace podofouncompress proftpd spice-vdagent ld dcmodify dpkg-remove dphys-config-altern-xcursor gprostats unregister-theme mapproject gosmore gtimelog latexmk i586-mingw32msvc-addr2line mdbrebase network_printer_test dot2ruby scim-config-agent ssvncviewer makeglossaries od-tkdesk Digestor tailf capinfos xmlindent