Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

clc-clbuild fusion_call unique-messages.py dimfilter gnomevfs-copy lfc-setcomment esc-m nypatchy-g77 postcat taglib-config xapian-inspect cclive cdloop couriertcpd datapm infoalign users-admin jocamlcp thesaurusTranslate llvm-config observations2map blastdbcp osgwidgetlabel ptscotch_esmumps-int64 rpc.rwalld sendfiled smemcap dmenu.xft tessa-mpi inspectsocks