[Bug 710031] Review Request: ghc-Agda - Dependently typed functional programming language

[bugzilla at redhat.com]

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

Bug 710031 depends on bug 782000, which changed state.

Bug 782000 Summary: Review Request: ghc-hashtables - Mutable hash tables in the ST monad
https://bugzilla.redhat.com/show_bug.cgi?id=782000

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|MODIFIED                    |ON_QA
             Status|ON_QA                       |CLOSED
         Resolution|                            |ERRATA

--- Comment #6 from Jens Petersen <petersen at redhat.com> 2012-04-10 00:36:42 EDT ---
Update to 2.3.0.1 release for ghc-7.4.1:

Spec: http://petersen.fedorapeople.org/reviews/ghc-Agda/ghc-Agda.spec
SRPM:
http://petersen.fedorapeople.org/reviews/ghc-Agda/ghc-Agda-2.3.0.1-1.fc16.src.rpm

Builds in koji: http://koji.fedoraproject.org/koji/taskinfo?taskID=3975851

-- 
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.