Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

annotateBed ia64-linux-gnu-ar ia64-linux-gnu-readelf dvd+rw-mediainfo eric4-plugininstall htproxytime iceccd convert sgmlcheck genxs dblistize pyrexc stress car dbfxtrct yaz-icu airport-config ceph_test_keys gwaei pork python3dm insert_seqs_into_tree.py split_fasta_on_sample_ids.py rl openstack.rb repstopdf hex2bdf draw..ode xfce4-terminal xrootconsole