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 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 *** |