Bug 892566

Summary:	Agda-2.3.2.1 is available
Product:	[Fedora] Fedora	Reporter:	Upstream Release Monitoring <upstream-release-monitoring>
Component:	Agda	Assignee:	Jens Petersen <petersen>
Status:	CLOSED ERRATA	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:
Fixed In Version:	hledger-0.19.3-1.fc19	Doc Type:	Enhancement
Doc Text:		Story Points:	---
Clone Of:		Environment:
Last Closed:	2013-06-21 09:57:35 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:
Bug Depends On:	920174
Bug Blocks:

Description Upstream Release Monitoring 2013-01-07 10:55:22 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 2013-01-08 06:58:20 UTC

*** Bug 875752 has been marked as a duplicate of this bug. ***

Comment 2 Upstream Release Monitoring 2013-06-11 07:32:17 UTC

Latest upstream release: 2.3.2.1
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-06-11 08:45:48 UTC

committed to master for f20

Comment 4 Jens Petersen 2013-06-21 09:57:35 UTC

Built with ghc-7.6.3 for F20 Rawhide.

Comment 5 Fedora Update System 2013-08-20 04:13:04 UTC

hledger-0.19.3-1.fc19,idris-0.9.8-3.fc19,darcs-2.8.4-1.fc19,Agda-2.3.2.1-1.fc19,ghc-haskeline-0.7.0.3-1.fc19,ghc-hledger-lib-0.19.3-1.fc19 has been submitted as an update for Fedora 19.
https://admin.fedoraproject.org/updates/hledger-0.19.3-1.fc19,idris-0.9.8-3.fc19,darcs-2.8.4-1.fc19,Agda-2.3.2.1-1.fc19,ghc-haskeline-0.7.0.3-1.fc19,ghc-hledger-lib-0.19.3-1.fc19

Comment 6 Fedora Update System 2013-09-12 01:51:51 UTC

hledger-0.19.3-1.fc19, idris-0.9.8-3.fc19, darcs-2.8.4-1.fc19, ghc-haskeline-0.7.0.3-1.fc19, ghc-hledger-lib-0.19.3-1.fc19, Agda-2.3.2.1-5.fc19 has been pushed to the Fedora 19 stable repository.  If problems still persist, please make note of it in this bug report.