Binary: directproof

Debian packages that has this binary:

Package: ladr4-apps

/usr/bin/directproof

Random binary cloud:

objcopy sparc64-linux-gnu-addr2line sparc64-linux-gnu-as chicken regdbdump djvuextract webspy gnucash-make-guids grub-install kojira virt-tar cmpfillin64 i686-w64-mingw32-objdump ppmchange varnetload odbcinst dacscheck eliom-distillery keytest gigextract i3-sensible-editor wineserver mod-mono-server nncheck psi-plus circuits.bench3 SIBsim4 dumpleases classupdate rip_show_stats