File Agda.changes of Package Agda

-------------------------------------------------------------------
Sun Feb 12 14:19:45 UTC 2017 - psimons@suse.com

- Update to version 2.5.2 revision 2 with cabal2obs.

-------------------------------------------------------------------
Thu Sep 15 06:48:49 UTC 2016 - psimons@suse.com

- Update to version 2.5.1.1 revision 1 with cabal2obs.

-------------------------------------------------------------------
Sun Jul 10 17:15:46 UTC 2016 - psimons@suse.com

- Update to version 2.5.1 revision 0 with cabal2obs.