Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
https://bugzilla.redhat.com/show_bug.cgi?id=710031
Jens Petersen <petersen(a)redhat.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status Whiteboard| |Ready
--- Comment #5 from Jens Petersen <petersen(a)redhat.com> 2012-02-13 23:16:53 EST ---
Updating to current 2.3.0 release:
Spec URL:
http://petersen.fedorapeople.org/reviews/ghc-Agda/ghc-Agda.spec
SRPM URL:
http://petersen.fedorapeople.org/reviews/ghc-Agda/ghc-Agda-2.3.0-1.fc16.s...
Note it needs latest redhat-rpm-config update to build for
%ghc_arches_with_ghci (currently being pushed to f15 updates stable).
http://koji.fedoraproject.org/koji/taskinfo?taskID=3788957 (25min in koji)
--
Configure bugmail:
https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.