Bug 1105104
| Summary: | Agda-2.4.2 is available | ||
|---|---|---|---|
| Product: | [Fedora] Fedora | Reporter: | Upstream Release Monitoring <upstream-release-monitoring> |
| Component: | Agda | Assignee: | Jens Petersen <petersen> |
| Status: | CLOSED DUPLICATE | 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:NG | ||
| Fixed In Version: | Doc Type: | Enhancement | |
| Doc Text: | Story Points: | --- | |
| Clone Of: | Environment: | ||
| Last Closed: | 2015-02-27 07:42:41 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: | |||
|
Description
Upstream Release Monitoring
2014-06-05 11:50:21 UTC
Latest upstream release: 2.4.0.1 Current version/release in Fedora Rawhide: 2.3.2.2-4.fc21 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 fhbz: cblrepo output for Agda-2.4.0.1: Failed to satisfy the following dependencies for Agda: QuickCheck >=2.7.5 && <2.8 STMonadTrans >=0.3.2 && <0.4 binary >=0.6 && <0.8 boxes >=0.1.3 && <0.2 data-hash ==0.2.0.0 equivalence >=0.2.3 && <0.3 Latest upstream release: 2.4.0.2 Current version/release in Fedora Rawhide: 2.3.2.2-4.fc21 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 fhbz: cblrepo output for Agda-2.4.0.2: Failed to satisfy the following dependencies for Agda: QuickCheck >=2.7.5 && <2.8 STMonadTrans >=0.3.2 && <0.4 binary >=0.6 && <0.8 boxes >=0.1.3 && <0.2 data-hash ==0.2.0.0 equivalence >=0.2.4 && <0.3 Latest upstream release: 2.4.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://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 Agda-2.4.2: Failed to satisfy the following dependencies for Agda: QuickCheck >=2.7.5 && <2.8 STMonadTrans >=0.3.2 && <0.4 binary >=0.6 && <0.8 boxes >=0.1.3 && <0.2 data-hash ==0.2.0.0 equivalence >=0.2.4 && <0.3 cf unbumped: Failed to satisfy the following dependencies for Agda-2.3.2.2: array >=0.1 && <0.5 base >=4.2 && <4.7 && >=3 && <6 && >=4.2 && <4.7 binary >=0.4.4 && <0.6 process >=1.0.1.0 && <1.2 && >=1.0.1.0 && <1.2 text ==0.11.* I tried bumping these but the build runs into a couple of illegal instance declarations in NarrowingSearch. committed to master though missing deps as above *** This bug has been marked as a duplicate of bug 1164120 *** |