Bug 999011

Summary: idris-0.12.3 is available
Product: [Fedora] Fedora Reporter: Upstream Release Monitoring <upstream-release-monitoring>
Component: idrisAssignee: Orphan Owner <extras-orphan>
Status: CLOSED DEFERRED QA Contact: Fedora Extras Quality Assurance <extras-qa>
Severity: unspecified Docs Contact:
Priority: unspecified    
Version: rawhideCC: haskell-devel, petersen, relrod
Target Milestone: ---Keywords: FutureFeature, Triaged
Target Release: ---   
Hardware: Unspecified   
OS: Unspecified   
Whiteboard: idris-0.12.1:deps
Fixed In Version: Doc Type: Enhancement
Doc Text:
Story Points: ---
Clone Of: Environment:
Last Closed: 2016-10-04 10:48:01 UTC Type: ---
Regression: --- Mount Type: ---
Documentation: --- CRM:
Verified Versions: Category: ---
oVirt Team: --- RHEL 7.3 requirements from Atomic Host:
Cloudforms Team: --- Target Upstream Version:
Embargoed:
Bug Depends On: 1007152, 1075569, 1075598, 1075601, 1075605, 1076737, 1076739, 1076741    
Bug Blocks:    
Attachments:
Description Flags
[patch] Update to 0.9.18 (#999011)
none
[patch] Update to 0.9.18.1 (#999011)
none
[patch] Update to 0.9.20 (#999011)
none
[patch] Update to 0.9.20.2 (#999011)
none
[patch] Update to 0.10 (#999011)
none
[patch] Update to 0.10.1 (#999011)
none
[patch] Update to 0.10.2 (#999011)
none
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.
none
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.
none
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.
none
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.
none
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.
none
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.
none
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.
none
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. none

Description Upstream Release Monitoring 2013-08-20 14:13:28 UTC
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

Comment 1 Jens Petersen 2013-08-20 23:21:16 UTC
Optionally also llvm-general.

Comment 2 Upstream Release Monitoring 2013-09-20 07:20:13 UTC
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

Comment 3 Upstream Release Monitoring 2013-09-25 07:29:05 UTC
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

Comment 4 Jens Petersen 2013-10-09 04:58:42 UTC
0.9.9.1 is now in Rawhide and F20 testing

Comment 5 Upstream Release Monitoring 2013-10-16 07:32:52 UTC
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

Comment 6 Upstream Release Monitoring 2013-11-29 07:49:33 UTC
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

Comment 7 Upstream Release Monitoring 2013-12-03 09:42:54 UTC
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

Comment 8 Upstream Release Monitoring 2014-02-06 12:45:11 UTC
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

Comment 9 Upstream Release Monitoring 2014-02-11 11:23:07 UTC
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

Comment 10 Upstream Release Monitoring 2014-04-07 12:10:48 UTC
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

Comment 11 Jens Petersen 2014-05-12 07:43:18 UTC
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

Comment 12 Upstream Release Monitoring 2014-06-04 07:43:19 UTC
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

Comment 13 Upstream Release Monitoring 2014-06-11 11:44:40 UTC
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

Comment 14 Upstream Release Monitoring 2014-07-24 13:14:39 UTC
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

Comment 15 Jens Petersen 2014-07-24 17:50:09 UTC
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

Comment 16 Upstream Release Monitoring 2014-07-31 15:03:40 UTC
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

Comment 17 Jens Petersen 2014-08-07 16:36:38 UTC
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

Comment 18 Upstream Release Monitoring 2014-08-31 21:48:55 UTC
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.

Comment 19 Jens Petersen 2014-09-02 02:41:00 UTC
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

Comment 20 Upstream Release Monitoring 2014-09-04 11:31:08 UTC
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.

Comment 21 Jens Petersen 2014-09-05 10:13:40 UTC
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

Comment 22 Jens Petersen 2014-09-16 05:02:15 UTC
See http://copr.fedoraproject.org/coprs/petersen/idris/ if you want a package of the latest version.

Comment 23 Upstream Release Monitoring 2014-10-27 09:51:36 UTC
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.

Comment 24 Jens Petersen 2014-10-28 01:36:14 UTC
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

Comment 25 Upstream Release Monitoring 2014-11-01 08:55:19 UTC
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.

Comment 26 Jens Petersen 2014-11-07 05:11:11 UTC
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

Comment 27 Upstream Release Monitoring 2015-01-19 09:12:21 UTC
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.

Comment 28 Jens Petersen 2015-01-20 05:31:56 UTC
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

Comment 29 Upstream Release Monitoring 2015-03-22 01:10:30 UTC
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

Comment 30 Upstream Release Monitoring 2015-03-22 01:11:53 UTC
Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=9293450

Comment 31 Upstream Release Monitoring 2015-03-24 00:36:39 UTC
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

Comment 32 Upstream Release Monitoring 2015-03-24 00:38:08 UTC
Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=9306979

Comment 33 Jens Petersen 2015-03-24 01:23:47 UTC
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

Comment 34 Upstream Release Monitoring 2015-05-18 12:40:56 UTC
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.

Comment 35 Upstream Release Monitoring 2015-05-18 12:41:06 UTC
Created attachment 1026690 [details]
[patch] Update to 0.9.18 (#999011)

Comment 36 Upstream Release Monitoring 2015-05-18 12:43:29 UTC
Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=9773318

Comment 37 Upstream Release Monitoring 2015-05-23 12:44:51 UTC
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.

Comment 38 Upstream Release Monitoring 2015-05-23 12:45:00 UTC
Created attachment 1029027 [details]
[patch] Update to 0.9.18.1 (#999011)

Comment 39 Upstream Release Monitoring 2015-05-23 12:46:23 UTC
Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=9832686

Comment 40 Jens Petersen 2015-05-25 03:09:06 UTC
comment 33

Comment 41 Upstream Release Monitoring 2015-09-01 00:14:33 UTC
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.

Comment 42 Upstream Release Monitoring 2015-09-01 00:14:42 UTC
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

Comment 43 Upstream Release Monitoring 2015-09-22 12:12:30 UTC
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.

Comment 44 Upstream Release Monitoring 2015-09-22 12:12:37 UTC
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

Comment 45 Upstream Release Monitoring 2015-11-10 12:21:52 UTC
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.

Comment 46 Upstream Release Monitoring 2015-11-10 12:22:02 UTC
Created attachment 1092196 [details]
[patch] Update to 0.9.20 (#999011)

Comment 47 Upstream Release Monitoring 2015-11-10 13:14:05 UTC
Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=11770064

Comment 48 Upstream Release Monitoring 2015-12-18 00:28:01 UTC
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.

Comment 49 Upstream Release Monitoring 2015-12-18 00:28:19 UTC
Created attachment 1106941 [details]
[patch] Update to 0.9.20.2 (#999011)

Comment 50 Upstream Release Monitoring 2015-12-18 01:13:00 UTC
Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=12227823

Comment 51 Upstream Release Monitoring 2016-01-21 00:12:29 UTC
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.

Comment 52 Upstream Release Monitoring 2016-01-21 00:12:40 UTC
Created attachment 1116744 [details]
[patch] Update to 0.10 (#999011)

Comment 53 Upstream Release Monitoring 2016-01-21 00:16:02 UTC
Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=12626152

Comment 54 Upstream Release Monitoring 2016-02-27 00:20:12 UTC
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.

Comment 55 Upstream Release Monitoring 2016-02-27 00:20:22 UTC
Created attachment 1130935 [details]
[patch] Update to 0.10.1 (#999011)

Comment 56 Upstream Release Monitoring 2016-02-27 00:37:55 UTC
Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=13143408

Comment 57 Upstream Release Monitoring 2016-02-27 12:13:17 UTC
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.

Comment 58 Upstream Release Monitoring 2016-02-27 12:13:27 UTC
Created attachment 1131078 [details]
[patch] Update to 0.10.2 (#999011)

Comment 59 Upstream Release Monitoring 2016-02-27 12:17:07 UTC
Scratch build failed http://koji.fedoraproject.org/koji/taskinfo?taskID=13149263

Comment 60 Upstream Release Monitoring 2016-03-20 00:13:05 UTC
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/

Comment 61 Upstream Release Monitoring 2016-03-20 00:13:14 UTC
Patching or scratch build for idris and version 0.9.9.1 FAILED.
See for details

Comment 62 Upstream Release Monitoring 2016-03-20 00:13:15 UTC
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.

Comment 63 Upstream Release Monitoring 2016-03-20 00:13:17 UTC
Patches were not touched. All were applied properly

Comment 64 Upstream Release Monitoring 2016-03-26 00:13:40 UTC
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/

Comment 65 Upstream Release Monitoring 2016-03-26 00:13:47 UTC
Patching or scratch build for idris and version 0.9.9.1 FAILED.
See for details

Comment 66 Upstream Release Monitoring 2016-03-26 00:13:49 UTC
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.

Comment 67 Upstream Release Monitoring 2016-03-26 00:13:51 UTC
Patches were not touched. All were applied properly

Comment 68 Upstream Release Monitoring 2016-05-03 00:13:57 UTC
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/

Comment 69 Upstream Release Monitoring 2016-05-03 00:14:14 UTC
Patching or scratch build for idris-0.9.9.1 failed.

Comment 70 Upstream Release Monitoring 2016-05-03 00:14:16 UTC
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.

Comment 71 Upstream Release Monitoring 2016-05-03 00:14:18 UTC
Following patches has been deleted:
['idris-ASTBuilding-ghc78.patch', 'idris-rts-opt-fprintf.patch']

Comment 72 Upstream Release Monitoring 2016-05-03 00:14:19 UTC
Following patches has been unapplied:
['idris-ASTBuilding-ghc78.patch', 'idris-rts-opt-fprintf.patch']

Comment 73 Upstream Release Monitoring 2016-05-18 12:16:22 UTC
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/

Comment 74 Upstream Release Monitoring 2016-05-18 12:16:40 UTC
Patching or scratch build for idris-0.9.9.1 failed.

Comment 75 Upstream Release Monitoring 2016-05-18 12:16:42 UTC
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.

Comment 76 Upstream Release Monitoring 2016-05-18 12:16:44 UTC
Following patches has been unapplied:
['idris-ASTBuilding-ghc78.patch', 'idris-rts-opt-fprintf.patch']

Comment 77 Upstream Release Monitoring 2016-06-21 12:13:30 UTC
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/

Comment 78 Upstream Release Monitoring 2016-06-21 12:13:47 UTC
Patching or scratch build for idris-0.9.9.1 failed.

Comment 79 Upstream Release Monitoring 2016-06-21 12:13:49 UTC
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.

Comment 80 Upstream Release Monitoring 2016-06-21 12:13:51 UTC
Following patches has been unapplied:
['idris-ASTBuilding-ghc78.patch', 'idris-rts-opt-fprintf.patch']

Comment 81 Jens Petersen 2016-06-22 11:11:57 UTC
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

Comment 82 Upstream Release Monitoring 2016-07-26 12:16:38 UTC
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/

Comment 83 Upstream Release Monitoring 2016-07-26 12:16:56 UTC
Patching or scratch build for idris-0.9.9.1 failed.

Comment 84 Upstream Release Monitoring 2016-07-26 12:16:58 UTC
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.

Comment 85 Upstream Release Monitoring 2016-07-26 12:17:00 UTC
Following patches has been unapplied:
['idris-ASTBuilding-ghc78.patch', 'idris-rts-opt-fprintf.patch']

Comment 86 Jens Petersen 2016-08-05 14:50:03 UTC
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

Comment 87 Upstream Release Monitoring 2016-08-08 12:35:00 UTC
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/

Comment 88 Upstream Release Monitoring 2016-08-08 12:35:18 UTC
Patching or scratch build for idris-0.9.9.1 failed.

Comment 89 Upstream Release Monitoring 2016-08-08 12:35:20 UTC
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.

Comment 90 Upstream Release Monitoring 2016-08-08 12:35:22 UTC
Following patches has been unapplied:
['idris-ASTBuilding-ghc78.patch', 'idris-rts-opt-fprintf.patch']

Comment 91 Upstream Release Monitoring 2016-09-19 00:13:17 UTC
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/

Comment 92 Upstream Release Monitoring 2016-09-19 00:13:39 UTC
Patching or scratch build for idris-0.9.9.1 failed.

Comment 93 Upstream Release Monitoring 2016-09-19 00:13:41 UTC
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.

Comment 94 Upstream Release Monitoring 2016-09-19 00:13:44 UTC
Following patches has been unapplied:
['idris-ASTBuilding-ghc78.patch', 'idris-rts-opt-fprintf.patch']

Comment 95 Jens Petersen 2016-10-04 10:19:55 UTC
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

Comment 96 Fedora Admin XMLRPC Client 2016-10-04 10:47:11 UTC
This package has changed ownership in the Fedora Package Database.  Reassigning to the new owner of this component.