Binary: tptp_to_ladr

calamaris dpm-sql-pfn-to-dpns to_erl tigerdeep sqlmetal orc-bugreport kronolith-import-icals gww.x_mpich scponly vtkParseJava wavpack xmlstarlet check_postgres_hot_standby_delay creduce update-default-ispell v.to.rast3 gupnp-av-cp jlex open-raw.pl pango-querymodules dt-danechk ml-antlr.x86-linux modem-manager-gui pt-archiver spectool_raw staden_convert stash nirio_programmer wavbreaker xmms2tray