Binary: ladr_to_tptp

c2070 clamd-status.sh dvipdfm loadshlib v.perturb cvsversion virt-inspector2 mtp11-folders fbo-generatemipmap-formats plee-the-bear qcollectiongenerator-qt5 synergy aevol_misc_view_generation bchunk db5.1_load freebsd-cksum gnome-schedule v.net.salesman udpclo dummy_server jets3t-synchronize rdf_store_add_file.pl v7k_lsmplugin license-reconcile mplayer seedtop oslo-messaging-zmq-receiver rabema_prepare_sam texdoc multibibliography