Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

m68k-linux-gnu-c++filt ftgrid gdb-add-index dnstrace ntfsck ntfsls libnetcfg planet chardetect qmake x2goumount-session aa-mergeprof writeeeprom rctest cdfmppini ocsmgrd pts-subscribe escript gaphor fieldpath-gen mkjigsnap tmx2tmx mrbc ImageToDicom m2400w vtk6python scanssh vbview2 newvserver widl