From: Jan Rękorajski <baggins@pld-linux.org>
Date: Tue, 14 Oct 2003 18:20:40 +0000 (+0000)
Subject: - needed to build coq with ocaml 3.07
X-Git-Tag: auto/ac/coq-8_0pl2-2~9
X-Git-Url: http://git.pld-linux.org/?p=packages%2Fcoq.git;a=commitdiff_plain;h=a47b241417b3c578f399f7fd5400ad9f90e3bec8

- needed to build coq with ocaml 3.07

Changed files:
    coq-ocaml-3.07.patch -> 1.1
---

diff --git a/coq-ocaml-3.07.patch b/coq-ocaml-3.07.patch
new file mode 100644
index 0000000..eb1da20
--- /dev/null
+++ b/coq-ocaml-3.07.patch
@@ -0,0 +1,13 @@
+Index: parsing/pcoq.ml4
+*** parsing/pcoq.ml4	2002/12/15 12:10:18	1.57
+--- parsing/pcoq.ml4	2003/10/07 14:49:25
+***************
+*** 108,113 ****
+--- 108,114 ----
+      type parsable = G.parsable
+      let parsable = G.parsable
+      let tokens = G.tokens
++     let glexer = G.glexer
+      module Entry = G.Entry
+      module Unsafe = G.Unsafe
+