Binary: directproof

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/directproof

Random binary cloud:

amdump convmv dircolors rgb2gif intel_reg_checker pen perlcritic dnsdict6 unifdef dhcp6ctl update-auctex-elisp autogrid4 cdfspeed ubuntu-cloudimg-query corosync-fplay start_webtool gfs2oogl3D ioprofiler java-propose-classpath heimdal-history atdcat customer.pl foo2hp2600-wrapper qmail-lspawn rmagic sb2-start-qemuserver slonik_drop_table sup-sync splitmail++ movie-fakewavspeed