Unverified Commit 51fc5327 authored by Morgan Jones's avatar Morgan Jones
Browse files

z3: move relnotes to 25.05 

These were originally slated for 24.11 but the PR got delayed.
parent 6054bf49

nixos/doc/manual/release-notes/rl-2411.section.md

+0 −2
Original line number Diff line number Diff line
@@ -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}

nixos/doc/manual/release-notes/rl-2505.section.md

+2 −0
Original line number Diff line number Diff line
@@ -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)