diff options
| author |   Duncan Coutts <dcoutts@gentoo.org> | 2007-10-31 13:28:20 +0000 |
|---|---|---|
| committer | Duncan Coutts <dcoutts@gentoo.org> | 2007-10-31 13:28:20 +0000 |
| commit | 740318c26b68959e74cdbc6c461f1f00e23b3fd8 (patch) | |
| tree | 83de63d8a1c0428a7d017915d8c02328cd99b0cf /sci-mathematics | |
| parent | Drop virtual/ghc in favour of dev-lang/ghc (diff) | |
| download | gentoo-2-740318c26b68959e74cdbc6c461f1f00e23b3fd8.tar.gz gentoo-2-740318c26b68959e74cdbc6c461f1f00e23b3fd8.tar.bz2 gentoo-2-740318c26b68959e74cdbc6c461f1f00e23b3fd8.zip | |
Drop virtual/ghc in favour of dev-lang/ghc
(Portage version: 2.1.3.16)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/agda/ChangeLog | 6 | ||||
| -rw-r--r-- | sci-mathematics/agda/agda-1.0.2-r1.ebuild | 4 | ||||
| -rw-r--r-- | sci-mathematics/agda/agda-1.0.2.ebuild | 4 |
3 files changed, 9 insertions, 5 deletions
diff --git a/sci-mathematics/agda/ChangeLog b/sci-mathematics/agda/ChangeLog index 97cc3f403ee6..2e50555d3b51 100644 --- a/sci-mathematics/agda/ChangeLog +++ b/sci-mathematics/agda/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for sci-mathematics/agda # Copyright 1999-2007 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.5 2007/09/23 12:12:04 opfer Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/ChangeLog,v 1.6 2007/10/31 13:28:20 dcoutts Exp $ + + 31 Oct 2007; Duncan Coutts <dcoutts@gentoo.org> agda-1.0.2.ebuild, + agda-1.0.2-r1.ebuild: + Drop virtual/ghc in favour of dev-lang/ghc *agda-1.0.2-r1 (23 Sep 2007) diff --git a/sci-mathematics/agda/agda-1.0.2-r1.ebuild b/sci-mathematics/agda/agda-1.0.2-r1.ebuild index 9f517c272c17..74043aae9bd4 100644 --- a/sci-mathematics/agda/agda-1.0.2-r1.ebuild +++ b/sci-mathematics/agda/agda-1.0.2-r1.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2007 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-1.0.2-r1.ebuild,v 1.1 2007/09/23 12:12:04 opfer Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-1.0.2-r1.ebuild,v 1.2 2007/10/31 13:28:20 dcoutts Exp $ inherit autotools elisp-common @@ -16,7 +16,7 @@ SLOT="0" KEYWORDS="~x86" IUSE="doc emacs" -DEPEND="virtual/ghc +DEPEND="dev-lang/ghc emacs? ( virtual/emacs ) doc? ( dev-haskell/haddock )" RDEPEND="" diff --git a/sci-mathematics/agda/agda-1.0.2.ebuild b/sci-mathematics/agda/agda-1.0.2.ebuild index 8376c6dc5041..f031c3aa13c5 100644 --- a/sci-mathematics/agda/agda-1.0.2.ebuild +++ b/sci-mathematics/agda/agda-1.0.2.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2007 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-1.0.2.ebuild,v 1.2 2007/07/13 05:28:09 mr_bones_ Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda/agda-1.0.2.ebuild,v 1.3 2007/10/31 13:28:20 dcoutts Exp $ inherit autotools elisp-common @@ -16,7 +16,7 @@ SLOT="0" KEYWORDS="~x86" IUSE="doc emacs" -DEPEND="virtual/ghc +DEPEND="dev-lang/ghc emacs? ( virtual/emacs ) doc? ( dev-haskell/haddock )" RDEPEND="" |