Latest upstream release: 4.8.16 Current version/release in rawhide: 4.8.15-2.fc37 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 1874697 [details] Update to 4.8.16 (#2078225)
the-new-hotness/release-monitoring.org's scratch build of z3-4.8.16-1.fc34.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=86169151
Latest upstream release: 4.8.17 Current version/release in rawhide: 4.8.15-2.fc37 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 1877428 [details] Update to 4.8.17 (#2078225)
the-new-hotness/release-monitoring.org's scratch build of z3-4.8.17-1.fc34.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=86694103
FEDORA-2022-9b2276e876 has been submitted as an update to Fedora 37. https://bodhi.fedoraproject.org/updates/FEDORA-2022-9b2276e876
FEDORA-2022-9b2276e876 has been pushed to the Fedora 37 stable repository. If problem still persists, please make note of it in this bug report.