[pkgsrc/trunk]: pkgsrc/doc Updated lang/coq to 8.0pl3

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/0e72e6da9963
branches:  trunk
changeset: 507156:0e72e6da9963
user:      tonio <tonio%pkgsrc.org@localhost>
date:      Fri Jan 27 19:24:51 2006 +0000

description:
Updated lang/coq to 8.0pl3

diffstat:

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

diffs (31 lines):

diff -r bc5ae9958844 -r 0e72e6da9963 doc/CHANGES
--- a/doc/CHANGES       Fri Jan 27 19:22:58 2006 +0000
+++ b/doc/CHANGES       Fri Jan 27 19:24:51 2006 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES,v 1.12697 2006/01/27 19:22:40 joerg Exp $
+$NetBSD: CHANGES,v 1.12698 2006/01/27 19:24:51 tonio Exp $
 
 Changes to the packages collection and infrastructure in 2006:
 
@@ -572,3 +572,4 @@
        Updated devel/tcl-tclcl to 1.17 [minskim 2006-01-27]
        Updated net/ns to 2.29 [minskim 2006-01-27]
        Updated devel/p5-gettext to 1.05nb1 [joerg 2006-01-27]
+       Updated lang/coq to 8.0pl3 [tonio 2006-01-27]
diff -r bc5ae9958844 -r 0e72e6da9963 doc/TODO
--- a/doc/TODO  Fri Jan 27 19:22:58 2006 +0000
+++ b/doc/TODO  Fri Jan 27 19:24:51 2006 +0000
@@ -1,4 +1,4 @@
-$NetBSD: TODO,v 1.4522 2006/01/26 23:08:51 wiz Exp $
+$NetBSD: TODO,v 1.4523 2006/01/27 19:24:51 tonio Exp $
 
 Suggested new packages
 ======================
@@ -425,7 +425,6 @@
        o conglomerate-0.9.1
        o conserver-8.1.13
        o cook-2.26
-       o coq-8.0pl3
        o coreutils-5.93
        o cqcam-0.91
        o crafty-19.5