Binary: tptp_to_ladr

amavisd-release powerpc64-linux-gnu-ranlib mkbindic su eu-readelf fvwm-convert-2.4 d.his kaddprinterwizard kmdr-plugins rsvg-view nemiver nex sperl5.10.1 arb_occlusion_query2-api riparrange zoom2sam.pl dellBiosUpdate tm_r booish ceph_test_trans fai-nfsroot2image c_meths1.o shapes run-mozilla.sh marclint logcvs serdo multinode_server sendmailconfig getdate