Releases retrieved: 2.6.4.1 Upstream release that is considered latest: 2.6.4.1 Current version/release in rawhide: 2.6.4-41.fc40 URL: http://hackage.haskell.org/package/Agda 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/29/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/Agda
Created attachment 2002171 [details] Update to 2.6.4.1 (#2252301)
the-new-hotness/release-monitoring.org's scratch build of Agda-2.6.4.1-1.fc38.src.rpm for rawhide completed http://koji.fedoraproject.org/koji/taskinfo?taskID=109739910
Releases retrieved: 2.6.4.2 Upstream release that is considered latest: 2.6.4.2 Current version/release in rawhide: 2.6.4.1-47.fc41 URL: http://hackage.haskell.org/package/Agda 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/29/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/Agda
Created attachment 2018521 [details] Update to 2.6.4.2 (#2252301)
the-new-hotness/release-monitoring.org's scratch build of Agda-2.6.4.2-1.fc38.src.rpm for rawhide completed http://koji.fedoraproject.org/koji/taskinfo?taskID=113984844
Releases retrieved: 2.6.4.3 Upstream release that is considered latest: 2.6.4.3 Current version/release in rawhide: 2.6.4.1-47.fc41 URL: http://hackage.haskell.org/package/Agda 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/29/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/Agda
Created attachment 2020346 [details] Update to 2.6.4.3 (#2252301)
the-new-hotness/release-monitoring.org's scratch build of Agda-2.6.4.3-1.fc38.src.rpm for rawhide completed http://koji.fedoraproject.org/koji/taskinfo?taskID=114554751
Releases retrieved: 2.7.0 Upstream release that is considered latest: 2.7.0 Current version/release in rawhide: 2.6.4.3-50.fc41 URL: http://hackage.haskell.org/package/Agda 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/29/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/Agda
Created attachment 2044292 [details] Update to 2.7.0 (#2252301)
the-new-hotness/release-monitoring.org's scratch build of Agda-2.7.0-1.fc40.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=122039768
Releases retrieved: 2.7.0.1 Upstream release that is considered latest: 2.7.0.1 Current version/release in rawhide: 2.6.4.3-50.fc41 URL: http://hackage.haskell.org/package/Agda 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/29/ To change the monitoring settings for the project, please visit: https://src.fedoraproject.org/rpms/Agda
Created attachment 2046610 [details] Update to 2.7.0.1 (#2252301)
the-new-hotness/release-monitoring.org's scratch build of Agda-2.7.0.1-1.fc40.src.rpm for rawhide failed http://koji.fedoraproject.org/koji/taskinfo?taskID=123316516
FEDORA-2025-8c24ced850 (GHC 9.8 and Stackage 23 for F43) has been submitted as an update to Fedora 43. https://bodhi.fedoraproject.org/updates/FEDORA-2025-8c24ced850
FEDORA-2025-8c24ced850 (GHC 9.8 and Stackage 23 for F43) has been pushed to the Fedora 43 stable repository. If problem still persists, please make note of it in this bug report.