CVS commit: pkgsrc/doc

["Thomas Klausner" <wiz%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   wiz
Date:           Mon Aug  3 15:03:35 UTC 2026

Modified Files:
        pkgsrc/doc: CHANGES-2026

Log Message:
doc: Updated math/lean4 to 4.32.2


To generate a diff of this commit:
cvs rdiff -u -r1.4923 -r1.4924 pkgsrc/doc/CHANGES-2026

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-2026
diff -u pkgsrc/doc/CHANGES-2026:1.4923 pkgsrc/doc/CHANGES-2026:1.4924
--- pkgsrc/doc/CHANGES-2026:1.4923      Mon Aug  3 14:14:28 2026
+++ pkgsrc/doc/CHANGES-2026     Mon Aug  3 15:03:34 2026
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2026,v 1.4923 2026/08/03 14:14:28 pin Exp $
+$NetBSD: CHANGES-2026,v 1.4924 2026/08/03 15:03:34 wiz Exp $
 
 Changes to the packages collection and infrastructure in 2026:
 
@@ -7299,3 +7299,4 @@ Changes to the packages collection and i
        Updated shells/oh-my-posh to 30.4.0 [pin 2026-08-03]
        Updated audio/spotify-player to 0.24.1 [pin 2026-08-03]
        Updated net/xfr to 0.9.25 [pin 2026-08-03]
+       Updated math/lean4 to 4.32.2 [wiz 2026-08-03]