Bug 875752 - ghc-Agda-2.3.2 is available
Summary: ghc-Agda-2.3.2 is available
Keywords:
Status: CLOSED DUPLICATE of bug 892566
Alias: None
Product: Fedora
Classification: Fedora
Component: ghc-Agda
Version: rawhide
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: ---
Assignee: Jens Petersen
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard: needs geniplate
Depends On:
Blocks:
TreeView+ depends on / blocked
 
Reported: 2012-11-12 14:35 UTC by Upstream Release Monitoring
Modified: 2013-01-08 06:58 UTC (History)
2 users (show)

Fixed In Version:
Doc Type: Enhancement
Doc Text:
Clone Of:
Environment:
Last Closed: 2013-01-08 06:58:19 UTC
Type: ---
Embargoed:

Attachments (Terms of Use)

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 ***
Note You need to log in before you can comment on or make changes to this bug.