stable

z3-4.13.2-1.fc41

FEDORA-2024-e8e2eb78b6 created by jjames 4 months ago for Fedora 41

See https://github.com/Z3Prover/z3/blob/master/RELEASE_NOTES.md for changes in versions 4.13.1 and 4.13.2.

How to install

Updates may require up to 24 hours to propagate to mirrors. If the following command doesn't work, please retry later:

sudo dnf upgrade --refresh --advisory=FEDORA-2024-e8e2eb78b6

This update has been submitted for testing by jjames.

4 months ago

This update's test gating status has been changed to 'ignored'.

4 months ago

This update has been pushed to testing.

4 months ago

This update has been submitted for stable by bodhi.

3 months ago

This update has been pushed to stable.

3 months ago

Please login to add feedback.

Metadata
Type
enhancement
Karma
0
Signed
Content Type
RPM
Test Gating
Autopush Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
7 days
Dates
submitted
4 months ago
in testing
4 months ago
in stable
3 months ago
approved
3 months ago
BZ#2315392 z3-4.13.2 is available
0
0

Automated Test Results