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 Jul 24 18:39:58 UTC 2026 Modified Files: pkgsrc/doc: CHANGES-2026 Log Message: doc: Added math/lean4 version 4.32.1 To generate a diff of this commit: cvs rdiff -u -r1.4752 -r1.4753 pkgsrc/doc/CHANGES-2026 Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.
(unnamed)
(text/x-diff, 713 B)
Modified files: Index: pkgsrc/doc/CHANGES-2026 diff -u pkgsrc/doc/CHANGES-2026:1.4752 pkgsrc/doc/CHANGES-2026:1.4753 --- pkgsrc/doc/CHANGES-2026:1.4752 Fri Jul 24 18:38:33 2026 +++ pkgsrc/doc/CHANGES-2026 Fri Jul 24 18:39:58 2026 @@ -1,4 +1,4 @@ -$NetBSD: CHANGES-2026,v 1.4752 2026/07/24 18:38:33 wiz Exp $ +$NetBSD: CHANGES-2026,v 1.4753 2026/07/24 18:39:58 wiz Exp $ Changes to the packages collection and infrastructure in 2026: @@ -7073,3 +7073,4 @@ Changes to the packages collection and i Updated textproc/lowdown to 3.1.1 [wiz 2026-07-24] Added math/leantar version 0.1.20 [wiz 2026-07-24] Added math/cadical3 version 3.0.1 [wiz 2026-07-24] + Added math/lean4 version 4.32.1 [wiz 2026-07-24]