stable

z3-4.8.5-1.fc30

FEDORA-2019-0238efe6b0 created by jjames 5 years ago for Fedora 30

This is a bug fix update. See https://github.com/Z3Prover/z3/commits/Z3-4.8.5 for a list of the fixes.

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-2019-0238efe6b0

This update has been submitted for testing by jjames.

5 years ago

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

5 years ago

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

5 years ago

This update has been pushed to testing.

5 years ago

This update has reached 7 days in testing and can be pushed to stable now if the maintainer wishes

5 years ago

This update has been submitted for stable by jjames.

5 years ago

This update has been pushed to stable.

5 years ago

Please login to add feedback.

Metadata
Type
bugfix
Karma
0
Signed
Content Type
RPM
Test Gating
Autopush Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
disabled
Dates
submitted
5 years ago
in testing
5 years ago
in stable
5 years ago

Automated Test Results