CVS commit: pkgsrc/doc

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

Module Name:    pkgsrc
Committed By:   wiz
Date:           Sat Sep 26 11:05:10 UTC 2026

Modified Files:
        pkgsrc/doc: CHANGES-2026 TODO

Log Message:
doc: Updated math/lean4 to 4.34.1


To generate a diff of this commit:
cvs rdiff -u -r1.6407 -r1.6408 pkgsrc/doc/CHANGES-2026
cvs rdiff -u -r1.28016 -r1.28017 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.6407 pkgsrc/doc/CHANGES-2026:1.6408
--- pkgsrc/doc/CHANGES-2026:1.6407      Sat Sep 26 11:01:18 2026
+++ pkgsrc/doc/CHANGES-2026     Sat Sep 26 11:05:09 2026
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2026,v 1.6407 2026/09/26 11:01:18 tnn Exp $
+$NetBSD: CHANGES-2026,v 1.6408 2026/09/26 11:05:09 wiz Exp $
 
 Changes to the packages collection and infrastructure in 2026:
 
@@ -9649,3 +9649,4 @@ Changes to the packages collection and i
        Updated www/py-zensical to 0.0.65 [wiz 2026-09-26]
        Updated mail/rspamd to 4.2.0 [wiz 2026-09-26]
        Updated databases/prometheus to 3.13.3 [tnn 2026-09-26]
+       Updated math/lean4 to 4.34.1 [wiz 2026-09-26]

Index: pkgsrc/doc/TODO
diff -u pkgsrc/doc/TODO:1.28016 pkgsrc/doc/TODO:1.28017
--- pkgsrc/doc/TODO:1.28016     Sat Sep 26 11:01:18 2026
+++ pkgsrc/doc/TODO     Sat Sep 26 11:05:10 2026
@@ -1,4 +1,4 @@
-$NetBSD: TODO,v 1.28016 2026/09/26 11:01:18 tnn Exp $
+$NetBSD: TODO,v 1.28017 2026/09/26 11:05:10 wiz Exp $
 
 Suggested new packages
 ======================
@@ -846,7 +846,6 @@ For possible Perl packages updates, see 
        o lbdb-49
        o lcc-4.2
        o ldapsdk-6.0.7
-       o lean4-4.34.1
        o lgeneral-1.3.1
        o libbaloo4-21.04.0
        o libbpg-0.9.8