Agda-2.5.2-bp150.1.5

Update Info: Base Release
Available in Package Hub : 15

Agda

ghc-Agda

ghc-Agda-devel

Version: 2.5.2-bp150.1.3

* Sun Feb 12 2017 psimons@suse.com

- Update to version 2.5.2 revision 2 with cabal2obs.

* Thu Sep 15 2016 psimons@suse.com

- Update to version 2.5.1.1 revision 1 with cabal2obs.

* Sun Jul 10 2016 psimons@suse.com

- Update to version 2.5.1 revision 0 with cabal2obs.