Package Release Info

Agda-2.5.2-bp150.1.3

Update Info: Base Release
Available in Package Hub : 15

platforms

AArch64
ppc64le
s390x
x86-64

subpackages

Agda
ghc-Agda
ghc-Agda-devel

Change Logs

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