CVS commit: pkgsrc/doc

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

Module Name:    pkgsrc
Committed By:   dholland
Date:           Mon Feb 24 03:44:39 UTC 2025

Modified Files:
        pkgsrc/doc: CHANGES-2025

Log Message:
doc/CHANGES: ocaml-opaline and coq


To generate a diff of this commit:
cvs rdiff -u -r1.1724 -r1.1725 pkgsrc/doc/CHANGES-2025

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-2025
diff -u pkgsrc/doc/CHANGES-2025:1.1724 pkgsrc/doc/CHANGES-2025:1.1725
--- pkgsrc/doc/CHANGES-2025:1.1724      Sun Feb 23 22:43:20 2025
+++ pkgsrc/doc/CHANGES-2025     Mon Feb 24 03:44:39 2025
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2025,v 1.1724 2025/02/23 22:43:20 wiz Exp $
+$NetBSD: CHANGES-2025,v 1.1725 2025/02/24 03:44:39 dholland Exp $
 
 Changes to the packages collection and infrastructure in 2025:
 
@@ -2239,3 +2239,5 @@ Changes to the packages collection and i
        Updated converters/hs-pandoc to 3.6.3 [wiz 2025-02-23]
        Updated converters/pandoc-cli to 3.6.3 [wiz 2025-02-23]
        Updated textproc/py-tomli to 2.2.1nb1 [wiz 2025-02-23]
+       Updated misc/ocaml-opaline to 0.3.3nb2 [dholland 2025-02-24]
+       Updated lang/coq to 8.20.1 [dholland 2025-02-24]