Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

debmirror nsdb-delete-fsn FreeCADCmd i.photo.rectify v.category g_hbond_d mk-slave-delay myisampack rassplit crm_resource pkgenpack ypatchy-gfortran mizuho scanadf setup uwsgi ytnefprint bitmeter ecaccess-file-mdelete feynmf gmysqlcc i.cca znew ldtp msgchk OgreMeshUpgrader qemu-arm-static rxgettext gout-long sha1_driver