From a47b241417b3c578f399f7fd5400ad9f90e3bec8 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Jan=20R=C4=99korajski?= <baggins@pld-linux.org>
Date: Tue, 14 Oct 2003 18:20:40 +0000
Subject: [PATCH] - needed to build coq with ocaml 3.07

Changed files:
    coq-ocaml-3.07.patch -> 1.1
---
 coq-ocaml-3.07.patch | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 coq-ocaml-3.07.patch

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
+  
-- 
2.43.0