Binary: directproof

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/directproof

Random binary cloud:

nm start_erl.src sendsms ibdmchk luserdel checksctp lxc-wait change_pw snmpconf arccat pax dbcolpercentile vomsserver.pl arb_vertex_buffer_object-vbo-subdata-many postmulti taskadmin syncqt.pl qt3to4 vios-proxy-host dmxaddscreen extsmaild make_edi_d go2obo_html xep consensus_tree.py FastTree qbiff settings.dat sefcontext_compile vampyr