Binary: tptp_to_ladr

mergelocales.pyc dropwatch dvigif ftop kdontchangethehostname ibv_devices mailmanctl rdmpro_sniffer iostat2pcp ldapdelete glsl-kwin-blur-2 glx-create-context-default-minor-version proofserv.exe fill-an-ac gold iksd astk dbiflat ircflush jocamllex depdiagram-generate-all nepomukstorage neutron-check-nvp-config iscsiadm cws-5d.x pecan-python3 rt-setup-fulltext-index-4 selinux-activate slic3r uplatex