CVS commit: pkgsrc/doc

This is a multi-part message in MIME format.

--_----------=_1785769415251080
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
Content-Type: text/plain; charset="US-ASCII"

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.


--_----------=_1785769415251080
Content-Disposition: inline
Content-Length: 709
Content-Transfer-Encoding: binary
Content-Type: text/x-diff; charset=us-ascii

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]


--_----------=_1785769415251080--