diff options
| author |   Mark Wright <gienah@gentoo.org> | 2015-01-29 04:15:47 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2015-01-29 04:15:47 +0000 |
| commit | c74a484f082714af0b870521bbf031d95eb2b4e4 (patch) | |
| tree | 74f428624c25fe8bcff99f95b6b57ea5bb448c5d /sci-mathematics/agda/ChangeLog | |
| parent | Drop old with now unsatisfied dep on dev-haskell/hashtables (diff) | |
| download | historical-c74a484f082714af0b870521bbf031d95eb2b4e4.tar.gz historical-c74a484f082714af0b870521bbf031d95eb2b4e4.tar.bz2 historical-c74a484f082714af0b870521bbf031d95eb2b4e4.zip | |
Drop old patches
Package-Manager: portage-2.2.15/cvs/Linux x86_64
Manifest-Sign-Key: 0x618E971F
Diffstat (limited to 'sci-mathematics/agda/ChangeLog')
| -rw-r--r-- | sci-mathematics/agda/ChangeLog | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/sci-mathematics/agda/ChangeLog b/sci-mathematics/agda/ChangeLog index 72f1f1ef1334..f43f80508717 100644 --- a/sci-mathematics/agda/ChangeLog +++ b/sci-mathematics/agda/ChangeLog @@ -1,6 +1,12 @@ # ChangeLog for sci-mathematics/agda # Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.29 2015/01/29 03:38:57 patrick Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.30 2015/01/29 04:15:39 gienah Exp $ + + 29 Jan 2015; Mark Wright <gienah@gentoo.org> -files/agda-2.3.0-emacs.patch, + -files/agda-2.3.0.1-emacs.patch, + -files/agda-2.3.0.1-haskell-src-exts-1.13.patch, + -files/agda-2.3.0.1-mtl-2.1.patch, -files/agda-2.3.0.1-quickcheck-2.5.patch: + Drop old patches 29 Jan 2015; Patrick Lauer <patrick@gentoo.org> -agda-2.3.0.1-r1.ebuild, -agda-2.3.0.1.ebuild, -agda-2.3.2-r2.ebuild, -agda-2.3.2.ebuild: |