Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

ld dcl2inc update-gdk-pixbuf-loaders glewinfo krb5-config luarocks-admin objcopy mpiexec.hydra pesign-client ntdbtool tpm_unloadkey lzmore average make-table epoptes printmaillist gjs gdiffmk zip2st innwatch itksnap swemini rw-by-file-record rlfe systemctl systemd-machine-id-setup ptex2pdf action_snmptrap tpb true