Binary: dfg2tptp

dialog-config tile4ms fbo-clear-formats glx-import-context-has-same-context-id PrettyPrintCert restclient vcf-shuffle-cols remove-ds apgdiff aptitude-run-state-bundle part-util cf-key display-dhammapada dl10n-txt restrict ghci-7.6.3 gmtdefaults m.cogo iprop-log itweb-settings jh_makepkg kprinter4 lfhex epic-diag appletviewer service_wasinactive osgviewerGLUT pdf-presenter-console scheme-r5rs.scheme48 shc08