Nixpkgs version

• Unstable (25.11)

Package name

opesmt

Upstream version

2.9.2

Nixpkgs version

2.7.0

Changelog

https://github.com/usi-verification-and-security/opensmt/releases/tag/v2.9.2

Additional context

This would bring a fix for cmake4 failures (see #445447)

Notify maintainers

@7c6f434c

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.