Binary: dfg2tptp

authconfig-gtk ar distccmon-gnome libreoffice svm-easy.py x86_64-w64-mingw32-ranlib mpiexec fbo-attachments-blit-scaled-linear postsuper qtrename140 mkfastmod ascommand arm-linux-gnueabihf-ar wossoperation exim_dbmbuild x86_64-linux-gnu-gcj-4.8 ggthumb gnome-logs hidrd-convert cmconvert ietd gdcmgendir opj_jpip_viewer mate-maximus norsp roger_cli sipdump slon_kill tupi verilator_includer