[pkgsrc/trunk]: pkgsrc/doc Updated lang/coq to 8.1pl2

[tonio <tonio%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/06bade7870b5
branches:  trunk
changeset: 536020:06bade7870b5
user:      tonio <tonio%pkgsrc.org@localhost>
date:      Sat Dec 01 13:06:32 2007 +0000

description:
Updated lang/coq to 8.1pl2

diffstat:

 doc/CHANGES-2007 |  3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diffs (14 lines):

diff -r 22a1a4d6b0c6 -r 06bade7870b5 doc/CHANGES-2007
--- a/doc/CHANGES-2007  Sat Dec 01 13:05:36 2007 +0000
+++ b/doc/CHANGES-2007  Sat Dec 01 13:06:32 2007 +0000
@@ -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 @@
        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]