Latest upstream release: 0.9.9 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
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
comment 33
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/
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.
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/
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.
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/
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.
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/
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.
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/
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.
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/
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.
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.