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

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/783aaa8e6800
branches:  trunk
changeset: 378504:783aaa8e6800
user:      jaapb <jaapb%pkgsrc.org@localhost>
date:      Mon Apr 09 11:30:14 2018 +0000

description:
doc: Updated lang/coq to 8.7.2

diffstat:

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

diffs (14 lines):

diff -r 5a8280111b7b -r 783aaa8e6800 doc/CHANGES-2018
--- a/doc/CHANGES-2018  Mon Apr 09 11:29:23 2018 +0000
+++ b/doc/CHANGES-2018  Mon Apr 09 11:30:14 2018 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2018,v 1.1717 2018/04/09 11:26:02 jaapb Exp $
+$NetBSD: CHANGES-2018,v 1.1718 2018/04/09 11:30:14 jaapb Exp $
 
 Changes to the packages collection and infrastructure in 2018:
 
@@ -2336,3 +2336,4 @@
        Updated www/py-h11 to 0.8.0 [adam 2018-04-09]
        Updated fonts/py-fonttools to 3.25.0 [adam 2018-04-09]
        Updated misc/ocaml-opam to 2.0.0_rc [jaapb 2018-04-09]
+       Updated lang/coq to 8.7.2 [jaapb 2018-04-09]