outdated

[packages/coq.git] / coq-ocaml-3.07.patch

diff --git a/coq-ocaml-3.07.patch b/coq-ocaml-3.07.patch
deleted file mode 100644 (file)
index eb1da20..0000000
--- a/coq-ocaml-3.07.patch
+++ /dev/null
@@ -1,13 +0,0 @@
-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
-