FEDORA-2021-507e3be273 — bugfix update for z3

stable

FEDORA-2021-507e3be273 created by jjames 3 years ago for Fedora 35

Changes in version 4.8.14:

fixes Antimirov derivatives for intersections and unions required for solving non-emptiness constraints.
includes x86 dll in nuget package for Windows.
exposes additional user propagator functionality
Migrate from deprecated distutils.sysconfig in scripts (#5729)
ocaml: Use Stdlib. instead of Pervasives. due to deprecation (#5730)

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-2021-507e3be273

This update has been submitted for testing by jjames.

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

This update has been pushed to testing.

This update has been submitted for stable by bodhi.

This update has been pushed to stable.

Please login to add feedback.

Metadata

Type

bugfix

Karma

Signed

Content Type

RPM

Test Gating

ignored

Autopush Settings

Unstable by Karma

-3

Stable by Karma

Stable by Time

7 days

Dates

submitted

3 years ago

in testing

3 years ago

in stable

3 years ago

Builds

BZ#2035500 z3-4.8.14 is available

z3-4.8.14-1.fc35

ignored