Note: This is a public test instance of Red Hat Bugzilla. The data contained within is a snapshot of the live data so any changes you make will not be reflected in the production Bugzilla. Email is disabled so feel free to test any aspect of the site that you want. File any problems you find or give feedback at bugzilla.redhat.com.
Bug 1164120
| Summary: | Agda-2.4.2.2 is available | ||
|---|---|---|---|
| Product: | [Fedora] Fedora | Reporter: | Upstream Release Monitoring <upstream-release-monitoring> |
| Component: | Agda | Assignee: | Jens Petersen <petersen> |
| Status: | CLOSED ERRATA | QA Contact: | Fedora Extras Quality Assurance <extras-qa> |
| Severity: | unspecified | Docs Contact: | |
| Priority: | unspecified | ||
| Version: | rawhide | CC: | haskell-devel, petersen |
| Target Milestone: | --- | Keywords: | FutureFeature, Triaged |
| Target Release: | --- | ||
| Hardware: | Unspecified | ||
| OS: | Unspecified | ||
| Whiteboard: | Agda-2.4.2.2:NG | ||
| Fixed In Version: | Agda-2.4.2.2-3.fc22 | Doc Type: | Enhancement |
| Doc Text: | Story Points: | --- | |
| Clone Of: | Environment: | ||
| Last Closed: | 2015-04-26 12:57:35 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: | 1062176, 1081471, 1197640, 1197641, 1197642 | ||
| Bug Blocks: | |||
|
Description
Upstream Release Monitoring
2014-11-14 07:08:34 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 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. 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 *** Bug 1105104 has been marked as a duplicate of this bug. *** Cabal doesn't catch this until buildtime but this also needs newer cpphs. petersen's Agda-2.4.2.2-1.fc23 completed http://koji.fedoraproject.org/koji/buildinfo?buildID=625852 petersen's Agda-2.4.2.2-2.fc23 completed http://koji.fedoraproject.org/koji/buildinfo?buildID=628779 petersen's Agda-2.4.2.2-3.fc23 completed http://koji.fedoraproject.org/koji/buildinfo?buildID=628964 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 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). 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. |