Binary: ladr_to_tptp

sh64-linux-gnu-readelf ccgnu2-config hp-query ibportstate svm-toy-qt mlpack_kmeans stonith_admin pmafm qdbusviewer winbindd totem shutdown aesub cereal calls.o gtkhash hprop jclassinfo josm dmesg gda-list-config-5.0 mia-2dimageregistration ca2ldif.py certs2ldap.py assistant_adp srun spfquery.pyspf texifylogla texdoctk vdradmind