[Bug 1489990] Agda-2.5.3 is available

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

Jens Petersen  changed:

What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |CLOSED
         Resolution|---                         |RAWHIDE
        Last Closed|                            |2018-02-06 01:20:24

--- Comment #3 from Jens Petersen  ---
Agda-2.5.3-11.fc28