Changelog for Agda-2.5.1.1-8.20.x86_64.rpm :
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.