FEDORA-2022-1f1285e0c6 — unspecified update for z3

stable

FEDORA-2022-1f1285e0c6 created by jjames 11 months ago for Fedora 37

Automatic update for z3-4.8.17-5.fc37.

* Tue Jun 28 2022 Jerry James <loganjerry@gmail.com> - 4.8.17-5
- Do not support Java on i686 (rhbz#2104112)
- Use new OCaml macros

sudo dnf upgrade --refresh --advisory=FEDORA-2022-1f1285e0c6

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

11 months ago

in testing

11 months ago

in stable

11 months ago

BZ#2104112 native z3 depends on to be removed i686 java-openjdk packages

z3-4.8.17-5.fc37

ignored