[pkgsrc/trunk]: pkgsrc/doc Updated lang/coq to 8.4pl6

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/799a21811673
branches:  trunk
changeset: 650669:799a21811673
user:      jaapb <jaapb%pkgsrc.org@localhost>
date:      Sat Apr 25 13:45:01 2015 +0000

description:
Updated lang/coq to 8.4pl6

diffstat:

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

diffs (14 lines):

diff -r 13c981240785 -r 799a21811673 doc/CHANGES-2015
--- a/doc/CHANGES-2015  Sat Apr 25 13:43:39 2015 +0000
+++ b/doc/CHANGES-2015  Sat Apr 25 13:45:01 2015 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2015,v 1.1923 2015/04/25 13:43:39 markd Exp $
+$NetBSD: CHANGES-2015,v 1.1924 2015/04/25 13:45:01 jaapb Exp $
 
 Changes to the packages collection and infrastructure in 2015:
 
@@ -3016,3 +3016,4 @@
        Updated print/dvipsk to 5.994 [markd 2015-04-25]
        Updated print/dvipdfmx to 20140525 [markd 2015-04-25]
        Removed print/xdvipdfmx [markd 2015-04-25]
+       Updated lang/coq to 8.4pl6 [jaapb 2015-04-25]