From: Jan Rękorajski <baggins@pld-linux.org>
Date: Sat, 10 Dec 2005 01:45:56 +0000 (+0000)
Subject: outdated
X-Git-Tag: auto/ac/coq-8_0pl2-2~2
X-Git-Url: http://git.pld-linux.org/?p=packages%2Fcoq.git;a=commitdiff_plain;h=ab4d64602eaf78a61c617f8e01a8d7659eee86b1

outdated

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

diff --git a/coq-ocaml-3.07.patch b/coq-ocaml-3.07.patch
deleted file mode 100644
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
-