Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

datanommer-dump diffuse dvd+rw-mediainfo holland_cvmysqlsv htfuzzy mpdallexit.py myisamchk nfprofile po4a-normalize args afuse update-auctex-elisp bowtie-align-l-debug global ffmpegthumbnailer grdblend kdigest hacha hmm2convert kc++ svm-grid vpbscan mate-default-applications-properties molrender god sb2-build-libtool sb2-build-qemuserver gap5 srcmirror xfce4-taskmanager