Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

bwild bkhive ctags dpkg-parsechangelog euca-delete-group chmorph mpiexec.gforker mpitests-IMB-MPI1 nfsidmap genpmda scissor-offscreen qmlviewer-qt5 rdfproc po2xliff nrattach debpkg dcut light.lut exmenen fai-chboot ipband ipe5toxml matho lavaddwav hose pysaml2-make-metadata writetmp samizdat-import-feeds sg_referrals verbiste