From 51fc5327cc585bba874803ac3d82bf105e980346 Mon Sep 17 00:00:00 2001 From: Morgan Jones Date: Sat, 18 Jan 2025 11:37:16 -0800 Subject: [PATCH] z3: move relnotes to 25.05 These were originally slated for 24.11 but the PR got delayed. --- nixos/doc/manual/release-notes/rl-2411.section.md | 2 -- nixos/doc/manual/release-notes/rl-2505.section.md | 2 ++ 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/nixos/doc/manual/release-notes/rl-2411.section.md b/nixos/doc/manual/release-notes/rl-2411.section.md index 49942e8e5f1b..cefcb14e1bbb 100644 --- a/nixos/doc/manual/release-notes/rl-2411.section.md +++ b/nixos/doc/manual/release-notes/rl-2411.section.md @@ -928,8 +928,6 @@ - `buildNimSbom` was added as an alternative to `buildNimPackage`. `buildNimSbom` uses [SBOMs](https://cyclonedx.org/) to generate packages whereas `buildNimPackage` uses a custom JSON lockfile format. -- The default version of `z3` has been updated from 4.8 to 4.13. There are still a few packages that need specific 4.8 versions; those will continue to be maintained. - ## Detailed Migration Information {#sec-release-24.11-migration} ### `sound` options removal {#sec-release-24.11-migration-sound} diff --git a/nixos/doc/manual/release-notes/rl-2505.section.md b/nixos/doc/manual/release-notes/rl-2505.section.md index c1cbe7a66318..8769c448c00f 100644 --- a/nixos/doc/manual/release-notes/rl-2505.section.md +++ b/nixos/doc/manual/release-notes/rl-2505.section.md @@ -221,6 +221,8 @@ - `nodePackages.meshcommander` has been removed, as the package was deprecated by Intel. +- The default version of `z3` has been updated from 4.8 to 4.13. There are still a few packages that need specific older versions; those will continue to be maintained as long as other packages depend on them but may be removed in the future. + - `kanata` was updated to v1.7.0, which introduces several breaking changes. See the release notes of [v1.7.0](https://github.com/jtroo/kanata/releases/tag/v1.7.0)