Update Request: z3 4.13.4 → 4.14.1

[mkannwischer]

Nixpkgs version

• Unstable (25.05)

Package name

z3

Upstream version

4.14.1

Nixpkgs version

4.13.4

Changelog

https://github.com/Z3Prover/z3/releases/tag/z3-4.14.1

Notify maintainers

@thoughtpolice @ttuegel @numinit

---

Note for maintainers: Please tag this issue in your pull request description. (i.e. Resolves #ISSUE.)

I assert that this issue is relevant for Nixpkgs

• I assert that this package update does not yet exist in an open pull request or in Nixpkgs Unstable.
• I assert that this is not a duplicate of any known issue.
• I assert that I have read the NixOS Code of Conduct and agree to abide by it.

Is this issue important to you?

Add a 👍 reaction to issues you find important.

[FliegendeWurst]

The new version is packaged as z3_4_14. Default version remains at 4.13.4 for now.

[mkannwischer]

Thanks @numinit and @FliegendeWurst! That's great!