From 52260fe6cf3ff2e21a7ee8157d395af8f75ad603 Mon Sep 17 00:00:00 2001
From: tonio <tonio@pkgsrc.org>
Date: Sat, 1 Dec 2007 13:06:32 +0000
Subject: Updated lang/coq to 8.1pl2

---
 doc/CHANGES-2007 | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/CHANGES-2007 b/doc/CHANGES-2007
index 0f73959b1de..9676a1ba478 100644
--- a/doc/CHANGES-2007
+++ b/doc/CHANGES-2007
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2007,v 1.2549 2007/12/01 12:58:41 tonio Exp $
+$NetBSD: CHANGES-2007,v 1.2550 2007/12/01 13:06:32 tonio Exp $
 
 Changes to the packages collection and infrastructure in 2007:
 
@@ -4664,3 +4664,4 @@ Changes to the packages collection and infrastructure in 2007:
 	Updated security/crypto++ to 5.2.1nb1 [rillig 2007-12-01]
 	Updated lang/gprolog to 1.3.0 [rillig 2007-12-01]
 	Added lang/camlp5 version 5.01 [tonio 2007-12-01]
+	Updated lang/coq to 8.1pl2 [tonio 2007-12-01]
-- 
cgit v1.2.3