https://bugzilla.redhat.com/show_bug.cgi?id=839260
--- Comment #6 from Jens Petersen petersen@redhat.com --- (In reply to Jens Petersen from comment #5)
Should build on F19 and F20.
(Sorry this remark was vague: I meant that Agda-2.3.2 is there now.)
Exclude ARM since no Agda currently on ARM:
Spec: http://petersen.fedorapeople.org/reviews/Agda-stdlib/Agda-stdlib.spec SRPM: http://petersen.fedorapeople.org/reviews/Agda-stdlib/Agda-stdlib-0.7-2.fc20....
http://koji.fedoraproject.org/koji/taskinfo?taskID=6483015
haskell-devel@lists.fedoraproject.org