diff options
author | tonio <tonio@pkgsrc.org> | 2007-02-18 23:16:26 +0000 |
---|---|---|
committer | tonio <tonio@pkgsrc.org> | 2007-02-18 23:16:26 +0000 |
commit | 1ae11ae1bcd289c18e0f7a0c9008aecac1f640d3 (patch) | |
tree | 71bce434cae475301da92c6d6ecac1a3c01ddd7c /doc | |
parent | 16aca64a262ea0284a9869388bf1270587c29554 (diff) | |
download | pkgsrc-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/TODO | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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 |