[Bug 1489990] New: Agda-2.5.3 is available

https://bugzilla.redhat.com/show_bug.cgi?id=1489990

Bug ID: 1489990
           Summary: Agda-2.5.3 is available
           Product: Fedora
           Version: rawhide
         Component: Agda
          Keywords: FutureFeature, Triaged
          Assignee: [e-mail]
          Reporter: [e-mail]
        QA Contact: [e-mail]
                CC: [e-mail],
                    [e-mail]

Latest upstream release: 2.5.3
Current version/release in rawhide: 2.5.2-7.fc27.1
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

Please keep in mind that with any upstream change, there may also be packaging
changes that need to be made. Specifically, please remember that it is your
responsibility to review the new version to ensure that the licensing is still
correct and that no non-free or legally problematic items have been added
upstream.

Based on the information from anitya: 
https://release-monitoring.org/project/29/