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

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/900d412dcb32
branches:  trunk
changeset: 373870:900d412dcb32
user:      jaapb <jaapb%pkgsrc.org@localhost>
date:      Wed Jan 10 16:27:05 2018 +0000

description:
doc: Updated lang/coq to 8.7.1

diffstat:

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

diffs (14 lines):

diff -r 1165d2f777d4 -r 900d412dcb32 doc/CHANGES-2018
--- a/doc/CHANGES-2018  Wed Jan 10 16:26:53 2018 +0000
+++ b/doc/CHANGES-2018  Wed Jan 10 16:27:05 2018 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2018,v 1.162 2018/01/10 16:24:25 jaapb Exp $
+$NetBSD: CHANGES-2018,v 1.163 2018/01/10 16:27:05 jaapb Exp $
 
 Changes to the packages collection and infrastructure in 2018:
 
@@ -232,3 +232,4 @@
        Updated devel/pcre-ocaml to 7.3.4nb1 [jaapb 2018-01-10]
        Updated lang/camlp4 to 4.06+1 [jaapb 2018-01-10]
        Updated lang/camlp5 to 7.03 [jaapb 2018-01-10]
+       Updated lang/coq to 8.7.1 [jaapb 2018-01-10]