CVS commit: pkgsrc/doc

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

Module Name:    pkgsrc
Committed By:   wiz
Date:           Fri Aug 21 18:43:56 UTC 2026

Modified Files:
        pkgsrc/doc: CHANGES-2026 TODO

Log Message:
doc: Updated math/lean4 to 4.33.1


To generate a diff of this commit:
cvs rdiff -u -r1.5446 -r1.5447 pkgsrc/doc/CHANGES-2026
cvs rdiff -u -r1.27787 -r1.27788 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.5446 pkgsrc/doc/CHANGES-2026:1.5447
--- pkgsrc/doc/CHANGES-2026:1.5446      Fri Aug 21 18:07:43 2026
+++ pkgsrc/doc/CHANGES-2026     Fri Aug 21 18:43:55 2026
@@ -1,4 +1,4 @@
-$NetBSD: CHANGES-2026,v 1.5446 2026/08/21 18:07:43 tnn Exp $
+$NetBSD: CHANGES-2026,v 1.5447 2026/08/21 18:43:55 wiz Exp $
 
 Changes to the packages collection and infrastructure in 2026:
 
@@ -8028,3 +8028,4 @@ Changes to the packages collection and i
        Updated textproc/py-json-logger to 4.2.0 [adam 2026-08-21]
        Updated textproc/rumdl to 0.2.58 [wiz 2026-08-21]
        Updated www/grafana to 13.1.3 [tnn 2026-08-21]
+       Updated math/lean4 to 4.33.1 [wiz 2026-08-21]

Index: pkgsrc/doc/TODO
diff -u pkgsrc/doc/TODO:1.27787 pkgsrc/doc/TODO:1.27788
--- pkgsrc/doc/TODO:1.27787     Fri Aug 21 18:07:43 2026
+++ pkgsrc/doc/TODO     Fri Aug 21 18:43:55 2026
@@ -1,4 +1,4 @@
-$NetBSD: TODO,v 1.27787 2026/08/21 18:07:43 tnn Exp $
+$NetBSD: TODO,v 1.27788 2026/08/21 18:43:55 wiz Exp $
 
 Suggested new packages
 ======================
@@ -726,6 +726,7 @@ For possible Perl packages updates, see 
        o gperiodic-3.0.3
        o gprolog-1.5.0 [adds arm64 support]
        o gps-17.0
+       o grafana-13.2.0
        o grafx2-2.8.3137
        o gramps-6.0.6
        o grantlee-5.0.0