CVS commit: pkgsrc/doc

["David A. Holland" <dholland%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   dholland
Date:           Tue Jun 21 02:22:00 UTC 2022

Modified Files:
        pkgsrc/doc: CHANGES-2022 TODO

Log Message:
CHANGES for lang/coq


To generate a diff of this commit:
cvs rdiff -u -r1.3103 -r1.3104 pkgsrc/doc/CHANGES-2022
cvs rdiff -u -r1.21953 -r1.21954 pkgsrc/doc/TODO

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/doc/CHANGES-2022
diff -u pkgsrc/doc/CHANGES-2022:1.3103 pkgsrc/doc/CHANGES-2022:1.3104
--- pkgsrc/doc/CHANGES-2022:1.3103      Mon Jun 20 22:31:56 2022
+++ pkgsrc/doc/CHANGES-2022     Tue Jun 21 02:21:59 2022
@@ -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 @@ Changes to the packages collection and i
        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]

Index: pkgsrc/doc/TODO
diff -u pkgsrc/doc/TODO:1.21953 pkgsrc/doc/TODO:1.21954
--- pkgsrc/doc/TODO:1.21953     Sun Jun 19 07:05:36 2022
+++ pkgsrc/doc/TODO     Tue Jun 21 02:22:00 2022
@@ -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 @@ For possible Perl packages updates, see 
        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