[pkgsrc/trunk]: pkgsrc/doc Updated lang/coq to 8.6.1

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/3432ce2486c2
branches:  trunk
changeset: 367944:3432ce2486c2
user:      jaapb <jaapb%pkgsrc.org@localhost>
date:      Fri Sep 08 17:19:45 2017 +0000

description:
Updated lang/coq to 8.6.1

diffstat:

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

diffs (14 lines):

diff -r 057a3439a79c -r 3432ce2486c2 doc/CHANGES-2017
--- a/doc/CHANGES-2017  Fri Sep 08 17:19:01 2017 +0000
+++ b/doc/CHANGES-2017  Fri Sep 08 17:19:45 2017 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2017,v 1.3679 2017/09/08 17:11:07 jaapb Exp $
+$NetBSD: CHANGES-2017,v 1.3680 2017/09/08 17:19:45 jaapb Exp $
 
 Changes to the packages collection and infrastructure in 2017:
 
@@ -5189,3 +5189,4 @@
        Added chat/matterircd version 0.14.0 [jperkin 2017-09-08]
        Updated misc/ocaml-opam to 2.0.0_beta4 [jaapb 2017-09-08]
        Updated www/ocsigen to 2.8nb3 [jaapb 2017-09-08]
+       Updated lang/coq to 8.6.1 [jaapb 2017-09-08]