Binary: directproof

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/directproof

Random binary cloud:

BackupPC_attribPrint bfin-linux-gnu-size objdump darkserver.wsgi plparse g.gisenv mpicc snmptest obconf system-config-keyboard odbcinst wvPDF xfs_check ifnames-dickey cclive ceph_test_objectstore dircproxy drbl-sha1pass i686-w64-mingw32-gcc-win32 hp2xx mkjigsnap ktmagnetdownloader uno-skeletonmaker sortm.sh osgwidgetframe partclone.ntfsfixboot pcb-lesstif pg_createcluster rhn-channel shnhash