https://bugzilla.redhat.com/show_bug.cgi?id=710383
Jens Petersen petersen@redhat.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Whiteboard|NotReady |Ready
--- Comment #2 from Jens Petersen petersen@redhat.com --- Ok finally:
Spec: http://petersen.fedorapeople.org/reviews/Agda/Agda.spec SRPM: http://petersen.fedorapeople.org/reviews/Agda/Agda-2.3.0.1-1.fc17.src.rpm
Koji: http://koji.fedoraproject.org/koji/taskinfo?taskID=4229387
Builds for me in F17 too locally.
I need to check if it needs "Requires: ghc-Agda-devel" too.
haskell-devel@lists.fedoraproject.org