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

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/0bab2a5cb173
branches:  trunk
changeset: 330847:0bab2a5cb173
user:      jaapb <jaapb%pkgsrc.org@localhost>
date:      Wed Mar 06 09:28:43 2019 +0000

description:
doc: Updated lang/coq to 8.9.0

diffstat:

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

diffs (14 lines):

diff -r 26d5fd7e834b -r 0bab2a5cb173 doc/CHANGES-2019
--- a/doc/CHANGES-2019  Wed Mar 06 09:28:23 2019 +0000
+++ b/doc/CHANGES-2019  Wed Mar 06 09:28:43 2019 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2019,v 1.1142 2019/03/06 08:48:49 adam Exp $
+$NetBSD: CHANGES-2019,v 1.1143 2019/03/06 09:28:43 jaapb Exp $
 
 Changes to the packages collection and infrastructure in 2019:
 
@@ -1885,3 +1885,4 @@
        Updated editors/pluma to 1.22.0 [gutteridge 2019-03-06]
        Updated databases/py-peewee to 3.9.0 [adam 2019-03-06]
        Updated net/py-tldextract to 2.2.1 [adam 2019-03-06]
+       Updated lang/coq to 8.9.0 [jaapb 2019-03-06]