Latest upstream release: 4.8.14 Current version/release in rawhide: 4.8.13-1.fc36 URL: https://github.com/Z3Prover/z3 Please consult the package updates policy before you issue an update to a stable branch: https://docs.fedoraproject.org/en-US/fesco/Updates_Policy/ More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring Please keep in mind that with any upstream change, there may also be packaging changes that need to be made. Specifically, please remember that it is your responsibility to review the new version to ensure that the licensing is still correct and that no non-free or legally problematic items have been added upstream. Based on the information from Anitya: https://release-monitoring.org/project/7812/
Created attachment 1847689 [details] Update to 4.8.14 (#2035500)
the-new-hotness/release-monitoring.org's scratch build of z3-4.8.14-1.fc34.src.rpm for rawhide completed http://koji.fedoraproject.org/koji/taskinfo?taskID=80409350
FEDORA-2021-16fa1c5b90 has been submitted as an update to Fedora 34. https://bodhi.fedoraproject.org/updates/FEDORA-2021-16fa1c5b90
FEDORA-2021-507e3be273 has been submitted as an update to Fedora 35. https://bodhi.fedoraproject.org/updates/FEDORA-2021-507e3be273
FEDORA-2021-16fa1c5b90 has been pushed to the Fedora 34 testing repository. Soon you'll be able to install the update with the following command: `sudo dnf upgrade --enablerepo=updates-testing --advisory=FEDORA-2021-16fa1c5b90` You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2021-16fa1c5b90 See also https://fedoraproject.org/wiki/QA:Updates_Testing for more information on how to test updates.
FEDORA-2021-507e3be273 has been pushed to the Fedora 35 testing repository. Soon you'll be able to install the update with the following command: `sudo dnf upgrade --enablerepo=updates-testing --advisory=FEDORA-2021-507e3be273` You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2021-507e3be273 See also https://fedoraproject.org/wiki/QA:Updates_Testing for more information on how to test updates.
FEDORA-2021-507e3be273 has been pushed to the Fedora 35 stable repository. If problem still persists, please make note of it in this bug report.
FEDORA-2021-16fa1c5b90 has been pushed to the Fedora 34 stable repository. If problem still persists, please make note of it in this bug report.