Changelog for ghc-Agda-devel-2.5.3-5.1.x86_64.rpm :
Wed May 9 14:00:00 2018 psimonsAATTsuse.com
- Update to version 2.5.3 revision 5.
A more detailed change log is not available.

Sat Jan 6 13:00:00 2018 psimonsAATTsuse.com
- Update to version 2.5.3 revision 3.
A more detailed change log is not available.

Mon Jan 1 13:00:00 2018 psimonsAATTsuse.com
- Update to version 2.5.3 revision 2.
A more detailed change log is not available.

Wed Sep 13 14:00:00 2017 psimonsAATTsuse.com
- Update to version 2.5.3.
A more detailed change log is not available.

Thu Aug 3 14:00:00 2017 psimonsAATTsuse.com
- Updated with latest spec-cleaner version 0.9.8-8-geadfbbf.

Wed Aug 2 14:00:00 2017 psimonsAATTsuse.com
- Update to version 2.5.2 revision 3.

Sun Feb 12 13:00:00 2017 psimonsAATTsuse.com
- Update to version 2.5.2 revision 2 with cabal2obs.

Thu Sep 15 14:00:00 2016 psimonsAATTsuse.com
- Update to version 2.5.1.1 revision 1 with cabal2obs.

Sun Jul 10 14:00:00 2016 psimonsAATTsuse.com
- Update to version 2.5.1 revision 0 with cabal2obs.