Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

powerpc64-linux-gnu-ar chltofom lib dprof2calltree mdb-schema mysql-zrm-backup ntfsdump_logfile pptp qmlplugindump-qt5 mpstat auibusy bpluginfo cdfpvor clog ecaccess-file-copy setmaillist ts-edit i.maxlik hp-hpdio go2godb_prestore mpop olpc-nosleep osgcomputeshaders test_base.py ripit mmls sndfile-spectrogram stealthcleanup.gz wineboot-development yubiserver