diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-11-18 07:01:39 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-11-18 07:01:39 +0000 |
| commit | d94ae35c4e3ad9764a94291f5e3ec9390338dfb6 (patch) | |
| tree | 04aa6c5ea0b6ded667b45896c3953bd632dc58f5 /sci-mathematics/agda/ChangeLog | |
| parent | haskeline 0.6.4.7 requires extensible-exceptions (diff) | |
| download | gentoo-2-d94ae35c4e3ad9764a94291f5e3ec9390338dfb6.tar.gz gentoo-2-d94ae35c4e3ad9764a94291f5e3ec9390338dfb6.tar.bz2 gentoo-2-d94ae35c4e3ad9764a94291f5e3ec9390338dfb6.zip | |
Thanks to Naohiro Aota for adding patch for agda 2.3.0.1 to build with quickcheck 2.5
(Portage version: 2.1.11.31/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
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 08670771cef6..8c06a05c9fd4 100644 --- a/sci-mathematics/agda/ChangeLog +++ b/sci-mathematics/agda/ChangeLog @@ -1,6 +1,13 @@ # ChangeLog for sci-mathematics/agda # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.17 2012/09/12 16:10:28 qnikst Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.18 2012/11/18 07:01:39 gienah Exp $ + +*agda-2.3.0.1-r1 (18 Nov 2012) + + 18 Nov 2012; Mark Wright <gienah@gentoo.org> +agda-2.3.0.1-r1.ebuild, + +files/agda-2.3.0.1-quickcheck-2.5.patch: + Thanks to Naohiro Aota for adding patch for agda 2.3.0.1 to build with + quickcheck 2.5 12 Sep 2012; Alexander Vershilov <qnikst@gentoo.org> agda-2.3.0.1.ebuild, agda-2.3.0.ebuild: |