- needed to build coq with ocaml 3.07
authorJan Rękorajski <baggins@pld-linux.org>
Tue, 14 Oct 2003 18:20:40 +0000 (18:20 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
Changed files:
    coq-ocaml-3.07.patch -> 1.1

coq-ocaml-3.07.patch [new file with mode: 0644]

diff --git a/coq-ocaml-3.07.patch b/coq-ocaml-3.07.patch
new file mode 100644 (file)
index 0000000..eb1da20
--- /dev/null
@@ -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
+  
This page took 0.168596 seconds and 4 git commands to generate.