[Fedora-haskell-list] [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

Jens Petersen <petersen at redhat.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Status Whiteboard|                            |Ready

--- Comment #5 from Jens Petersen <petersen at 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.src.rpm

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.