/dev/build/windows/patches_coq/

• ../
• ReplaceInFile.nsh
• StrRep.nsh
• camlp4-4.02+6.patch
• coq-8.4pl2.patch
• coq-8.4pl6.patch
• coq_new.nsi
• flexdll-0.34.patch
• glib-2.46.0.patch
• gtksourceview-2.11.2.patch
• isl-0.14.patch
• lablgtk-2.18.3.patch
• lablgtk-2.18.6.patch
• ln.c
• sed-4.2.2-3.src.patch
• sed-4.2.2.patch