Binary: directproof

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/directproof

Random binary cloud:

dump_psb fdtput efax run_test euca-create-volume fence_ilo_ssh r.mapcalc g_morph hp_ud_grade kleopatra kxsldbg LC_MESSAGES map_buffer_range-invalidate potrace celeryev subunit2junitxml qdbuscpp2xml antpm-downloader strip cipux_object_client couriergraph.pl dbus-monitor sizeseq dump2geo msgconvert entrigraph med-data prelude-notify python3.4-config sbuild-adduser