diff options
| author | jaapb <jaapb@pkgsrc.org> | 2012-11-16 14:44:42 +0000 |
|---|---|---|
| committer | jaapb <jaapb@pkgsrc.org> | 2012-11-16 14:44:42 +0000 |
| commit | 75994a4083dfa983e1faf79cd21f76ed800bed20 (patch) | |
| tree | 11f898ecc36d97d3f589eae73fc8c7199d972eae | |
| parent | d45f0c4c521bdc9fca116403a6352de8e9e960d9 (diff) | |
| download | pkgsrc-75994a4083dfa983e1faf79cd21f76ed800bed20.tar.gz | |
Updated lang/coq to 8.4nb1
| -rw-r--r-- | doc/CHANGES-2012 | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/CHANGES-2012 b/doc/CHANGES-2012 index f8ebc98e301..d9ad2d9f250 100644 --- a/doc/CHANGES-2012 +++ b/doc/CHANGES-2012 @@ -1,4 +1,4 @@ -$NetBSD: CHANGES-2012,v 1.3570 2012/11/16 14:39:58 jaapb Exp $ +$NetBSD: CHANGES-2012,v 1.3571 2012/11/16 14:44:42 jaapb Exp $ Changes to the packages collection and infrastructure in 2012: @@ -5449,3 +5449,4 @@ Changes to the packages collection and infrastructure in 2012: Added print/tex-index version 4.1beta [jaapb 2012-11-16] Added print/tex-index-doc version 4.1beta [jaapb 2012-11-16] Updated print/teTeX3-texmf to 3.0nb39 [jaapb 2012-11-16] + Updated lang/coq to 8.4nb1 [jaapb 2012-11-16] |