projects
/
packages
/
coq.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
235fb63
)
- needed to build coq with ocaml 3.07
author
Jan Rękorajski
<baggins@pld-linux.org>
Tue, 14 Oct 2003 18:20:40 +0000
(18:20 +0000)
committer
cvs2git
<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]
patch
|
blob
diff --git a/coq-ocaml-3.07.patch
b/coq-ocaml-3.07.patch
new file mode 100644
(file)
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
+
This page took
0.052583 seconds
and
4
git commands to generate.