Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

avahi-resolve dbmail-sievecmd VolInfo gfal_testdir holland_cvmysqlsv pvscan mco NiViewer peardev quantlib-config safekeep get_sloc_details valac-0.10 XSupplicantUI coax btrecord cd-circleprint intercalc join-dctrl debci-batch keystone-all tracediff monobristol autofsd-probe clique polygraph-ltrace py_xls2csv rgxg callpass zita-a2j