diff options
| author |   Mark Wright <gienah@gentoo.org> | 2014-07-02 15:24:38 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2014-07-02 15:24:38 +0000 |
| commit | 1e07d793038e90a641bba3d62421c41b1f269105 (patch) | |
| tree | f41bdcd95516d22c7b3a1fb6ef0d10f0d53cfb41 /sci-mathematics/agda-stdlib/ChangeLog | |
| parent | Thanks to vikraman for writing the agda-lib-ffi ebuild (diff) | |
| download | gentoo-2-1e07d793038e90a641bba3d62421c41b1f269105.tar.gz gentoo-2-1e07d793038e90a641bba3d62421c41b1f269105.tar.bz2 gentoo-2-1e07d793038e90a641bba3d62421c41b1f269105.zip | |
Bump agda-stdlib to 0.8
(Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
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) |