Binary: directproof

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/directproof

Random binary cloud:

bglpp openrisc-linux-gnu-ld.bfd ami_slab dtrealms unbuffer foomatic-ppd-options html2text kmk_redirect virt-ls ganesha_stats xmove SleighWorkerWrapper.sh profiles virtuoso-t xmlrpc dblook f2fstat flrig gnome-osd-event-bridge gtimelog ncgen-hdf MonoDevelop.Projects.Formats.MSBuild.exe.config osgmultiplerendertargets pwrkap_cli tomahawk br_bioflat ffind weboob-config-qt modupdate dh_installyorick