Binary: directproof

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/directproof

Random binary cloud:

hppa64-linux-gnu-readelf lsdic claws-mail condor_reschedule eulb-set-lb-policies-of-listener fig2ps ftgamma ps2pdf14 kjs opengl-game-wrapper.sh nytidy pbunzip2 extractres deepgrep watchdog gold clustalx iterative_shape_averaging YUV444toRGB floppymeter ganeti-wconfd r.in.arc hackrf_transfer gfsplit buildPortalWSDL polarssl_rsa_decrypt pbwtest starpu_machine_display slmprune utf8migrationtool