[pkgsrc/trunk]: pkgsrc/doc CHANGES for lang/coq

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/dc3486342655
branches:  trunk
changeset: 380962:dc3486342655
user:      dholland <dholland%pkgsrc.org@localhost>
date:      Tue Jun 21 02:21:59 2022 +0000

description:
CHANGES for lang/coq

diffstat:

 doc/CHANGES-2022 |  3 ++-
 doc/TODO         |  3 +--
 2 files changed, 3 insertions(+), 3 deletions(-)

diffs (34 lines):

diff -r dbb00b10fdbc -r dc3486342655 doc/CHANGES-2022
--- a/doc/CHANGES-2022  Tue Jun 21 02:21:22 2022 +0000
+++ b/doc/CHANGES-2022  Tue Jun 21 02:21:59 2022 +0000
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2022,v 1.3103 2022/06/20 22:31:56 gutteridge Exp $
+$NetBSD: CHANGES-2022,v 1.3104 2022/06/21 02:21:59 dholland Exp $
 
 Changes to the packages collection and infrastructure in 2022:
 
@@ -4672,6 +4672,7 @@
        Updated devel/rebar3 to 3.19.0 [nikita 2022-06-19]
        mk/bsd.pkg.mk: started freeze for pkgsrc-2022Q2 branch [gdt 2022-06-20]
        Updated audio/fasttracker2 to 1.55 [fox 2022-06-20]
+       Updated lang/coq to 8.15.2 [dholland 2022-06-20]
        Updated net/erlang-idna to 6.1.1nb5 [nikita 2022-06-20]
        Added devel/ocaml-hxd version 0.3.2 [jaapb 2022-06-20]
        Updated sysutils/broot to 1.13.3 [pin 2022-06-20]
diff -r dbb00b10fdbc -r dc3486342655 doc/TODO
--- a/doc/TODO  Tue Jun 21 02:21:22 2022 +0000
+++ b/doc/TODO  Tue Jun 21 02:21:59 2022 +0000
@@ -1,4 +1,4 @@
-$NetBSD: TODO,v 1.21953 2022/06/19 07:05:36 wiz Exp $
+$NetBSD: TODO,v 1.21954 2022/06/21 02:22:00 dholland Exp $
 
 Suggested new packages
 ======================
@@ -558,7 +558,6 @@
        o consul-1.9.5
        o cook-2.31
        o coordgenlibs-2.0.3
-       o coq-8.13.2
        o coreutils-9.1
        o couchdb-3.1.1
        o courier-0.77.0