Bug 1164120 - Agda-2.4.2.2 is available
Summary: Agda-2.4.2.2 is available
Keywords:
Status: CLOSED ERRATA
Alias: None
Product: Fedora
Classification: Fedora
Component: Agda
Version: rawhide
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: ---
Assignee: Jens Petersen
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard: Agda-2.4.2.2:NG
: 1105104 (view as bug list)
Depends On: 1062176 1081471 1197640 1197641 1197642
Blocks:
TreeView+ depends on / blocked
 
Reported: 2014-11-14 07:08 UTC by Upstream Release Monitoring
Modified: 2015-04-27 03:08 UTC (History)
2 users (show)

Fixed In Version: Agda-2.4.2.2-3.fc22
Doc Type: Enhancement
Doc Text:
Clone Of:
Environment:
Last Closed: 2015-04-26 12:57:35 UTC
Type: ---
Embargoed:


Attachments (Terms of Use)

Description Upstream Release Monitoring 2014-11-14 07:08:34 UTC
Latest upstream release: 2.4.2.1
Current version/release in Fedora Rawhide: 2.3.2.2-5.fc22
URL: http://hackage.haskell.org/package/Agda

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy


More information about the service that created this bug can be found at:
https://fedoraproject.org/wiki/Upstream_release_monitoring 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 1 Jens Petersen 2014-11-14 08:39:59 UTC
fhbz: cblrepo output for Agda-2.4.2.1:

Failed to satisfy the following dependencies for Agda:
  QuickCheck >=2.7.5 && <2.8
  STMonadTrans >=0.3.2 && <0.4
  boxes >=0.1.3 && <0.2
  data-hash ==0.2.0.0
  equivalence >=0.2.5 && <0.3

Comment 2 Upstream Release Monitoring 2014-12-05 07:58:56 UTC
Latest upstream release: 2.4.2.2
Current version/release in Fedora Rawhide: 2.3.2.2-5.fc22
URL: http://hackage.haskell.org/package/Agda

Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy


More information about the service that created this bug can be found at:
https://fedoraproject.org/wiki/Upstream_release_monitoring 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 3 Jens Petersen 2014-12-09 04:44:22 UTC
fhbz: cblrepo output for Agda-2.4.2.2:

Failed to satisfy the following dependencies for Agda:
  QuickCheck >=2.7.5 && <2.8
  STMonadTrans >=0.3.2 && <0.4
  boxes >=0.1.3 && <0.2
  data-hash ==0.2.0.0
  equivalence >=0.2.5 && <0.3

Comment 4 Jens Petersen 2015-02-27 07:42:41 UTC
*** Bug 1105104 has been marked as a duplicate of this bug. ***

Comment 5 Jens Petersen 2015-03-02 09:02:09 UTC
Cabal doesn't catch this until buildtime but this also needs newer cpphs.

Comment 6 Upstream Release Monitoring 2015-04-03 13:30:42 UTC
petersen's Agda-2.4.2.2-1.fc23 completed http://koji.fedoraproject.org/koji/buildinfo?buildID=625852

Comment 7 Upstream Release Monitoring 2015-04-16 09:37:08 UTC
petersen's Agda-2.4.2.2-2.fc23 completed http://koji.fedoraproject.org/koji/buildinfo?buildID=628779

Comment 8 Upstream Release Monitoring 2015-04-17 05:03:33 UTC
petersen's Agda-2.4.2.2-3.fc23 completed http://koji.fedoraproject.org/koji/buildinfo?buildID=628964

Comment 9 Fedora Update System 2015-04-20 04:06:34 UTC
alex-3.1.4-1.fc22, cabal-install-1.18.0.8-1.fc22, happy-1.19.5-1.fc22, hlint-1.9.10-1.fc22, ghc-derive-2.5.22-1.fc22, ghc-hgettext-0.1.30-7.fc22, ghc-language-ecmascript-0.15.2-6.fc22, ghc-QuickCheck-2.7.6-1.fc22, Agda-2.4.2.2-3.fc22, bustle-0.4.8-1.fc22, cpphs-1.18.9-1.fc22, idris-0.9.9.1-5.fc22, ghc-arrows-0.4.4.1-8.fc22, ghc-haskell-src-exts-1.16.0.1-1.fc22, ghc-IOSpec-0.2.5-9.fc22, ghc-language-java-0.2.7-2.fc22, ghc-Stream-0.4.7.2-1.fc22 has been submitted as an update for Fedora 22.
https://admin.fedoraproject.org/updates/Agda-2.4.2.2-3.fc22,alex-3.1.4-1.fc22,bustle-0.4.8-1.fc22,cabal-install-1.18.0.8-1.fc22,cpphs-1.18.9-1.fc22,happy-1.19.5-1.fc22,idris-0.9.9.1-5.fc22,hlint-1.9.10-1.fc22,ghc-arrows-0.4.4.1-8.fc22,ghc-derive-2.5.22-1.fc22,ghc-haskell-src-exts-1.16.0.1-1.fc22,ghc-hgettext-0.1.30-7.fc22,ghc-IOSpec-0.2.5-9.fc22,ghc-language-ecmascript-0.15.2-6.fc22,ghc-language-java-0.2.7-2.fc22,ghc-QuickCheck-2.7.6-1.fc22,ghc-Stream-0.4.7.2-1.fc22

Comment 10 Fedora Update System 2015-04-21 19:34:14 UTC
Package alex-3.1.4-1.fc22, cabal-install-1.18.0.8-1.fc22, happy-1.19.5-1.fc22, hlint-1.9.10-1.fc22, ghc-derive-2.5.22-1.fc22, ghc-hgettext-0.1.30-7.fc22, ghc-language-ecmascript-0.15.2-6.fc22, ghc-QuickCheck-2.7.6-1.fc22, Agda-2.4.2.2-3.fc22, bustle-0.4.8-1.fc22, cpphs-1.18.9-1.fc22, idris-0.9.9.1-5.fc22, ghc-arrows-0.4.4.1-8.fc22, ghc-haskell-src-exts-1.16.0.1-1.fc22, ghc-IOSpec-0.2.5-9.fc22, ghc-language-java-0.2.7-2.fc22, ghc-Stream-0.4.7.2-1.fc22, haskell-platform-2014.2.0.0.2-3.fc22, git-annex-5.20140717-6.fc22, Agda-stdlib-0.9-1.fc22:
* should fix your issue,
* was pushed to the Fedora 22 testing repository,
* should be available at your local mirror within two days.
Update it with:
# su -c 'yum update --enablerepo=updates-testing alex-3.1.4-1.fc22 cabal-install-1.18.0.8-1.fc22 happy-1.19.5-1.fc22 hlint-1.9.10-1.fc22 ghc-derive-2.5.22-1.fc22 ghc-hgettext-0.1.30-7.fc22 ghc-language-ecmascript-0.15.2-6.fc22 ghc-QuickCheck-2.7.6-1.fc22 Agda-2.4.2.2-3.fc22 bustle-0.4.8-1.fc22 cpphs-1.18.9-1.fc22 idris-0.9.9.1-5.fc22 ghc-arrows-0.4.4.1-8.fc22 ghc-haskell-src-exts-1.16.0.1-1.fc22 ghc-IOSpec-0.2.5-9.fc22 ghc-language-java-0.2.7-2.fc22 ghc-Stream-0.4.7.2-1.fc22 haskell-platform-2014.2.0.0.2-3.fc22 git-annex-5.20140717-6.fc22 Agda-stdlib-0.9-1.fc22'
as soon as you are able to.
Please go to the following url:
https://admin.fedoraproject.org/updates/FEDORA-2015-6562/Agda-2.4.2.2-3.fc22,Agda-stdlib-0.9-1.fc22,alex-3.1.4-1.fc22,bustle-0.4.8-1.fc22,cabal-install-1.18.0.8-1.fc22,cpphs-1.18.9-1.fc22,git-annex-5.20140717-6.fc22,haskell-platform-2014.2.0.0.2-3.fc22,happy-1.19.5-1.fc22,idris-0.9.9.1-5.fc22,hlint-1.9.10-1.fc22,ghc-arrows-0.4.4.1-8.fc22,ghc-derive-2.5.22-1.fc22,ghc-haskell-src-exts-1.16.0.1-1.fc22,ghc-hgettext-0.1.30-7.fc22,ghc-IOSpec-0.2.5-9.fc22,ghc-language-ecmascript-0.15.2-6.fc22,ghc-language-java-0.2.7-2.fc22,ghc-QuickCheck-2.7.6-1.fc22,ghc-Stream-0.4.7.2-1.fc22
then log in and leave karma (feedback).

Comment 11 Fedora Update System 2015-04-26 12:57:35 UTC
alex-3.1.4-1.fc22, cabal-install-1.18.0.8-1.fc22, happy-1.19.5-1.fc22, hlint-1.9.10-1.fc22, ghc-derive-2.5.22-1.fc22, ghc-hgettext-0.1.30-7.fc22, ghc-language-ecmascript-0.15.2-6.fc22, ghc-QuickCheck-2.7.6-1.fc22, Agda-2.4.2.2-3.fc22, bustle-0.4.8-1.fc22, cpphs-1.18.9-1.fc22, idris-0.9.9.1-5.fc22, ghc-arrows-0.4.4.1-8.fc22, ghc-haskell-src-exts-1.16.0.1-1.fc22, ghc-IOSpec-0.2.5-9.fc22, ghc-language-java-0.2.7-2.fc22, ghc-Stream-0.4.7.2-1.fc22, haskell-platform-2014.2.0.0.2-3.fc22, git-annex-5.20140717-6.fc22, Agda-stdlib-0.9-1.fc22 has been pushed to the Fedora 22 stable repository.  If problems still persist, please make note of it in this bug report.


Note You need to log in before you can comment on or make changes to this bug.