Binary: directproof

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/directproof

Random binary cloud:

dpm-sql-spacetoken-replicate-hotfiles euare-grouplistpolicies gpsim r.topidx hp-toolbox kjumpingcube kdekillall nwipe nv_conditional_render-clear gdal_merge_vrt desproxy acdtrace fcitx ffado-test-isoxmit ffmedit po2txt textfmt javaws icewmbg-lite vsd2xhtml xlinks2 llc-3.5 mpiexec.openmpi pvmgroups razers dfi docbook-2-html udj weston-launch yudit