CVS commit: pkgsrc/doc

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

Module Name:    pkgsrc
Committed By:   wiz
Date:           Tue Aug 11 12:56:07 UTC 2026

Modified Files:
        pkgsrc/doc: CHANGES-2026 TODO

Log Message:
doc: Updated math/lean4 to 4.33.0


To generate a diff of this commit:
cvs rdiff -u -r1.5156 -r1.5157 pkgsrc/doc/CHANGES-2026
cvs rdiff -u -r1.27732 -r1.27733 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.5156 pkgsrc/doc/CHANGES-2026:1.5157
--- pkgsrc/doc/CHANGES-2026:1.5156      Tue Aug 11 11:43:16 2026
+++ pkgsrc/doc/CHANGES-2026     Tue Aug 11 12:56:07 2026
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2026,v 1.5156 2026/08/11 11:43:16 wiz Exp $
+$NetBSD: CHANGES-2026,v 1.5157 2026/08/11 12:56:07 wiz Exp $
 
 Changes to the packages collection and infrastructure in 2026:
 
@@ -7630,3 +7630,4 @@ Changes to the packages collection and i
        Updated textproc/py-guessit to 4.4.0 [adam 2026-08-11]
        Updated www/py-pylint-django to 2.8.0 [adam 2026-08-11]
        Updated devel/meson to 1.12.0 [wiz 2026-08-11]
+       Updated math/lean4 to 4.33.0 [wiz 2026-08-11]

Index: pkgsrc/doc/TODO
diff -u pkgsrc/doc/TODO:1.27732 pkgsrc/doc/TODO:1.27733
--- pkgsrc/doc/TODO:1.27732     Tue Aug 11 11:43:16 2026
+++ pkgsrc/doc/TODO     Tue Aug 11 12:56:07 2026
@@ -1,4 +1,4 @@
-$NetBSD: TODO,v 1.27732 2026/08/11 11:43:16 wiz Exp $
+$NetBSD: TODO,v 1.27733 2026/08/11 12:56:07 wiz Exp $
 
 Suggested new packages
 ======================
@@ -829,7 +829,6 @@ For possible Perl packages updates, see 
        o lbdb-49
        o lcc-4.2
        o ldapsdk-6.0.7
-       o lean4-4.33.0
        o lgeneral-1.3.1
        o libbaloo4-21.04.0
        o libbpg-0.9.8