[pkgsrc/trunk]: pkgsrc/doc Note lang/coq-8.0pl3

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/5c1b297d0495
branches:  trunk
changeset: 507020:5c1b297d0495
user:      tonio <tonio%pkgsrc.org@localhost>
date:      Wed Jan 25 07:16:03 2006 +0000

description:
Note lang/coq-8.0pl3

diffstat:

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

diffs (17 lines):

diff -r f76afa93847a -r 5c1b297d0495 doc/TODO
--- a/doc/TODO  Wed Jan 25 05:11:11 2006 +0000
+++ b/doc/TODO  Wed Jan 25 07:16:03 2006 +0000
@@ -1,4 +1,4 @@
-$NetBSD: TODO,v 1.4504 2006/01/24 22:18:22 adam Exp $
+$NetBSD: TODO,v 1.4505 2006/01/25 07:16:03 tonio Exp $
 
 Suggested new packages
 ======================
@@ -428,6 +428,7 @@
        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