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: Sat Jul 25 09:41:07 UTC 2026 Modified Files: pkgsrc/doc: CHANGES-2026 TODO Log Message: doc: Updated math/lean4 to 4.32.1nb1 To generate a diff of this commit: cvs rdiff -u -r1.4755 -r1.4756 pkgsrc/doc/CHANGES-2026 cvs rdiff -u -r1.27635 -r1.27636 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.5 KB)
Modified files: Index: pkgsrc/doc/CHANGES-2026 diff -u pkgsrc/doc/CHANGES-2026:1.4755 pkgsrc/doc/CHANGES-2026:1.4756 --- pkgsrc/doc/CHANGES-2026:1.4755 Sat Jul 25 08:40:40 2026 +++ pkgsrc/doc/CHANGES-2026 Sat Jul 25 09:41:06 2026 @@ -1,4 +1,4 @@ -$NetBSD: CHANGES-2026,v 1.4755 2026/07/25 08:40:40 adam Exp $ +$NetBSD: CHANGES-2026,v 1.4756 2026/07/25 09:41:06 wiz Exp $ Changes to the packages collection and infrastructure in 2026: @@ -7077,3 +7077,4 @@ Changes to the packages collection and i Updated www/gotosocial to 0.22.1 [wiz 2026-07-24] Updated devel/appstream to 1.1.5 [adam 2026-07-25] Updated audio/fluidsynth to 2.5.7 [adam 2026-07-25] + Updated math/lean4 to 4.32.1nb1 [wiz 2026-07-25] Index: pkgsrc/doc/TODO diff -u pkgsrc/doc/TODO:1.27635 pkgsrc/doc/TODO:1.27636 --- pkgsrc/doc/TODO:1.27635 Fri Jul 24 12:19:20 2026 +++ pkgsrc/doc/TODO Sat Jul 25 09:41:06 2026 @@ -1,4 +1,4 @@ -$NetBSD: TODO,v 1.27635 2026/07/24 12:19:20 adam Exp $ +$NetBSD: TODO,v 1.27636 2026/07/25 09:41:06 wiz Exp $ Suggested new packages ====================== @@ -860,6 +860,7 @@ For possible Perl packages updates, see o libquantum-1.1.0 [pkg/43728, development release] o librdkafka-1.6.1 o librelp-1.10.0 + o libreoffice-26.2.5 o libretro-core-info-1.9.1 o libssh-0.12.1 o libthai-0.2.2 @@ -1184,7 +1185,7 @@ For possible Perl packages updates, see o rt4-4.4.4 o rtty-4.0 [at ftp://ftp.isc.org/isc/rtty/] o rubber-1.5.1 - o rumdl-0.2.41 + o rumdl-0.2.43 o rust-1.97.1 [wip] o rvault-0.4 o rvm-1.20