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

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/8e8d8c206bd8
branches:  trunk
changeset: 383510:8e8d8c206bd8
user:      jaapb <jaapb%pkgsrc.org@localhost>
date:      Thu Aug 02 12:57:17 2018 +0000

description:
doc: Updated lang/coq to 8.8.1

diffstat:

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

diffs (14 lines):

diff -r a14799d6559b -r 8e8d8c206bd8 doc/CHANGES-2018
--- a/doc/CHANGES-2018  Thu Aug 02 12:57:03 2018 +0000
+++ b/doc/CHANGES-2018  Thu Aug 02 12:57:17 2018 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2018,v 1.3423 2018/08/02 12:28:53 fhajny Exp $
+$NetBSD: CHANGES-2018,v 1.3424 2018/08/02 12:57:17 jaapb Exp $
 
 Changes to the packages collection and infrastructure in 2018:
 
@@ -4852,3 +4852,4 @@
        Updated x11/libdrm to 2.4.93 [wiz 2018-08-02]
        Updated lang/nodejs to 10.8.0 [fhajny 2018-08-02]
        Updated lang/npm to 6.3.0 [fhajny 2018-08-02]
+       Updated lang/coq to 8.8.1 [jaapb 2018-08-02]