https://bugzilla.redhat.com/show_bug.cgi?id=1224825

--- Comment #1 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Created attachment 1029695 --> https://bugzilla.redhat.com/attachment.cgi?id=1029695&action=edit [patch] Update to 2.4.2.3 (#1224825)

https://bugzilla.redhat.com/show_bug.cgi?id=1224825

--- Comment #3 from Jens Petersen petersen@redhat.com --- 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

https://bugzilla.redhat.com/show_bug.cgi?id=1224825

--- Comment #5 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Created attachment 1077590 --> https://bugzilla.redhat.com/attachment.cgi?id=1077590&action=edit [patch] Update to 2.4.2.4 (#1224825)

https://bugzilla.redhat.com/show_bug.cgi?id=1224825

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|Agda-2.4.2.4 is available |Agda-2.4.2.5 is available

--- Comment #7 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- 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.

https://bugzilla.redhat.com/show_bug.cgi?id=1224825

--- Comment #9 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=12243692

https://bugzilla.redhat.com/show_bug.cgi?id=1224825

--- Comment #11 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Patching or scratch build for Agda-2.4.2.2 failed.

https://bugzilla.redhat.com/show_bug.cgi?id=1224825

--- Comment #13 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Patches were not touched. All were applied properly

https://bugzilla.redhat.com/show_bug.cgi?id=1224825

--- Comment #15 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Patching or scratch build for Agda-2.4.2.2 failed.

https://bugzilla.redhat.com/show_bug.cgi?id=1224825

--- Comment #17 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Patches were not touched. All were applied properly

https://bugzilla.redhat.com/show_bug.cgi?id=1224825

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|Agda-2.5.1.1 is available |Agda-2.5.1.2 is available

--- Comment #19 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- 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/

https://bugzilla.redhat.com/show_bug.cgi?id=1224825

--- Comment #21 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Created attachment 1224235 --> https://bugzilla.redhat.com/attachment.cgi?id=1224235&action=edit 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.

https://bugzilla.redhat.com/show_bug.cgi?id=1224825

Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Summary|Agda-2.5.1.2 is available |Agda-2.5.2 is available

--- Comment #23 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- 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/

https://bugzilla.redhat.com/show_bug.cgi?id=1224825

--- Comment #25 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- Created attachment 1234909 --> https://bugzilla.redhat.com/attachment.cgi?id=1234909&action=edit 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.

https://bugzilla.redhat.com/show_bug.cgi?id=1224825

--- Comment #27 from Upstream Release Monitoring upstream-release-monitoring@fedoraproject.org --- petersen's Agda-2.5.2-4.fc27 completed http://koji.fedoraproject.org/koji/buildinfo?buildID=867325

https://bugzilla.redhat.com/show_bug.cgi?id=1224825

Fedora Update System updates@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |MODIFIED

https://bugzilla.redhat.com/show_bug.cgi?id=1224825

Fedora Update System updates@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Status|MODIFIED |ON_QA

--- Comment #29 from Fedora Update System updates@fedoraproject.org --- 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

https://bugzilla.redhat.com/show_bug.cgi?id=1224825

Fedora Update System updates@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Status|ON_QA |MODIFIED

https://bugzilla.redhat.com/show_bug.cgi?id=1224825

Fedora Update System updates@fedoraproject.org changed:

What |Removed |Added ---------------------------------------------------------------------------- Status|ON_QA |CLOSED Fixed In Version| |Agda-2.5.2-5.fc26.1 Resolution|--- |ERRATA Last Closed| |2017-04-01 12:58:23

--- Comment #33 from Fedora Update System updates@fedoraproject.org --- 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.