/dev/build/windows/patches_coq/

• ../
• ReplaceInFile.nsh
• StrRep.nsh
• VST.patch
• coq_new.nsi
• flexdll-0.37.patch
• isl-0.14.patch
• lablgtk-3.0.beta5.patch
• ln.c
• ocaml-4.07.1.patch
• pkg-config.c
• quickchick.patch
• sed-4.2.2-3.src.patch
• sed-4.2.2.patch