diff options
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 50dfe3dde1d8..97cc3f403ee6 100644 --- a/sci-mathematics/agda/ChangeLog +++ b/sci-mathematics/agda/ChangeLog @@ -1,6 +1,13 @@ # ChangeLog for sci-mathematics/agda # Copyright 1999-2007 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.4 2007/07/31 21:55:39 phreak Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.5 2007/09/23 12:12:04 opfer Exp $ + +*agda-1.0.2-r1 (23 Sep 2007) + + 23 Sep 2007; Christian Faulhammer <opfer@gentoo.org> + +agda-1.0.2-r1.ebuild: + add elisp-site-regen to postrm and canonicalise it in postinst; depending on + USE=emacs 31 Jul 2007; Christian Heim <phreak@gentoo.org> metadata.xml: Reassigning to sci from math-proof. |