[pkgsrc/trunk]: pkgsrc/doc Updated lang/coq to 8.0pl2nb1 to compile with ocam...

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/e2acb7c3c7ae
branches:  trunk
changeset: 506464:e2acb7c3c7ae
user:      tonio <tonio%pkgsrc.org@localhost>
date:      Mon Jan 16 14:37:16 2006 +0000

description:
Updated lang/coq to 8.0pl2nb1 to compile with ocaml >= 3.09

diffstat:

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

diffs (14 lines):

diff -r 1149e63f150a -r e2acb7c3c7ae doc/CHANGES
--- a/doc/CHANGES       Mon Jan 16 14:35:20 2006 +0000
+++ b/doc/CHANGES       Mon Jan 16 14:37:16 2006 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES,v 1.12547 2006/01/16 14:35:20 taca Exp $
+$NetBSD: CHANGES,v 1.12548 2006/01/16 14:37:16 tonio Exp $
 
 Changes to the packages collection and infrastructure in 2006:
 
@@ -332,3 +332,4 @@
        Added audio/flite version 1.3 [xtraeme 2006-01-16]
        Updated x11/gtkmm to 2.8.2 [adam 2006-01-16]
        Updated comms/efax-gtk to 3.0.8 [adam 2006-01-16]
+       Updated lang/coq to 8.0pl2nb1 [tonio 2006-01-16]