Binary: ladr_to_tptp

gfal_version-32 gl-conf-convert dc1394_grab_gray_image mpitests-osu_alltoall msmtp perltidy rstpep2html qmlmin redis-benchmark rbssh testdisk apt-show-versions buildd-mail-wrapper sndinfo arbitron debconf-escape x86_64-linux-gnu-g++-4.8 git-repl ktp-log-viewer fld shcomp dk_make_protocol llvm-tblgen-3.5 nftl_format fitch jenkins_invoke scheme-srfi-7.scheme48 solfege stg-cvs jcasgen