diff options
| author | tonio <tonio@pkgsrc.org> | 2010-11-14 20:54:25 +0000 |
|---|---|---|
| committer | tonio <tonio@pkgsrc.org> | 2010-11-14 20:54:25 +0000 |
| commit | 5666cdc52436c90f2da4a0cdae58d7beff8786e1 (patch) | |
| tree | 046252b47f97ee94858593f6e214eda0eca73b19 | |
| parent | b27da541d537b19b17d14aaa8c46e4c40343c101 (diff) | |
| download | pkgsrc-5666cdc52436c90f2da4a0cdae58d7beff8786e1.tar.gz | |
Updated lang/coq to 8.3
| -rw-r--r-- | doc/CHANGES-2010 | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/CHANGES-2010 b/doc/CHANGES-2010 index 8e86f286752..32a18f9101b 100644 --- a/doc/CHANGES-2010 +++ b/doc/CHANGES-2010 @@ -1,4 +1,4 @@ -$NetBSD: CHANGES-2010,v 1.3968 2010/11/14 20:53:26 sno Exp $ +$NetBSD: CHANGES-2010,v 1.3969 2010/11/14 20:54:25 tonio Exp $ Changes to the packages collection and infrastructure in 2010: @@ -5550,3 +5550,4 @@ Changes to the packages collection and infrastructure in 2010: Updated print/tex-amsmath-doc to 2.13nb1 [minskim 2010-11-14] Added devel/p5-File-ConfigDir version 0.004 [sno 2010-11-14] Added databases/p5-MLDBM-Serializer-JSON version 0.001 [sno 2010-11-14] + Updated lang/coq to 8.3 [tonio 2010-11-14] |