Latest upstream release: 2.4.0 Current version/release in Fedora Rawhide: 2.3.2.2-3.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
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 ***