Binary: ladr_to_tptp

ca-legacy nexuiz-glx euare-groupremoveuser v.segment h5repart svm-scale i686-w64-mingw32-strings glsl-max-vertex-attrib pinentry-curses paplay mce-inject strace cook_rsh acdgalaxy falcon freefoam-ico goscience fstminer atlas_convert asndisc astraceroute nuitka-run pepper __init__.py wbemcli.py sendmail2snpp sylph-searcher tao-config texworks tv_grab_na_dd