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 | 98a7361c60866a84f52cfd623e5a6db62d95b973 (patch) | |
| tree | 7428232c052bbf9426710b23d27e90698ef94e7d /sci-mathematics/agda/ChangeLog | |
| parent | Remove unused packages-subshell.patch. (diff) | |
| download | historical-98a7361c60866a84f52cfd623e5a6db62d95b973.tar.gz historical-98a7361c60866a84f52cfd623e5a6db62d95b973.tar.bz2 historical-98a7361c60866a84f52cfd623e5a6db62d95b973.zip | |
Bump to 1.0.2 and updated metainformations. Agda2 will be added when it is stable enough.
Package-Manager: portage-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) |