Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

cblrpm desktop-file-install fig2ps fvwm-xdg-menu hiera katomic preprocess-2.6 easy_install subunit-ls sipsak dellBiosUpdate pdftopng amavisd-agent debci-batch dhcpcd5 edamhasinput fastx_barcode_splitter.pl gnunet-uri ri dtsdec lzip.minilzip perdition.imaps pfsrotate popcon-stat.pl fodtrack sigviewer ap.pl sra-kar.2 ptable xenperf