summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorjaapb <jaapb@pkgsrc.org>2012-11-16 14:44:42 +0000
committerjaapb <jaapb@pkgsrc.org>2012-11-16 14:44:42 +0000
commit75994a4083dfa983e1faf79cd21f76ed800bed20 (patch)
tree11f898ecc36d97d3f589eae73fc8c7199d972eae
parentd45f0c4c521bdc9fca116403a6352de8e9e960d9 (diff)
downloadpkgsrc-75994a4083dfa983e1faf79cd21f76ed800bed20.tar.gz
Updated lang/coq to 8.4nb1
-rw-r--r--doc/CHANGES-20123
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]