Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

bib2xml condor_off pgawk gvfs-trash jmtpfs vp9_spatial_scalable_encoder openbox sqlformat rarian-sk-migrate traffic_ctl Configurator.java isotpsend debiandoc2wiki dms_dumpdb svrmgrl-example.sql bit2fp gnunet-gns-proxy-setup-ca inews ktp-debugger minccomplete mmorph ICSharpCode.NRefactory.dll eventgenerator nikola rt-shredder-4 sisu6 sks tcpserver unaccent uni2ascii