FEDORA-2023-3448ed5139 — unspecified update for z3

stable

FEDORA-2023-3448ed5139 created by jjames 5 months ago for Fedora 38

Automatic update for z3-4.12.0-1.fc38.

* Tue Jan 17 2023 Jerry James <loganjerry@gmail.com> - 4.12.0-1
- Version 4.12.0
- Drop upstreamed -data-race and -uninit patches

sudo dnf upgrade --refresh --advisory=FEDORA-2023-3448ed5139

This update was automatically created

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

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

This update has been submitted for stable by bodhi

Please login to add feedback.

Metadata

Type

unspecified

Karma

Signed

Content Type

RPM

Test Gating

ignored

Builds

Settings

Unstable by Karma

-3

Stable by Karma

disabled

Stable by Time

0 days

Dates

submitted

5 months ago

in testing

5 months ago

in stable

5 months ago

approved

5 months ago

z3-4.12.0-1.fc38

ignored