Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

frv-linux-gnu-strip fusioninventory-injector gogoc g_sham_d gst-launch showkey lbzexe megaraid_lsmplugin lsof nyshell msgf2pin synthcal cdfstrconv designate-rpc-zmq-receiver eiskaltdcpp-qt gst2ascii udpcli jack-stdout testsolv mia-2dmyocard-segment ng-latin service_wasinactive osgtessellationshaders occ opldecode task0 aafigure sawfish-client macro1 sord_validate