Latest upstream release: 2.3.2.2 Current version/release in Fedora Rawhide: 2.3.2.1-5.fc21 URL: http://hackage.haskell.org/package/Agda Please consult the package updates policy before you issue an update to a stable branch: https://fedoraproject.org/wiki/Updates_Policy More information about the service that created this bug can be found at: https://fedoraproject.org/wiki/Upstream_release_monitoring
Agda-2.3.2.2-1.fc20 has been submitted as an update for Fedora 20. https://admin.fedoraproject.org/updates/Agda-2.3.2.2-1.fc20
The actual code changes are minimal though for Linux.
Package Agda-2.3.2.2-1.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-1.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-1.fc20 then log in and leave karma (feedback).
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.