Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

bno_plot.py cdmake-gfortran dpkg-parsechangelog cpu_sup fedora-packager-setup gmtmath xyz2grd g_x2top dcopstart mtp11-detect ospam pdfnup fwcheck_psad udunits2 xwud xsetmode a2disconf zforce miniscope lazres-1.2.4 mafft-homologs mrpt-perfdata2html rarp openchange_newuser qemu-i386 CMakeLists.txt.gz simpleburn.sh whitedune Plouffe wine-preloader