Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

in.authd avahi-browse-domains gmtstitch g_vanhove h5dump mlmmj-recieve sponge ncgm2cgm pmie2col content-object-delete dynamodb_load initial_state.x_openmpi uuid-config convertfonts wpa_supplicant avg_adm ctpp2c debconf-communicate gparted-pkexec grub-install hsetroot ri mkc_check_sizeof ProcessWinCE.pm dicomimageviewer printer-profile seeman tightvncserver cpeGui vera++