Binary: dfg2tptp

abcde condor_procd finch glx-pixmap-multi f77_f2c rt-server ASWallpaper apgdiff arm-linux-gnueabi-elfedit drbl-user-get featreport start escript firewall-applet writelog lcrack_mktbl am.pl regexp-assemble llvm-config mandos-monitor netmdcli navit obm-xdg pretzel-it pyqi pytest3 FastTree parallel_assign_taxonomy_rdp.py boobooks tv_extractinfo_ar