Binary: directproof

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/directproof

Random binary cloud:

automount beakerlib-rlMemAvg bfast.resubmit.pl cube_commoncalltree d.legend kmid pdfgrep pkgdiff spamassassin ts_harvest vtkEncodeString aptly retrv cryptdisks_stop db5.1_printlog dh_installdocs dh_suidregister dhcping directvnc-xmapconv featreport native2ascii gnunet-download dh-make-gosa start_server pbget literal.py grxvt shorewall pdbtxt2html movie-title