Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

ld.bfd csplit dirac_RGBtoYUV411 bluetooth-sendto g_helix_d guilt-add guilt-diff test-mpeg2 pkcon pmie_email pecl vbo-buffer-unmap rst2latex admin_lib.pyc clc_analyze.hyb burn-configure logread crtmpserver cgdisk gotmail cmfetch photolayoutseditor list_admins mh_linkjar folders jinfo java installer.pl probcons-RNA snappea-console