[pkgsrc/trunk]: pkgsrc/doc note update of coq to 8.0pl2

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/23a154882730
branches:  trunk
changeset: 488637:23a154882730
user:      adrianp <adrianp%pkgsrc.org@localhost>
date:      Sat Feb 05 11:20:10 2005 +0000

description:
note update of coq to 8.0pl2

diffstat:

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

diffs (14 lines):

diff -r 687b9b1fcb98 -r 23a154882730 doc/CHANGES
--- a/doc/CHANGES       Sat Feb 05 11:19:02 2005 +0000
+++ b/doc/CHANGES       Sat Feb 05 11:20:10 2005 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES,v 1.9041 2005/02/05 06:03:08 minskim Exp $
+$NetBSD: CHANGES,v 1.9042 2005/02/05 11:20:10 adrianp Exp $
 
 Changes to the packages collection and infrastructure in 2005:
 
@@ -757,3 +757,4 @@
        Updated labltk to 3.08.2 [adrianp 2005-02-04]
        Updated cksfv to 1.3.3 [wiz 2005-02-05]
        Updated xterm to 199 [minskim 2005-02-05]
+       Updated coq to 8.0pl2 [adrianp 2005-02-05]