stable

z3-4.8.14-1.fc35

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)

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

This update has been submitted for testing by jjames.

3 years ago

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

3 years ago

This update has been pushed to testing.

3 years ago

This update has been submitted for stable by bodhi.

3 years ago

This update has been pushed to stable.

3 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
7 days
Dates
submitted
3 years ago
in testing
3 years ago
in stable
3 years ago
BZ#2035500 z3-4.8.14 is available
0
0

Automated Test Results