diff options
Diffstat (limited to 'sci-mathematics/agda-stdlib/ChangeLog')
| -rw-r--r-- | sci-mathematics/agda-stdlib/ChangeLog | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/sci-mathematics/agda-stdlib/ChangeLog b/sci-mathematics/agda-stdlib/ChangeLog index c3e4be5dc4bf..ba2a92b7f625 100644 --- a/sci-mathematics/agda-stdlib/ChangeLog +++ b/sci-mathematics/agda-stdlib/ChangeLog @@ -1,6 +1,12 @@ # ChangeLog for sci-mathematics/agda-stdlib -# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog,v 1.5 2013/12/10 11:46:28 gienah Exp $ +# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog,v 1.6 2014/07/02 15:24:38 gienah Exp $ + +*agda-stdlib-0.8 (02 Jul 2014) + + 02 Jul 2014; Mark Wright <gienah@gentoo.org> +agda-stdlib-0.8.ebuild, + metadata.xml: + Bump agda-stdlib to 0.8 *agda-stdlib-0.7-r1 (10 Dec 2013) |