Binary: dfg2tptp

alpha-linux-gnu-objcopy bltk_get_xdpyinfo cphasematch i.maxlik g_membed_d plugctl mkefiboot powercom opendmarc-import pcl_vfh_estimation arb_texture_view-texsubimage-levels reptyr pppoe-status sosreport get-wraster-flags bacula-sd z80-unknown-coff-elfedit install_packages gfan_combinerays gmusicbrowser bsspclo ctemplate-make_tpl_varnames_h run_all_tests_unix.sh filter_mysqlbinlog minctoecat JPWL_j2k_to_image refdbd trpg tc2html showgraph.cgi