See https://github.com/Z3Prover/z3/releases/tag/z3-4.14.0 for changes in z3 version 4.14.0, and https://github.com/Z3Prover/z3/releases/tag/z3-4.14.1 for changes in z3 version 4.14.1. The opam and solidity builds are simple rebuilds due to the z3 update.
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-2025-65ec487bbfPlease log in to add feedback.
This update's test gating status has been changed to 'waiting'.
This update's test gating status has been changed to 'ignored'.
This update has been submitted for testing by bodhi.
This update has been pushed to testing.
This update has been submitted for stable by bodhi.
There is an ongoing freeze; this will be pushed to stable after the freeze is over.
jjames edited this update.
New build(s):
Removed build(s):
Karma has been reset.
This update has been submitted for testing by jjames.
This update has been pushed to testing.
This update has been submitted for stable by jjames.
FEDORA-2025-65ec487bbf ejected from the push because 'No checks required but update has less than 1 karma and has been in testing less than 7 days.'
This update has been submitted for stable by jjames.
FEDORA-2025-65ec487bbf ejected from the push because 'No checks required but update has less than 1 karma and has been in testing less than 7 days.'
This update has been submitted for stable by bodhi.
This update has been pushed to stable.