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: AgdaAssignee: Jens Petersen <petersen>
Status: CLOSED DUPLICATE QA Contact: Fedora Extras Quality Assurance <extras-qa>
Severity: unspecified Docs Contact:
Priority: unspecified    
Version: rawhideCC: 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
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

Comment 1 Upstream Release Monitoring 2014-06-21 16:10:54 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

Comment 2 Jens Petersen 2014-07-24 16:18:38 UTC
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

Comment 3 Upstream Release Monitoring 2014-07-30 08:08:50 UTC
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

Comment 4 Jens Petersen 2014-08-07 16:37:18 UTC
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

Comment 5 Upstream Release Monitoring 2014-08-31 20:28:10 UTC
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.

Comment 6 Jens Petersen 2014-09-02 02:41:15 UTC
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

Comment 7 Jens Petersen 2014-09-02 08:31:45 UTC
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.

Comment 8 Jens Petersen 2014-09-25 08:47:09 UTC
committed to master though missing deps as above

Comment 9 Jens Petersen 2015-02-27 07:42:41 UTC

*** This bug has been marked as a duplicate of bug 1164120 ***