Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

alsamixer ApbsClient.py xml2end cas-admin x2sys_list mpitests-osu_bibw numactl fp-incomplete-tex prettify_json.rb sdcc-s51 sqlite3-dbf unhide convertx typer reformat.pl dh_germinate_clean grdspotter findaffix rw-by-pid-report likey lives_dirac_encoder3 mpg123-portaudio mori-6d.x pfsabsolute getconlist solfege vct tc2null umshutdown uzbl-tabbed