Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

ceph-create-keys tau2cube __init__.py ftmulti gnome-power-manager v.buffer raw2tiff monitorix asciitopgm pbmtoibm23xx opensipsunix qxkb tsclient tuna port-helper winecfg mkdep binlegs gozerbot-init zegrep akonadi_mixedmaildir_resource llvm-symbolizer luajit mia-2dimagecombine-dice nutcracker sg_reset_wp tcptrace atk6-detect-new-ip6 umount.udisks2 monthly