summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authortonio <tonio@pkgsrc.org>2007-02-18 23:16:26 +0000
committertonio <tonio@pkgsrc.org>2007-02-18 23:16:26 +0000
commitad69d958d00661370708ff31ff07c82022d904a6 (patch)
tree71bce434cae475301da92c6d6ecac1a3c01ddd7c /doc
parente62cd0342e82d827c1fb54b66e22a8f46cc52b66 (diff)
downloadpkgsrc-ad69d958d00661370708ff31ff07c82022d904a6.tar.gz
Note coq-8.1
I have an update for it, just waiting for the MAINTAINER to approve it
Diffstat (limited to 'doc')
-rw-r--r--doc/TODO3
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/TODO b/doc/TODO
index b0a422da47b..71cb14cdee8 100644
--- a/doc/TODO
+++ b/doc/TODO
@@ -1,4 +1,4 @@
-$NetBSD: TODO,v 1.6010 2007/02/18 16:30:10 wiz Exp $
+$NetBSD: TODO,v 1.6011 2007/02/18 23:16:26 tonio Exp $
Suggested new packages
======================
@@ -327,6 +327,7 @@ Suggested package updates
o columba-1.0RC1
o compface-1.5.2
o control-center-2.16.3
+ o coq-8.1
o coreutils-6.7
o courier-authlib-0.59
o courier-imap-4.1.2