CVS commit: pkgsrc/doc

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

Module Name:    pkgsrc
Committed By:   wiz
Date:           Sat Oct 17 21:07:14 UTC 2026

Modified Files:
        pkgsrc/doc: CHANGES-2026 TODO

Log Message:
doc: Updated math/lean4 to 4.35.0


To generate a diff of this commit:
cvs rdiff -u -r1.7060 -r1.7061 pkgsrc/doc/CHANGES-2026
cvs rdiff -u -r1.28184 -r1.28185 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.7060 pkgsrc/doc/CHANGES-2026:1.7061
--- pkgsrc/doc/CHANGES-2026:1.7060      Sat Oct 17 20:46:52 2026
+++ pkgsrc/doc/CHANGES-2026     Sat Oct 17 21:07:14 2026
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2026,v 1.7060 2026/10/17 20:46:52 alnsn Exp $
+$NetBSD: CHANGES-2026,v 1.7061 2026/10/17 21:07:14 wiz Exp $
 
 Changes to the packages collection and infrastructure in 2026:
 
@@ -10572,3 +10572,4 @@ Changes to the packages collection and i
        Updated textproc/rumdl to 0.3.0 [wiz 2026-10-17]
        Updated chat/gurk to 0.10.2 [wiz 2026-10-17]
        Added math/HiGHS version 1.15.1 [alnsn 2026-10-17]
+       Updated math/lean4 to 4.35.0 [wiz 2026-10-17]

Index: pkgsrc/doc/TODO
diff -u pkgsrc/doc/TODO:1.28184 pkgsrc/doc/TODO:1.28185
--- pkgsrc/doc/TODO:1.28184     Sat Oct 17 19:05:37 2026
+++ pkgsrc/doc/TODO     Sat Oct 17 21:07:14 2026
@@ -1,4 +1,4 @@
-$NetBSD: TODO,v 1.28184 2026/10/17 19:05:37 wiz Exp $
+$NetBSD: TODO,v 1.28185 2026/10/17 21:07:14 wiz Exp $
 
 Suggested new packages
 ======================
@@ -835,7 +835,6 @@ For possible Perl packages updates, see 
        o lbdb-49
        o lcc-4.2
        o ldapsdk-6.0.7
-       o lean4-4.35.0
        o lgeneral-1.3.1
        o libbaloo4-21.04.0
        o libbpg-0.9.8