Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

cjdnsa condor_preen v.out.dxf v.split h5repack rdisc ircd gemtopbm pktopbm snmp-bridge-mib c2ph qhelpconverter nns xmonad-start bwild collectdctl cachedbfetch gladish icewm-gnome jsymphonic newauto wiki-toolkit-setupdb ltpanel lxpolkit zhpy dpmgr bam2fastx tracker-preferences vtop rtcanconfig