/dev/build/windows/patches_coq/

• ../
• aactactis-86ac28259030649ef51460e4de2441c8a1017751.patch
• 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
• quickchick-v1.0.2.patch
• sed-4.2.2-3.src.patch
• sed-4.2.2.patch