Changelog for ghc-Agda-devel-2.5.2-1.1.x86_64.rpm :

* 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.