[pkgsrc/trunk]: pkgsrc/doc Update lang/coq to 8.2pl1

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/43d974cecfd0
branches:  trunk
changeset: 398648:43d974cecfd0
user:      tonio <tonio%pkgsrc.org@localhost>
date:      Sat Sep 05 21:08:18 2009 +0000

description:
Update lang/coq to 8.2pl1

diffstat:

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

diffs (14 lines):

diff -r a9f05261e5ca -r 43d974cecfd0 doc/CHANGES-2009
--- a/doc/CHANGES-2009  Sat Sep 05 20:44:57 2009 +0000
+++ b/doc/CHANGES-2009  Sat Sep 05 21:08:18 2009 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2009,v 1.3509 2009/09/05 13:44:54 asau Exp $
+$NetBSD: CHANGES-2009,v 1.3510 2009/09/05 21:08:18 tonio Exp $
 
 Changes to the packages collection and infrastructure in 2009:
 
@@ -4569,3 +4569,4 @@
        Updated www/opengoo to 1.5.3 [taca 2009-09-05]
        Updated math/yacas to 1.2.2 [asau 2009-09-05]
        Updated biology/chemtool to 1.6.12 [asau 2009-09-05]
+       Updated lang/coq to 8.2pl1 [tonio 2009-09-05]