Binary: dfg2tptp

ar dvconnect precompiler.lua mysqluserclone ncgen3 nycheck-g77 ext_framebuffer_multisample-turn-on-off vbo-map-unsync ev.x_openmpi routino-planetsplitter src-hilite-lesspipe.sh squidGuard header.py agda cdfnorth_unfold ocs-restore-mbr faust2puredata hatop ipnadminep Help_de.jar bpsplit nccg++ x86_64-w64-mingw32-ocamlmklib otrs.UnitTest.pl simulavr-disp smp_rep_zone_man_pass snd IDConflictResolver stripserver m2