diff options
| author |   Alexandre Buisse <nattfodd@gentoo.org> | 2007-03-18 19:00:12 +0000 |
|---|---|---|
| committer | Alexandre Buisse <nattfodd@gentoo.org> | 2007-03-18 19:00:12 +0000 |
| commit | 225e1b2035d5cc1ed6269d21a90a2d7418b7a854 (patch) | |
| tree | ad142ea61e0818278935ad7665366b3d31b598af /sci-mathematics/agda/ChangeLog | |
| parent | Remove unused packages-subshell.patch. (diff) | |
| download | gentoo-2-225e1b2035d5cc1ed6269d21a90a2d7418b7a854.tar.gz gentoo-2-225e1b2035d5cc1ed6269d21a90a2d7418b7a854.tar.bz2 gentoo-2-225e1b2035d5cc1ed6269d21a90a2d7418b7a854.zip | |
Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is stable enough.
(Portage version: 2.1.2.1)
Diffstat (limited to 'sci-mathematics/agda/ChangeLog')
| -rw-r--r-- | sci-mathematics/agda/ChangeLog | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/sci-mathematics/agda/ChangeLog b/sci-mathematics/agda/ChangeLog index bc8fc3f0868a..04dd26894a8f 100644 --- a/sci-mathematics/agda/ChangeLog +++ b/sci-mathematics/agda/ChangeLog @@ -1,6 +1,13 @@ # ChangeLog for sci-mathematics/agda -# Copyright 1999-2006 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.1 2006/07/12 13:21:35 nattfodd Exp $ +# Copyright 1999-2007 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.2 2007/03/18 19:00:12 nattfodd Exp $ + +*agda-1.0.2 (18 Mar 2007) + + 18 Mar 2007; Alexandre Buisse <nattfodd@gentoo.org> +agda-1.0.2.ebuild, + -agda-20050601.ebuild: + Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is + stable enough. *agda-20050601 (12 Jul 2006) |