Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

amdevcheck rcs2log dhcping jvmjar koji-containerbuild rlogin links2 certfind al netlabelctl node-supervisor hiz-depth-test-window-stencil1 refine rsmemsiz courierpassd dcm_map_to_8 epirunner epam git-dpm gnunet-peerinfo-gtk hibernate-disk lsinput FileCheck miraconvert ir_ab_names systemd-escape tmispell hexdraw pwo2xsf xxdiff