[pkgsrc/trunk]: pkgsrc/doc Note PKGREVISION bump of coq.

[minskim <minskim%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/c9a616cabdd1
branches:  trunk
changeset: 625999:c9a616cabdd1
user:      minskim <minskim%pkgsrc.org@localhost>
date:      Wed Oct 30 00:22:51 2013 +0000

description:
Note PKGREVISION bump of coq.

diffstat:

 doc/CHANGES-2013 |  3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diffs (14 lines):

diff -r f38c12e551ef -r c9a616cabdd1 doc/CHANGES-2013
--- a/doc/CHANGES-2013  Wed Oct 30 00:21:49 2013 +0000
+++ b/doc/CHANGES-2013  Wed Oct 30 00:22:51 2013 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2013,v 1.3977 2013/10/29 19:55:07 adam Exp $
+$NetBSD: CHANGES-2013,v 1.3978 2013/10/30 00:22:51 minskim Exp $
 
 Changes to the packages collection and infrastructure in 2013:
 
@@ -5578,3 +5578,4 @@
        Updated devel/py-ipython013 to 0.13.2 [drochner 2013-10-29]
        Updated print/poppler to 0.24.3 [drochner 2013-10-29]
        Updated www/lighttpd to 1.4.33 [adam 2013-10-29]
+       Updated lang/coq to 8.4pl2nb10 [minskim 2013-10-30]