Bug 2203492

Summary: z3-4.12.2 is available
Product: [Fedora] Fedora Reporter: Upstream Release Monitoring <upstream-release-monitoring>
Component: z3Assignee: Jerry James <loganjerry>
Status: CLOSED ERRATA QA Contact: Fedora Extras Quality Assurance <extras-qa>
Severity: unspecified Docs Contact:
Priority: unspecified    
Version: rawhideCC: loganjerry, tdawson
Target Milestone: ---Keywords: FutureFeature, Triaged
Target Release: ---   
Hardware: Unspecified   
OS: Unspecified   
Fixed In Version: z3-4.12.2-1.fc38 Doc Type: ---
Doc Text:
Story Points: ---
Clone Of: Environment:
Last Closed: 2023-05-24 01:17:05 UTC Type: ---
Regression: --- Mount Type: ---
Documentation: --- CRM:
Verified Versions: Category: ---
oVirt Team: --- RHEL 7.3 requirements from Atomic Host:
Cloudforms Team: --- Target Upstream Version:
Description Flags
Update to 4.12.2 (#2203492) none

Description Upstream Release Monitoring 2023-05-13 07:08:43 UTC
Releases retrieved: 4.12.2
Upstream release that is considered latest: 4.12.2
Current version/release in rawhide: 4.12.1-2.fc38
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://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:

Comment 1 Upstream Release Monitoring 2023-05-13 07:08:49 UTC
Created attachment 1964334 [details]
Update to 4.12.2 (#2203492)

Comment 2 Upstream Release Monitoring 2023-05-13 07:15:05 UTC
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

Comment 3 Fedora Update System 2023-05-15 16:28:46 UTC
FEDORA-2023-72b3557dee has been submitted as an update to Fedora 38. https://bodhi.fedoraproject.org/updates/FEDORA-2023-72b3557dee

Comment 4 Fedora Update System 2023-05-16 08:23:22 UTC
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.

Comment 5 Fedora Update System 2023-05-24 01:17:05 UTC
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.