stable

z3-4.8.17-5.fc37

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

Automatic update for z3-4.8.17-5.fc37.

Changelog
* 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

How to install

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

This update was automatically created

11 months ago

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

11 months ago

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

11 months ago

This update has been submitted for stable by bodhi

11 months ago

Please login to add feedback.

Metadata
Type
unspecified
Karma
0
Signed
Content Type
RPM
Test Gating
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
0
0

Automated Test Results