See https://github.com/Z3Prover/z3/releases/tag/z3-4.8.16 and https://github.com/Z3Prover/z3/releases/tag/z3-4.8.17 for changes in z3.

This build of cppcheck is a simple rebuild due to minor ABI incompatibilities in the z3 release.

How to install

sudo dnf upgrade --refresh --advisory=FEDORA-2022-9b2276e876

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

4 months ago

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

4 months ago

This update has been submitted for stable by bodhi

4 months ago

Please login to add feedback.

Metadata
Type
enhancement
Karma
0
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
0 days
Dates
submitted
4 months ago
in testing
4 months ago
in stable
4 months ago
BZ#2078225 z3-4.8.17 is available
0
0
BZ#2084009 z3: FTBFS in Fedora Rawhide
0
0

Automated Test Results