Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

eu-addr2line getent gpgv ma2asm qrstat GMXRC.zsh locate mono-test-install dnsip ppmchange nyindex pyflakes quilt libtool apertium-rexlsx realcxxsh.cc mysql2dbf cai gsymcheck kstash kanif testWAVAudioStreamer pgmtoy4m rivet rabema_evaluate pkfix td vbackup zkEnv.sh zkServer.sh