Binary: tptp2dfg

chkrootkitX berkeley_db42_svc ecryptfs-stat glite-lb-bkserverd grid-proxy-info hp-systray kvirc kni_perfo mk-visual-explain mysqlreport rec_control horde-set-perms gl-3.2-layered-rendering-framebuffertexture-defaults rumakeindex apertium-destxt wsr88ddec scheme-elk inmidas fs-uae-arcade git-create-branch hatari_profile hime-gtab2cin transformdb icmpinfo canonicalize_bgp.pl.gz ots pdfunite bounced update-texmf-config winff-qt