[pkgsrc/trunk]: pkgsrc/doc coq

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/05e147ec02d8
branches:  trunk
changeset: 412181:05e147ec02d8
user:      dholland <dholland%pkgsrc.org@localhost>
date:      Sun Mar 01 05:25:47 2020 +0000

description:
coq

diffstat:

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

diffs (14 lines):

diff -r c640bb1c28bd -r 05e147ec02d8 doc/CHANGES-2020
--- a/doc/CHANGES-2020  Sun Mar 01 05:25:13 2020 +0000
+++ b/doc/CHANGES-2020  Sun Mar 01 05:25:47 2020 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2020,v 1.1303 2020/03/01 02:56:53 gutteridge Exp $
+$NetBSD: CHANGES-2020,v 1.1304 2020/03/01 05:25:47 dholland Exp $
 
 Changes to the packages collection and infrastructure in 2020:
 
@@ -1842,3 +1842,4 @@
        Updated archivers/p5-Archive-Tar to 2.36 [mef 2020-03-01]
        Updated www/ruby-puma to 4.3.3 [taca 2020-03-01]
        Updated textproc/py-X to 0.15 [gutteridge 2020-03-01]
+       Updated lang/coq to 8.10.2nb1 [dholland 2020-03-01]