FEDORA-2022-5c687abf89 — unspecified update for z3

stable

FEDORA-2022-5c687abf89 created by jjames a year ago for Fedora 37

Automatic update for z3-4.8.15-2.fc37.

* Thu Mar 24 2022 Jerry James <loganjerry@gmail.com> - 4.8.15-2
- Add -ambiguous-overload patch to fix cppcheck build failure

sudo dnf upgrade --refresh --advisory=FEDORA-2022-5c687abf89

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

a year ago

in testing

a year ago

in stable

a year ago

z3-4.8.15-2.fc37

ignored