Binary: proof

Debian packages that has this binary:

Package: alliance

/usr/bin/proof

Random binary cloud:

nm mount.ecryptfs examiner sgepasswd dcopquit keychecker pqxx-config mpitests-IMB-EXT vreg amd_performance_monitor_api whisper-merge roqet qmgr aesvt bacula-traymonitor dh_acc dvbscan eficas gnome-shell-extension-prefs rxterm indi_skywatcherAPIMount inetutils-inetd cnfsheadconf jack_net_slave Help_fr.jar kgeography nxt_push avs2ps ooxml2doc wader-core-ctl