Binary: ladr_to_tptp

b43-fwdump sh64-linux-gnu-nm heimtools hwloc-assembler kdekillall msntest x86_64-w64-mingw32-objdump preprocess-2 rpmdev-sha256 gentest soqt-config anjuta-tags aptly msp430-readelf blaze-edit dh_installudev fdnsname freehdl-gennodes grmiregistry-4.8 pscontour gm-bootstrap_server goscience hocr-gtk ldirectord grib_parser nngrab scanone_mr.rtest.gz ssr-brs.nox shapeclustering valac-0.26