Bug 2263346

Summary: gappalib-coq-1.5.5 is available
Product: [Fedora] Fedora Reporter: Upstream Release Monitoring <upstream-release-monitoring>
Component: gappalib-coqAssignee: Jerry James <loganjerry>
Status: CLOSED ERRATA QA Contact: Fedora Extras Quality Assurance <extras-qa>
Severity: unspecified Docs Contact:
Priority: unspecified    
Version: rawhideCC: loganjerry
Target Milestone: ---Keywords: FutureFeature, Triaged
Target Release: ---   
Hardware: Unspecified   
OS: Unspecified   
Whiteboard:
Fixed In Version: gappalib-coq-1.5.5-4.fc41 Doc Type: ---
Doc Text:
Story Points: ---
Clone Of: Environment:
Last Closed: 2024-07-16 18:36:29 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 2024-02-08 14:07:07 UTC 
Releases retrieved: 1.5.5
Upstream release that is considered latest: 1.5.5
Current version/release in rawhide: 1.5.4-3.fc40
URL: https://gitlab.inria.fr/gappa/coq

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


To change the monitoring settings for the project, please visit:
https://src.fedoraproject.org/rpms/gappalib-coq
Comment 1 Fedora Update System 2024-07-16 18:27:59 UTC 
FEDORA-2024-3118c57920 (alt-ergo-2.3.3-20.fc41, coq-8.18.0-9.fc41, and 7 more) has been submitted as an update to Fedora 41.
https://bodhi.fedoraproject.org/updates/FEDORA-2024-3118c57920
Comment 2 Fedora Update System 2024-07-16 18:36:29 UTC 
FEDORA-2024-3118c57920 (alt-ergo-2.3.3-20.fc41, coq-8.18.0-9.fc41, and 7 more) has been pushed to the Fedora 41 stable repository.
If problem still persists, please make note of it in this bug report.