Changelog for Agda-2.5.3-lp150.5.1.x86_64.rpm :

* Wed May 09 2018 psimonsAATTsuse.com- Update to version 2.5.3 revision 5. A more detailed change log is not available.
* Sat Jan 06 2018 psimonsAATTsuse.com- Update to version 2.5.3 revision 3. A more detailed change log is not available.
* Mon Jan 01 2018 psimonsAATTsuse.com- Update to version 2.5.3 revision 2. A more detailed change log is not available.
* Wed Sep 13 2017 psimonsAATTsuse.com- Update to version 2.5.3. A more detailed change log is not available.
* Thu Aug 03 2017 psimonsAATTsuse.com- Updated with latest spec-cleaner version 0.9.8-8-geadfbbf.
* Wed Aug 02 2017 psimonsAATTsuse.com- Update to version 2.5.2 revision 3.
* Sun Feb 12 2017 psimonsAATTsuse.com- Update to version 2.5.2 revision 2 with cabal2obs.
* Thu Sep 15 2016 psimonsAATTsuse.com- Update to version 2.5.1.1 revision 1 with cabal2obs.
* Sun Jul 10 2016 psimonsAATTsuse.com- Update to version 2.5.1 revision 0 with cabal2obs.