Latest upstream release: 2.4.2.3 Current version/release in rawhide: 2.4.2.2-3.fc23 URL: http://hackage.haskell.org/package/Agda Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/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.
Created attachment 1029695 [details] [patch] Update to 2.4.2.3 (#1224825)
Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=9848503
Configuring Agda-2.4.2.3... Setup: At least the following dependencies are missing: QuickCheck ==2.8.*, edit-distance >=0.2.1.2 && <0.3, geniplate-mirror >=0.6.0.6 && <0.7, transformers-compat >=0.3.3.2 && <0.5
Latest upstream release: 2.4.2.4 Current version/release in rawhide: 2.4.2.2-5.fc24 URL: http://hackage.haskell.org/package/Agda Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/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.
Created attachment 1077590 [details] [patch] Update to 2.4.2.4 (#1224825)
Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=11240863
Latest upstream release: 2.4.2.5 Current version/release in rawhide: 2.4.2.2-5.fc24 URL: http://hackage.haskell.org/package/Agda Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/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.
Created attachment 1107530 [details] [patch] Update to 2.4.2.5 (#1224825)
Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=12243692
Latest upstream release: 2.5.1 Current version/release in rawhide: 2.4.2.2-6.fc24 URL: http://hackage.haskell.org/package/Agda Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/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/
Patching or scratch build for Agda-2.4.2.2 failed.
Created attachment 1148030 [details] Rebase-helper rebase-helper-debug.log log file. See for details and report the eventual error to rebase-helper https://github.com/phracek/rebase-helper/issues.
Patches were not touched. All were applied properly
Latest upstream release: 2.5.1.1 Current version/release in rawhide: 2.4.2.2-6.fc24 URL: http://hackage.haskell.org/package/Agda Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/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/
Created attachment 1170457 [details] Rebase-helper rebase-helper-debug.log log file. See for details and report the eventual error to rebase-helper https://github.com/phracek/rebase-helper/issues.
fhbz: cblrpm missingdeps output for Agda-2.5.1.1: EdisonAPI EdisonCore geniplate-mirror monadplus EdisonCore needs: (EdisonAPI)
Latest upstream release: 2.5.1.2 Current version/release in rawhide: 2.4.2.5-1.fc26 URL: http://hackage.haskell.org/package/Agda Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/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/
Patching or scratch build for Agda-2.4.2.5 failed.
Created attachment 1224235 [details] Rebase-helper rebase-helper-debug.log log file. See for details and report the eventual error to rebase-helper https://github.com/phracek/rebase-helper/issues.
Following patches has been deleted: ['include_lib.patch']
Latest upstream release: 2.5.2 Current version/release in rawhide: 2.4.2.5-1.fc26 URL: http://hackage.haskell.org/package/Agda Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/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/
Created attachment 1234909 [details] Rebase-helper rebase-helper-debug.log log file. See for details and report the eventual error to rebase-helper https://github.com/phracek/rebase-helper/issues.
petersen's Agda-2.5.2-4.fc27 completed http://koji.fedoraproject.org/koji/buildinfo?buildID=867325
Agda-2.5.2-4.fc26 has been submitted as an update to Fedora 26. https://bodhi.fedoraproject.org/updates/FEDORA-2017-53017fab86
Agda-2.5.2-4.fc26 has been pushed to the Fedora 26 testing repository. If problems still persist, please make note of it in this bug report. See https://fedoraproject.org/wiki/QA:Updates_Testing for instructions on how to install test updates. You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2017-53017fab86
petersen's Agda-2.5.2-5.fc27 completed http://koji.fedoraproject.org/koji/buildinfo?buildID=867911
Agda-2.5.2-5.fc26 has been submitted as an update to Fedora 26. https://bodhi.fedoraproject.org/updates/FEDORA-2017-f4c32334cc
Agda-2.5.2-5.fc26.1, Agda-stdlib-0.13-1.fc26 has been pushed to the Fedora 26 testing repository. If problems still persist, please make note of it in this bug report. See https://fedoraproject.org/wiki/QA:Updates_Testing for instructions on how to install test updates. You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2017-f4c32334cc
Agda-2.5.2-5.fc26.1, Agda-stdlib-0.13-1.fc26 has been pushed to the Fedora 26 stable repository. If problems still persist, please make note of it in this bug report.