diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-03-25 13:55:20 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-03-25 13:55:20 +0000 |
| commit | 5b93f84fa718b2ee9122e4bcdc0f11266f7c5a9d (patch) | |
| tree | 25d94c1f47e888ffabcabd6143ece0ab311caac8 /sci-mathematics/agda/ChangeLog | |
| parent | Marking maradns-1.4.12 ppc for bug 408883 (diff) | |
| download | gentoo-2-5b93f84fa718b2ee9122e4bcdc0f11266f7c5a9d.tar.gz gentoo-2-5b93f84fa718b2ee9122e4bcdc0f11266f7c5a9d.tar.bz2 gentoo-2-5b93f84fa718b2ee9122e4bcdc0f11266f7c5a9d.zip | |
Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, EAPI=4, [profile?] for haskell lib depends.
(Portage version: 2.1.10.51/cvs/Linux x86_64)
Diffstat (limited to 'sci-mathematics/agda/ChangeLog')
| -rw-r--r-- | sci-mathematics/agda/ChangeLog | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/sci-mathematics/agda/ChangeLog b/sci-mathematics/agda/ChangeLog index 0cbe0345ff99..c5e173b0f6b0 100644 --- a/sci-mathematics/agda/ChangeLog +++ b/sci-mathematics/agda/ChangeLog @@ -1,6 +1,13 @@ # ChangeLog for sci-mathematics/agda # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.11 2012/01/23 13:52:38 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.12 2012/03/25 13:55:19 gienah Exp $ + +*agda-2.3.0.1 (25 Mar 2012) + + 25 Mar 2012; Mark Wright <gienah@gentoo.org> +agda-2.3.0.1.ebuild, + +files/agda-2.3.0.1-emacs.patch, agda-2.3.0.ebuild, metadata.xml: + Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, + EAPI=4, [profile?] for haskell lib depends. *agda-2.3.0 (23 Jan 2012) |