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
commit1ae11ae1bcd289c18e0f7a0c9008aecac1f640d3 (patch)
tree71bce434cae475301da92c6d6ecac1a3c01ddd7c /doc
parent16aca64a262ea0284a9869388bf1270587c29554 (diff)
downloadpkgsrc-1ae11ae1bcd289c18e0f7a0c9008aecac1f640d3.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