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

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/4a00b4ca03a5
branches:  trunk
changeset: 396179:4a00b4ca03a5
user:      jaapb <jaapb%pkgsrc.org@localhost>
date:      Thu May 23 10:55:19 2019 +0000

description:
doc: Updated lang/coq to 8.9.1

diffstat:

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

diffs (14 lines):

diff -r 071bac723977 -r 4a00b4ca03a5 doc/CHANGES-2019
--- a/doc/CHANGES-2019  Thu May 23 10:55:07 2019 +0000
+++ b/doc/CHANGES-2019  Thu May 23 10:55:19 2019 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2019,v 1.2241 2019/05/23 08:15:26 adam Exp $
+$NetBSD: CHANGES-2019,v 1.2242 2019/05/23 10:55:19 jaapb Exp $
 
 Changes to the packages collection and infrastructure in 2019:
 
@@ -3822,3 +3822,4 @@
        Updated sysutils/xfce4-thunar to 1.8.6 [gutteridge 2019-05-23]
        Updated x11/xfce4-desktop to 4.13.4 [gutteridge 2019-05-23]
        Updated net/wireshark to 3.0.2 [adam 2019-05-23]
+       Updated lang/coq to 8.9.1 [jaapb 2019-05-23]