https://bugzilla.redhat.com/show_bug.cgi?id=839260
--- Comment #6 from Jens Petersen <peter...@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.src.rpm http://koji.fedoraproject.org/koji/taskinfo?taskID=6483015 -- You are receiving this mail because: You are on the CC list for the bug. You are always notified about changes to this product and component _______________________________________________ package-review mailing list package-review@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/package-review