Binary: directproof

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/directproof

Random binary cloud:

man7 fribidi gencat r.bilinear vboxcnvt mk-kill moncmd mdu sbigtopgm ola_recorder pmlogger sphinx-quickstart qmlplugindump reTurnServer texutil gmac bootstrap.jar ipop2d nrattach debian-builder kumotop hydra_nameserver i686-w64-mingw32-ocamlc ratpoints s3qlcp slon spectool_raw strip-nondeterminism vtprtoff xfburn