Bug 875752

Summary: ghc-Agda-2.3.2 is available
Product: [Fedora] Fedora Reporter: Upstream Release Monitoring <upstream-release-monitoring>
Component: ghc-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, Reopened, Triaged
Target Release: ---   
Hardware: Unspecified   
OS: Unspecified   
Whiteboard: needs geniplate
Fixed In Version: Doc Type: Enhancement
Doc Text:
Story Points: ---
Clone Of: Environment:
Last Closed: 2013-01-08 06:58:19 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 2012-11-12 14:35:07 UTC
Latest upstream release: 2.3.2
Current version in Fedora Rawhide: 2.3.0.1
URL: http://hackage.haskell.org/packages/archive/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 Jens Petersen 2012-11-17 05:55:18 UTC
New dependency geniplate

Comment 2 Upstream Release Monitoring 2013-01-07 09:52:40 UTC
Latest upstream release: 2...3...2
Current version in Fedora Rawhide: 2.3.0.1
URL: http://hackage.haskell.org/packages/archive/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 3 Jens Petersen 2013-01-08 06:58:19 UTC

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