talexander/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Releases Activity

doc: rl-2505: z3 4.14 -> 4.15

Browse Source
This commit is contained in:
Tom van Dijk 2025-05-21 20:27:34 +02:00
parent 13c6d411e7
commit fa2bee6de3
No known key found for this signature in database
GPG Key ID: 7A984C8207ADBA51
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
doc/release-notes/rl-2505.section.md
View File

@ -270,7 +270,7 @@
- `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.14, and all old versions have been dropped. Note that `fstar` still depends on specific versions, and maintains them as overrides.
- The default version of `z3` has been updated from 4.8 to 4.15, and all old versions have been dropped. Note that `fstar` still depends on specific versions, and maintains them as overrides.
- `prometheus` has been updated from 2.55.0 to 3.1.0.
Read the [release blog post](https://prometheus.io/blog/2024/11/14/prometheus-3-0/) and