Description of problem: ghc-geniplate has an exclusivearch %{ghc_arches_with_ghci} which means that it isn't available on PPC64, only on PPC. If Agda doesn't build without ghc-geniplate, it needs to have the same exclusivearchs as ghc-geniplate, otherwise builds in secondary arch will always fail. Version-Release number of selected component (if applicable): Agda-2.3.2.1-5.fc20 How reproducible: always Steps to Reproduce: 1. ppc-koji build --scratch f20 Agda-2.3.2.1-5.fc20.src.rpm 2. 3. Actual results: Expected results: Additional info:
Thanks for the report - sorry just noticed it this week... Should be fixed in Agda-2.3.2.2-2.
http://ppc.koji.fedoraproject.org/koji/taskinfo?taskID=1617992 (f21)
Agda-2.3.2.2-2.fc20 has been submitted as an update for Fedora 20. https://admin.fedoraproject.org/updates/FEDORA-2014-0936/Agda-2.3.2.2-2.fc20
Package Agda-2.3.2.2-2.fc20: * should fix your issue, * was pushed to the Fedora 20 testing repository, * should be available at your local mirror within two days. Update it with: # su -c 'yum update --enablerepo=updates-testing Agda-2.3.2.2-2.fc20' as soon as you are able to. Please go to the following url: https://admin.fedoraproject.org/updates/FEDORA-2014-0936/Agda-2.3.2.2-2.fc20 then log in and leave karma (feedback).
Agda-2.3.2.2-2.fc20 has been pushed to the Fedora 20 stable repository. If problems still persist, please make note of it in this bug report.