Releases retrieved: 4.12.2
Upstream release that is considered latest: 4.12.2
Current version/release in rawhide: 4.12.1-2.fc38
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://docs.fedoraproject.org/en-US/package-maintainers/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/
To change the monitoring settings for the project, please visit:
Created attachment 1964334 [details]
Update to 4.12.2 (#2203492)
the-new-hotness/release-monitoring.org's scratch build of z3-4.12.2-1.fc38.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=101077005
FEDORA-2023-72b3557dee has been submitted as an update to Fedora 38. https://bodhi.fedoraproject.org/updates/FEDORA-2023-72b3557dee
FEDORA-2023-72b3557dee has been pushed to the Fedora 38 testing repository.
Soon you'll be able to install the update with the following command:
`sudo dnf upgrade --enablerepo=updates-testing --refresh --advisory=FEDORA-2023-72b3557dee`
You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2023-72b3557dee
See also https://fedoraproject.org/wiki/QA:Updates_Testing for more information on how to test updates.
FEDORA-2023-72b3557dee has been pushed to the Fedora 38 stable repository.
If problem still persists, please make note of it in this bug report.