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: 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.
(unnamed)
(text/x-diff, 1.2 KB)
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