Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

cxi_ns gdal_translate ps2pdf14 x_update convert.pyo youget ncgm2cgm dnsipq ytobin-gfortran lupdate kpoints.x_openmpi praliases lastlog shinken-arbiter join cphist arm-linux-gnueabihf-ar powerpc-linux-gnu-dwp d-feet drbl-sl gba3 FileCheck-3.5 mailhelp micalc pob-2250 literal.py pypy-sandbox sqlitebrowser suboob ztelnet