CVS commit: pkgsrc/doc
"Thomas Klausner" <[email protected]>
| Newsgroups | gmane.os.netbsd.devel.pkgsrc.cvs |
|---|---|
| Message-ID | <[email protected]> |
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.
(unnamed)
(text/x-diff, 1.2 KB)
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