Bug 999011
Description
Upstream Release Monitoring
2013-08-20 14:13:28 UTC
Optionally also llvm-general. Latest upstream release: 0.9.9.1 Current version/release in Fedora Rawhide: 0.9.8-4.fc20 URL: http://hackage.haskell.org/packages/archive/idris/ 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 Latest upstream release: 0.9.9.2 Current version/release in Fedora Rawhide: 0.9.8-4.fc20 URL: http://hackage.haskell.org/packages/archive/idris/ 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 0.9.9.1 is now in Rawhide and F20 testing Latest upstream release: 0.9.9.3 Current version/release in Fedora Rawhide: 0.9.9.1-1.fc21 URL: http://hackage.haskell.org/package/idris 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 Latest upstream release: 0.9.10 Current version/release in Fedora Rawhide: 0.9.9.1-1.fc21 URL: http://hackage.haskell.org/package/idris 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 Latest upstream release: 0.9.10.1 Current version/release in Fedora Rawhide: 0.9.9.1-1.fc21 URL: http://hackage.haskell.org/package/idris 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 Latest upstream release: 0.9.11.1 Current version/release in Fedora Rawhide: 0.9.9.1-1.fc21 URL: http://hackage.haskell.org/package/idris 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 Latest upstream release: 0.9.11.2 Current version/release in Fedora Rawhide: 0.9.9.1-1.fc21 URL: http://hackage.haskell.org/package/idris 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 Latest upstream release: 0.9.12 Current version/release in Fedora Rawhide: 0.9.9.1-1.fc21 URL: http://hackage.haskell.org/package/idris 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 check-bz-available-URM cblrepo output for idris-0.9.12: Failed to satisfy the following dependencies for idris: annotated-wl-pprint >=0.5.3 cheapskate -any language-java >=0.2.6 lens >=4.1.1 parsers >=0.9 trifecta >=1.1 Latest upstream release: 0.9.13 Current version/release in Fedora Rawhide: 0.9.9.1-1.fc21 URL: http://hackage.haskell.org/package/idris 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 Latest upstream release: 0.9.13.1 Current version/release in Fedora Rawhide: 0.9.9.1-1.fc21 URL: http://hackage.haskell.org/package/idris 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 Latest upstream release: 0.9.14 Current version/release in Fedora Rawhide: 0.9.9.1-2.fc21 URL: http://hackage.haskell.org/package/idris 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 fhbz: cblrepo output for idris-0.9.14: Failed to satisfy the following dependencies for idris: annotated-wl-pprint >=0.5.3 blaze-html >=0.6.1.3 blaze-markup >=0.5.2.1 && <0.7.0.0 cheapskate -any fingertree >=0.1 language-java >=0.2.6 lens >=4.1.1 parsers >=0.9 && <0.11.0.2 trifecta >=1.1 Latest upstream release: 0.9.14.1 Current version/release in Fedora Rawhide: 0.9.9.1-2.fc21 URL: http://hackage.haskell.org/package/idris 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 fhbz: cblrepo output for idris-0.9.14.1: Failed to satisfy the following dependencies for idris: annotated-wl-pprint >=0.5.3 blaze-html >=0.6.1.3 blaze-markup >=0.5.2.1 && <0.7.0.0 cheapskate -any fingertree >=0.1 language-java >=0.2.6 lens >=4.1.1 parsers >=0.9 && <0.11.0.2 trifecta >=1.1 Latest upstream release: 0.9.14.2 Current version/release in Fedora Rawhide: 0.9.9.1-3.fc22 URL: http://hackage.haskell.org/package/idris 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 Soon this service will be implemented by a new system: https://github.com/fedora-infra/anitya/ It will require to manage monitored projects via a new web interface. Please make yourself familiar with the new system to ease the transition. fhbz: cblrepo output for idris-0.9.14.2: Failed to satisfy the following dependencies for idris: annotated-wl-pprint >=0.5.3 blaze-html >=0.6.1.3 blaze-markup >=0.5.2.1 && <0.7.0.0 cheapskate -any fingertree >=0.1 language-java >=0.2.6 lens >=4.1.1 parsers >=0.9 && <0.13 trifecta >=1.1 Latest upstream release: 0.9.14.3 Current version/release in Fedora Rawhide: 0.9.9.1-3.fc22 URL: http://hackage.haskell.org/package/idris 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 Soon this service will be implemented by a new system: https://github.com/fedora-infra/anitya/ It will require to manage monitored projects via a new web interface. Please make yourself familiar with the new system to ease the transition. fhbz: cblrepo output for idris-0.9.14.3: Failed to satisfy the following dependencies for idris: annotated-wl-pprint >=0.5.3 cheapskate -any fingertree >=0.1 lens >=4.1.1 optparse-applicative >=0.10 parsers >=0.9 && <0.13 trifecta >=1.1 See http://copr.fedoraproject.org/coprs/petersen/idris/ if you want a package of the latest version. Latest upstream release: 0.9.15 Current version/release in Fedora Rawhide: 0.9.9.1-3.fc22 URL: http://hackage.haskell.org/package/idris 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 Soon this service will be implemented by a new system: https://github.com/fedora-infra/anitya/ It will require to manage monitored projects via a new web interface. Please make yourself familiar with the new system to ease the transition. fhbz: cblrepo output for idris-0.9.15: Failed to satisfy the following dependencies for idris: annotated-wl-pprint >=0.5.3 && <0.6 cheapskate <0.2 fingertree >=0.1 && <0.2 lens >=4.1.1 && <4.5 optparse-applicative >=0.11 && <0.12 parsers >=0.9 && <0.13 trifecta >=1.1 && <1.6 Latest upstream release: 0.9.15.1 Current version/release in Fedora Rawhide: 0.9.9.1-3.fc22 URL: http://hackage.haskell.org/package/idris 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 Soon this service will be implemented by a new system: https://github.com/fedora-infra/anitya/ It will require to manage monitored projects via a new web interface. Please make yourself familiar with the new system to ease the transition. fhbz: cblrepo output for idris-0.9.15.1: Failed to satisfy the following dependencies for idris: annotated-wl-pprint >=0.5.3 && <0.6 cheapskate <0.2 fingertree >=0.1 && <0.2 lens >=4.1.1 && <4.5 parsers >=0.9 && <0.13 trifecta >=1.1 && <1.6 Latest upstream release: 0.9.16 Current version/release in Fedora Rawhide: 0.9.9.1-3.fc22 URL: http://hackage.haskell.org/package/idris 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 Soon this service will be implemented by a new system: https://release-monitoring.org/ It will require to manage monitored projects via a new web interface. Please make yourself familiar with the new system to ease the transition. fhbz: cblrepo output for idris-0.9.16: Failed to satisfy the following dependencies for idris: annotated-wl-pprint >=0.5.3 && <0.6 ansi-terminal <0.7 ansi-wl-pprint <0.7 base64-bytestring <1.1 blaze-html >=0.6.1.3 && <0.8 blaze-markup >=0.5.2.1 && <0.7.0.0 cheapskate <0.2 fingertree >=0.1 && <0.2 lens >=4.1.1 && <4.8 mtl >=2.2.1 && <2.3 optparse-applicative >=0.11 && <0.12 parsers >=0.9 && <0.13 trifecta >=1.1 && <1.6 uniplate >=1.6 && <1.7 utf8-string <0.4 vector-binary-instances <0.3 xml <1.4 Latest upstream release: 0.9.17 Current version/release in rawhide: 0.9.9.1-4.fc22 URL: http://hackage.haskell.org/package/idris 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 Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=9293450 Latest upstream release: 0.9.17.1 Current version/release in rawhide: 0.9.9.1-4.fc22 URL: http://hackage.haskell.org/package/idris 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 Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=9306979 Patch #0 (idris-ASTBuilding-ghc78.patch): + echo 'Patch #0 (idris-ASTBuilding-ghc78.patch):' + /usr/bin/cat /builddir/build/SOURCES/idris-ASTBuilding-ghc78.patch + /usr/bin/patch -p1 -b --suffix .orig --fuzz=0 can't find file to patch at input line 3 Latest upstream release: 0.9.18 Current version/release in rawhide: 0.9.9.1-5.fc23 URL: http://hackage.haskell.org/package/idris 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 1026690 [details]
[patch] Update to 0.9.18 (#999011)
Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=9773318 Latest upstream release: 0.9.18.1 Current version/release in rawhide: 0.9.9.1-5.fc23 URL: http://hackage.haskell.org/package/idris 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 1029027 [details]
[patch] Update to 0.9.18.1 (#999011)
Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=9832686 Latest upstream release: 0.9.19 Current version/release in rawhide: 0.9.9.1-6.fc23 URL: http://hackage.haskell.org/package/idris 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. Failed to kick off scratch build. cmd: sha256sum /var/tmp/thn-9WmPFV/100.0% return code: 1 stdout: stderr: sha256sum: /var/tmp/thn-9WmPFV/100.0%: No such file or directory Latest upstream release: 0.9.19.1 Current version/release in rawhide: 0.9.9.1-6.fc23 URL: http://hackage.haskell.org/package/idris 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. Failed to kick off scratch build. cmd: sha256sum /var/tmp/thn-aHAml3/100.0% return code: 1 stdout: stderr: sha256sum: /var/tmp/thn-aHAml3/100.0%: No such file or directory Latest upstream release: 0.9.20 Current version/release in rawhide: 0.9.9.1-6.fc23 URL: http://hackage.haskell.org/package/idris 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 1092196 [details]
[patch] Update to 0.9.20 (#999011)
Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=11770064 Latest upstream release: 0.9.20.2 Current version/release in rawhide: 0.9.9.1-6.fc23 URL: http://hackage.haskell.org/package/idris 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 1106941 [details]
[patch] Update to 0.9.20.2 (#999011)
Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=12227823 Latest upstream release: 0.10 Current version/release in rawhide: 0.9.9.1-6.fc23 URL: http://hackage.haskell.org/package/idris 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 1116744 [details]
[patch] Update to 0.10 (#999011)
Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=12626152 Latest upstream release: 0.10.1 Current version/release in rawhide: 0.9.9.1-7.fc24 URL: http://hackage.haskell.org/package/idris 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 1130935 [details]
[patch] Update to 0.10.1 (#999011)
Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=13143408 Latest upstream release: 0.10.2 Current version/release in rawhide: 0.9.9.1-7.fc24 URL: http://hackage.haskell.org/package/idris 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 1131078 [details]
[patch] Update to 0.10.2 (#999011)
Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=13149263 Latest upstream release: 0.10.3 Current version/release in rawhide: 0.9.9.1-7.fc24 URL: http://hackage.haskell.org/package/idris 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/1363/ Patching or scratch build for idris and version 0.9.9.1 FAILED. See for details Created attachment 1138150 [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: 0.11 Current version/release in rawhide: 0.9.9.1-7.fc24 URL: http://hackage.haskell.org/package/idris 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/1363/ Patching or scratch build for idris and version 0.9.9.1 FAILED. See for details Created attachment 1140482 [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: 0.11.1 Current version/release in rawhide: 0.9.9.1-7.fc24 URL: http://hackage.haskell.org/package/idris 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/1363/ Patching or scratch build for idris-0.9.9.1 failed. Created attachment 1153109 [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: ['idris-ASTBuilding-ghc78.patch', 'idris-rts-opt-fprintf.patch'] Following patches has been unapplied: ['idris-ASTBuilding-ghc78.patch', 'idris-rts-opt-fprintf.patch'] Latest upstream release: 0.11.2 Current version/release in rawhide: 0.9.9.1-7.fc24 URL: http://hackage.haskell.org/package/idris 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/1363/ Patching or scratch build for idris-0.9.9.1 failed. Created attachment 1158774 [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 unapplied: ['idris-ASTBuilding-ghc78.patch', 'idris-rts-opt-fprintf.patch'] Latest upstream release: 0.12 Current version/release in rawhide: 0.9.9.1-7.fc24 URL: http://hackage.haskell.org/package/idris 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/1363/ Patching or scratch build for idris-0.9.9.1 failed. Created attachment 1170233 [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 unapplied: ['idris-ASTBuilding-ghc78.patch', 'idris-rts-opt-fprintf.patch'] fhbz: cblrpm missingdeps output for idris-0.12: annotated-wl-pprint cheapskate fingertree ieee754 parsers terminal-size trifecta parsers needs: base-orphans charset trifecta needs: (charset) comonad (fingertree) lens (parsers) profunctors reducers Latest upstream release: 0.12.1 Current version/release in rawhide: 0.9.9.1-7.fc24 URL: http://hackage.haskell.org/package/idris 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/1363/ Patching or scratch build for idris-0.9.9.1 failed. Created attachment 1184235 [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 unapplied: ['idris-ASTBuilding-ghc78.patch', 'idris-rts-opt-fprintf.patch'] fhbz: cblrpm missingdeps output for idris-0.12.1: Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 Failed to synchronize cache for repo 'rcm-tools-fedora-rpms', 無効化。 annotated-wl-pprint cheapskate fingertree ieee754 parsers terminal-size trifecta parsers needs: base-orphans charset trifecta needs: (charset) comonad (fingertree) lens (parsers) profunctors reducers Latest upstream release: 0.12.2 Current version/release in rawhide: 0.9.9.1-7.fc24 URL: http://hackage.haskell.org/package/idris 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/1363/ Patching or scratch build for idris-0.9.9.1 failed. Created attachment 1188721 [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 unapplied: ['idris-ASTBuilding-ghc78.patch', 'idris-rts-opt-fprintf.patch'] Latest upstream release: 0.12.3 Current version/release in rawhide: 0.9.9.1-7.fc24 URL: http://hackage.haskell.org/package/idris 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/1363/ Patching or scratch build for idris-0.9.9.1 failed. Created attachment 1202266 [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 unapplied: ['idris-ASTBuilding-ghc78.patch', 'idris-rts-opt-fprintf.patch'] I think we need to drop idris from Fedora 25 alas since too many deps are missing. Users can use https://copr.fedorainfracloud.org/coprs/petersen/idris This package has changed ownership in the Fedora Package Database. Reassigning to the new owner of this component. |