CVS commit: pkgsrc/doc

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

Module Name:    pkgsrc
Committed By:   wiz
Date:           Sat Jul 25 09:41:07 UTC 2026

Modified Files:
        pkgsrc/doc: CHANGES-2026 TODO

Log Message:
doc: Updated math/lean4 to 4.32.1nb1


To generate a diff of this commit:
cvs rdiff -u -r1.4755 -r1.4756 pkgsrc/doc/CHANGES-2026
cvs rdiff -u -r1.27635 -r1.27636 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-2026
diff -u pkgsrc/doc/CHANGES-2026:1.4755 pkgsrc/doc/CHANGES-2026:1.4756
--- pkgsrc/doc/CHANGES-2026:1.4755      Sat Jul 25 08:40:40 2026
+++ pkgsrc/doc/CHANGES-2026     Sat Jul 25 09:41:06 2026
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2026,v 1.4755 2026/07/25 08:40:40 adam Exp $
+$NetBSD: CHANGES-2026,v 1.4756 2026/07/25 09:41:06 wiz Exp $
 
 Changes to the packages collection and infrastructure in 2026:
 
@@ -7077,3 +7077,4 @@ Changes to the packages collection and i
        Updated www/gotosocial to 0.22.1 [wiz 2026-07-24]
        Updated devel/appstream to 1.1.5 [adam 2026-07-25]
        Updated audio/fluidsynth to 2.5.7 [adam 2026-07-25]
+       Updated math/lean4 to 4.32.1nb1 [wiz 2026-07-25]

Index: pkgsrc/doc/TODO
diff -u pkgsrc/doc/TODO:1.27635 pkgsrc/doc/TODO:1.27636
--- pkgsrc/doc/TODO:1.27635     Fri Jul 24 12:19:20 2026
+++ pkgsrc/doc/TODO     Sat Jul 25 09:41:06 2026
@@ -1,4 +1,4 @@
-$NetBSD: TODO,v 1.27635 2026/07/24 12:19:20 adam Exp $
+$NetBSD: TODO,v 1.27636 2026/07/25 09:41:06 wiz Exp $
 
 Suggested new packages
 ======================
@@ -860,6 +860,7 @@ For possible Perl packages updates, see 
        o libquantum-1.1.0 [pkg/43728, development release]
        o librdkafka-1.6.1
        o librelp-1.10.0
+       o libreoffice-26.2.5
        o libretro-core-info-1.9.1
        o libssh-0.12.1
        o libthai-0.2.2
@@ -1184,7 +1185,7 @@ For possible Perl packages updates, see 
        o rt4-4.4.4
        o rtty-4.0 [at ftp://ftp.isc.org/isc/rtty/]
        o rubber-1.5.1
-       o rumdl-0.2.41
+       o rumdl-0.2.43
        o rust-1.97.1 [wip]
        o rvault-0.4
        o rvm-1.20