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

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/15ef44b7c2a0
branches:  trunk
changeset: 371094:15ef44b7c2a0
user:      jaapb <jaapb%pkgsrc.org@localhost>
date:      Fri Nov 03 11:21:58 2017 +0000

description:
doc: Updated lang/coq to 8.7.0

diffstat:

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

diffs (14 lines):

diff -r ff808d7d7c96 -r 15ef44b7c2a0 doc/CHANGES-2017
--- a/doc/CHANGES-2017  Fri Nov 03 11:20:51 2017 +0000
+++ b/doc/CHANGES-2017  Fri Nov 03 11:21:58 2017 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2017,v 1.4710 2017/11/03 10:39:29 adam Exp $
+$NetBSD: CHANGES-2017,v 1.4711 2017/11/03 11:21:58 jaapb Exp $
 
 Changes to the packages collection and infrastructure in 2017:
 
@@ -6797,3 +6797,4 @@
        Updated www/wordpress to 4.8.3 [morr 2017-11-03]
        Updated security/py-cryptography_vectors to 2.1.3 [adam 2017-11-03]
        Updated security/py-cryptography to 2.1.3 [adam 2017-11-03]
+       Updated lang/coq to 8.7.0 [jaapb 2017-11-03]