/dev/build/windows/patches_coq/

• ../
• ReplaceInFile.nsh
• StrRep.nsh
• VST.patch
• coq_new.nsi
• gtksourceview-2.11.2.patch
• isl-0.14.patch
• lablgtk-2.18.6.patch
• ln.c
• quickchick.patch
• sed-4.2.2-3.src.patch
• sed-4.2.2.patch