Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

rfrename gsf-office-thumbnailer simple_dcraw ncargf77 ndiff passwd ext_texture_array-compressed hiz-depth-test-window-stencil0 radstatus stap-server m68hc12-as ar pg2cdbi.pl roffpp dbcat YUV420toYUV422 elki-cli catod POFileEquiv x_report gst-doc cmscan maf-convert natsemi-diag osgsequence qemu-ga sass-convert run.x86-linux.a svnmucc vmware2libvirt