https://bugzilla.redhat.com/show_bug.cgi?id=1025141
Bug ID: 1025141 Summary: Agda-2.3.2.2 is available Product: Fedora Version: rawhide Component: Agda Keywords: FutureFeature, Triaged Assignee: petersen@redhat.com Reporter: upstream-release-monitoring@fedoraproject.org QA Contact: extras-qa@fedoraproject.org CC: haskell-devel@lists.fedoraproject.org, petersen@redhat.com
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