diff options
Diffstat (limited to 'sci-mathematics/agda-executable/ChangeLog')
| -rw-r--r-- | sci-mathematics/agda-executable/ChangeLog | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/sci-mathematics/agda-executable/ChangeLog b/sci-mathematics/agda-executable/ChangeLog index 6e7b8ffc0bf9..2580b329236d 100644 --- a/sci-mathematics/agda-executable/ChangeLog +++ b/sci-mathematics/agda-executable/ChangeLog @@ -1,6 +1,12 @@ # ChangeLog for sci-mathematics/agda-executable # Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-executable/ChangeLog,v 1.4 2013/06/20 02:06:52 patrick Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-executable/ChangeLog,v 1.5 2013/09/13 06:56:08 gienah Exp $ + +*agda-executable-2.3.0.1-r2 (13 Sep 2013) + + 13 Sep 2013; Mark Wright <gienah@gentoo.org> + +agda-executable-2.3.0.1-r2.ebuild: + agda-executable must be rebuilt when agda is upgraded 20 Jun 2013; Patrick Lauer <patrick@gentoo.org> -agda-executable-2.3.0.ebuild: Remove version with already removed dependencies |