From ab4d64602eaf78a61c617f8e01a8d7659eee86b1 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Jan=20R=C4=99korajski?= <baggins@pld-linux.org>
Date: Sat, 10 Dec 2005 01:45:56 +0000
Subject: [PATCH] outdated

Changed files:
    coq-ocaml-3.07.patch -> 1.2
---
 coq-ocaml-3.07.patch | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100644 coq-ocaml-3.07.patch

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