Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

ccmake28 gtkdoc-depscan conjure iverilog-vpi egroupwarewizard vgck esparse.js optipng pcl_voxel_grid dbrow projectM-pulseaudio tsxs gdal_list_corners freefoam-channel dh_javadoc gdallocationinfo ipband edje_inspector gst-codec-info-1.0 build-lives-rfx-plugin-multi mairix mount.nilfs2 pmlogger_check powerdebug qmail-newmrh settings.dat tt odt2lt dir2vclt x2