stable
FEDORA-2022-5c687abf89 created by jjames 7 months ago for Fedora 37

Automatic update for z3-4.8.15-2.fc37.

Changelog
* Thu Mar 24 2022 Jerry James <loganjerry@gmail.com> - 4.8.15-2
- Add -ambiguous-overload patch to fix cppcheck build failure

How to install

sudo dnf upgrade --refresh --advisory=FEDORA-2022-5c687abf89

This update was automatically created

7 months ago

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

7 months ago

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

7 months ago

This update has been submitted for stable by bodhi

7 months ago

Please login to add feedback.

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

Automated Test Results