Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

dnsmasq LC_MESSAGES psktool gtk-query-immodules-2.0-32 mingw-strip proofserv.exe log2tsung x2goversion zipcloak avr-evtd charybdis-viconf rmtermd dvbscan electric gmtkbabel gmtswitch h5tovtk hapolicy digest-service impath attack frommac rfl midi2mg oggJoin dvdxchap html2markdown.py3 ini2spectacle ODBCManageDataSourcesQ4 weather-util