See https://github.com/Z3Prover/z3/releases/tag/z3-4.8.15 for changes in version 4.8.15.
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-2022-75a61c636e
Please login to add feedback.
This update has been submitted for testing by jjames.
This update's test gating status has been changed to 'ignored'.
This update has been pushed to testing.
Remark: Build of cppcheck 2.7.3, which uses z3, fails on i686 since
z3-4.8.15-1
Example Build:
https://koji.fedoraproject.org/koji/taskinfo?taskID=84611579
Huh. A local mock build succeeded:
mock -r fedora-rawhide-i386 --rebuild cppcheck-2.7.3-2.fc37.src.rpm
. I verified that z3 4.8.15-1 was pulled into the buildroot. I'm not sure what is going on here.z3 has been disabled in the current 2.7.3-2
cppcheck.spec
file fori686
builds:https://src.fedoraproject.org/rpms/cppcheck/blob/rawhide/f/cppcheck.spec#_3
It looks like you got a good build in koji, too. So ... there's nothing to do here, then?
Oh, okay. Let me undo that and try again.
jjames edited this update.
New build(s):
Removed build(s):
Karma has been reset.
This update has been submitted for testing by jjames.
The issue has been reported upstream. I've added a patch to work around the problem. Upstream may ultimately choose another solution, but this one works.
Thanks for reporting the issue upstream and adding the patch.
This update has been pushed to testing.
This update has been submitted for stable by bodhi.
This update has been pushed to stable.