diff options
| author | tonio <tonio> | 2011-03-28 20:40:17 +0000 |
|---|---|---|
| committer | tonio <tonio> | 2011-03-28 20:40:17 +0000 |
| commit | 6b2963182c87d5b0f37137e6694fc243a1b633f5 (patch) | |
| tree | 4b30bf0deebd3709355a2c38e55cd8a7134f2183 /doc/CHANGES-2011 | |
| parent | 892e342f7b3cbd4554a34fc0dc823c42c9eaeb5f (diff) | |
| download | pkgsrc-6b2963182c87d5b0f37137e6694fc243a1b633f5.tar.gz | |
Updated lang/coq to 8.3pl1
Diffstat (limited to 'doc/CHANGES-2011')
| -rw-r--r-- | doc/CHANGES-2011 | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/CHANGES-2011 b/doc/CHANGES-2011 index 1e8926b5918..005cba8d5f8 100644 --- a/doc/CHANGES-2011 +++ b/doc/CHANGES-2011 @@ -1,4 +1,4 @@ -$NetBSD: CHANGES-2011,v 1.792 2011/03/28 16:20:14 taca Exp $ +$NetBSD: CHANGES-2011,v 1.793 2011/03/28 20:40:17 tonio Exp $ PLEASE NOTE: we're in the pkgsrc freeze for 2011Q1. @@ -1353,3 +1353,4 @@ Changes to the packages collection and infrastructure in 2011: Updated multimedia/adobe-flash-plugin10.1 to 10.2.153.1 [chs 2011-03-27] Updated lang/ruby18-base to 1.8.7.334nb1 [taca 2011-03-28] Updated lang/ruby19-base to 1.9.2pl180nb1 [taca 2011-03-28] + Updated lang/coq to 8.3pl1 [tonio 2011-03-28] |