Bug 2520289

Summary:	rocq-stdlib-9.2.0 is available
Product:	[Fedora] Fedora	Reporter:	Upstream Release Monitoring <upstream-release-monitoring>
Component:	rocq-stdlib	Assignee:	Jerry James <loganjerry>
Status:	CLOSED ERRATA	QA Contact:
Severity:	unspecified	Docs Contact:
Priority:	unspecified
Version:	rawhide	CC:	loganjerry
Target Milestone:	---	Keywords:	FutureFeature, Triaged
Target Release:	---
Hardware:	Unspecified
OS:	Unspecified
Whiteboard:
Fixed In Version:	rocq-stdlib-9.2.0-1.fc45 rocq-stdlib-9.2.0-1.fc44	Doc Type:	---
Doc Text:		Story Points:	---
Clone Of:		Environment:
Last Closed:	2026-10-06 00:18:02 UTC	Type:	---
Regression:	---	Mount Type:	---
Documentation:	---	CRM:
Verified Versions:		Category:	---
oVirt Team:	---	RHEL 7.3 requirements from Atomic Host:
Cloudforms Team:	---	Target Upstream Version:
Embargoed:

Description Upstream Release Monitoring 2026-08-20 12:54:18 UTC

Releases retrieved: 9.2.0
Upstream release that is considered latest: 9.2.0
Current version/release in rawhide: 9.1.0-5.fc45
URL: https://github.com/rocq-prover/stdlib

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/388405/


To change the monitoring settings for the project, please visit:
https://src.fedoraproject.org/rpms/rocq-stdlib

Comment 1 Fedora Update System 2026-10-03 21:26:29 UTC

FEDORA-2026-403bcf6fd8 (0install-2.18-16.fc45, alt-ergo-2.4.3-5.fc45, and 207 more) has been submitted as an update to Fedora 45.
https://bodhi.fedoraproject.org/updates/FEDORA-2026-403bcf6fd8

Comment 2 Fedora Update System 2026-10-04 03:07:04 UTC

FEDORA-2026-403bcf6fd8 has been pushed to the Fedora 45 testing repository.
Soon you'll be able to install the update with the following command:
`sudo dnf upgrade --enablerepo=updates-testing --refresh --advisory=FEDORA-2026-403bcf6fd8`
You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2026-403bcf6fd8

See also https://fedoraproject.org/wiki/QA:Updates_Testing for more information on how to test updates.

Comment 3 Fedora Update System 2026-10-05 22:21:34 UTC

FEDORA-2026-62bbabcf11 (flocq-4.2.2-3.fc44, gappalib-coq-1.11.0-1.fc44, and 4 more) has been submitted as an update to Fedora 44.
https://bodhi.fedoraproject.org/updates/FEDORA-2026-62bbabcf11

Comment 4 Fedora Update System 2026-10-06 00:18:02 UTC

FEDORA-2026-403bcf6fd8 (0install-2.18-16.fc45, alt-ergo-2.4.3-5.fc45, and 207 more) has been pushed to the Fedora 45 stable repository.
If problem still persists, please make note of it in this bug report.

Comment 5 Fedora Update System 2026-10-06 01:57:19 UTC

FEDORA-2026-62bbabcf11 has been pushed to the Fedora 44 testing repository.
Soon you'll be able to install the update with the following command:
`sudo dnf upgrade --enablerepo=updates-testing --refresh --advisory=FEDORA-2026-62bbabcf11`
You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2026-62bbabcf11

See also https://fedoraproject.org/wiki/QA:Updates_Testing for more information on how to test updates.

Comment 6 Fedora Update System 2026-10-07 01:40:42 UTC

FEDORA-2026-62bbabcf11 (flocq-4.2.2-3.fc44, gappalib-coq-1.11.0-1.fc44, and 4 more) has been pushed to the Fedora 44 stable repository.
If problem still persists, please make note of it in this bug report.