Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

clush gxeps guilt-header h5dump ar pbmto10x lwp-dump pod2usage lrelease-qt5 ts_print_raw uusched winepath objcopy ld dh_gencontrol drbl-client-service trees2NEXUS filter tcpcli pbespp ospenroll owexist plait mp3length qs_generator designer sogo-slapd-sockd rsf2cnf velvetg_de wakeonlan