Binary: directproof

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/directproof

Random binary cloud:

avr-readelf bcopy.sqlite bcfg2-crypt db43_load dcopserver_shutdown error_resilient rst2latex genmsg_py.py iotk.x_mpich page virt-v2v x2gosetkeyboard aegis ao-ejection autoupdate2.13 powerpc-linux-gnu-ld.bfd dispcalGUI-curve-viewer freefoam-graphResUVWP gprbuild kimpersonate javaws indi_lx200_16 indi_v4l_philips mia-2ddeform pidfilehack pcp_stop_pgpool powerdebug pyro-genguid atk6-fake_mld26 tv_grep