Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

cris-linux-gnu-objdump ami_slab cadaver carbon-list clpbar dos2unix euform-list-stacks globus-fork-starter grid-cert-info g_mdrun_openmpi suexec inxi jack_transport_client pamsharpmap wstool ident dt2dv xfoil m68hc11-addr2line cryptcat hmount gtk-update-icon-cache-3.0 symkeyutil mia-3dimageselect livedings mprandomwalk stunc dump3d xbmc-wiiremote xymond_hostdata