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

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/575df99e4d82
branches:  trunk
changeset: 410560:575df99e4d82
user:      jaapb <jaapb%pkgsrc.org@localhost>
date:      Fri Jan 24 15:55:13 2020 +0000

description:
doc: Updated lang/coq to 8.10.2

diffstat:

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

diffs (14 lines):

diff -r 1a543d8c1378 -r 575df99e4d82 doc/CHANGES-2020
--- a/doc/CHANGES-2020  Fri Jan 24 15:54:48 2020 +0000
+++ b/doc/CHANGES-2020  Fri Jan 24 15:55:13 2020 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2020,v 1.755 2020/01/24 14:22:04 khorben Exp $
+$NetBSD: CHANGES-2020,v 1.756 2020/01/24 15:55:13 jaapb Exp $
 
 Changes to the packages collection and infrastructure in 2020:
 
@@ -898,3 +898,4 @@
        Added games/hengband version 1.6.2 [pho 2020-01-24]
        Added x11/ocaml-lablgtk3 version 3.0beta8 [jaapb 2020-01-24]
        Updated graphics/deforaos-camera to 0.3.0 [khorben 2020-01-24]
+       Updated lang/coq to 8.10.2 [jaapb 2020-01-24]