diff options
| author |   Mark Wright <gienah@gentoo.org> | 2013-09-13 06:58:24 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2013-09-13 06:58:24 +0000 |
| commit | 75bc7628e3cfc9e2d0f6683745289ce85661764b (patch) | |
| tree | 73b4d775d6164b81e9e843cd7a9ab53837e55a8c /sci-mathematics/agda/ChangeLog | |
| parent | Bump agda-stdlib to 0.7 (diff) | |
| download | gentoo-2-75bc7628e3cfc9e2d0f6683745289ce85661764b.tar.gz gentoo-2-75bc7628e3cfc9e2d0f6683745289ce85661764b.tar.bz2 gentoo-2-75bc7628e3cfc9e2d0f6683745289ce85661764b.zip | |
Patch agda 2.3.2.1 for haskell-src-exts 1.14
(Portage version: 2.2.3/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'sci-mathematics/agda/ChangeLog')
| -rw-r--r-- | sci-mathematics/agda/ChangeLog | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/sci-mathematics/agda/ChangeLog b/sci-mathematics/agda/ChangeLog index 2eb038eef26d..3692082b1149 100644 --- a/sci-mathematics/agda/ChangeLog +++ b/sci-mathematics/agda/ChangeLog @@ -1,6 +1,12 @@ # ChangeLog for sci-mathematics/agda # Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.22 2013/06/19 06:41:49 slyfox Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.23 2013/09/13 06:58:23 gienah Exp $ + +*agda-2.3.2.1-r1 (13 Sep 2013) + + 13 Sep 2013; Mark Wright <gienah@gentoo.org> +agda-2.3.2.1-r1.ebuild, + +files/agda-2.3.2.1-haskell-src-exts-1.14.patch: + Patch agda 2.3.2.1 for haskell-src-exts 1.14 19 Jun 2013; Sergei Trofimovich <slyfox@gentoo.org> -agda-2.3.0.ebuild: Drop old. |