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.

The cppcheck build is a simple rebuild due to minor ABI incompatibilities in the new version of z3.

How to install

sudo dnf upgrade --refresh --advisory=FEDORA-2022-ea14812c2e

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

4 months ago

This update has been submitted for testing by bodhi.

4 months ago

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

4 months ago

This update has been pushed to testing.

4 months ago
User Icon nixuser commented & provided feedback 4 months ago
karma

cppcheck and cppcheck-gui seem to be working fine. I did not test z3 as I don't currently use it.

This update has been submitted for stable by bodhi.

4 months ago

This update has been pushed to stable.

4 months ago

Please login to add feedback.

Metadata
Type
enhancement
Karma
1
Signed
Content Type
RPM
Test Gating
Settings
Unstable by Karma
-3
Stable by Karma
3
Stable by Time
7 days
Dates
submitted
4 months ago
in testing
4 months ago
in stable
4 months ago

Automated Test Results