stable

cppcheck-2.7.4-2.fc36 and z3-4.8.17-1.fc36

FEDORA-2022-ea14812c2e created by jjames a year ago for Fedora 36

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'.

a year ago

This update has been submitted for testing by bodhi.

a year ago

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

a year ago

This update has been pushed to testing.

a year ago
User Icon nixuser commented & provided feedback a year 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.

a year ago

This update has been pushed to stable.

a year 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
a year ago
in testing
a year ago
in stable
a year ago

Automated Test Results