diff options
| author |   Patrick Lauer <patrick@gentoo.org> | 2013-06-20 02:06:52 +0000 |
|---|---|---|
| committer | Patrick Lauer <patrick@gentoo.org> | 2013-06-20 02:06:52 +0000 |
| commit | 6c3b55d6715c39f87bf4609ac35c4cbd3fadc4f3 (patch) | |
| tree | a230f9ba63861f460bee7c7587cefc3513500130 /sci-mathematics/agda-executable | |
| parent | 2.2.0_alpha182 version bump. This includes all of the fixes in 2.1.12.7. (diff) | |
| download | gentoo-2-6c3b55d6715c39f87bf4609ac35c4cbd3fadc4f3.tar.gz gentoo-2-6c3b55d6715c39f87bf4609ac35c4cbd3fadc4f3.tar.bz2 gentoo-2-6c3b55d6715c39f87bf4609ac35c4cbd3fadc4f3.zip | |
Remove version with already removed dependencies
(Portage version: 2.2.0_alpha181/cvs/Linux x86_64, unsigned Manifest commit)
Diffstat (limited to 'sci-mathematics/agda-executable')
| -rw-r--r-- | sci-mathematics/agda-executable/ChangeLog | 7 | ||||
| -rw-r--r-- | sci-mathematics/agda-executable/agda-executable-2.3.0.ebuild | 32 |
2 files changed, 5 insertions, 34 deletions
diff --git a/sci-mathematics/agda-executable/ChangeLog b/sci-mathematics/agda-executable/ChangeLog index ef42012841f3..6e7b8ffc0bf9 100644 --- a/sci-mathematics/agda-executable/ChangeLog +++ b/sci-mathematics/agda-executable/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for sci-mathematics/agda-executable -# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-executable/ChangeLog,v 1.3 2012/11/18 07:49:38 gienah Exp $ +# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-executable/ChangeLog,v 1.4 2013/06/20 02:06:52 patrick Exp $ + + 20 Jun 2013; Patrick Lauer <patrick@gentoo.org> -agda-executable-2.3.0.ebuild: + Remove version with already removed dependencies *agda-executable-2.3.0.1-r1 (18 Nov 2012) diff --git a/sci-mathematics/agda-executable/agda-executable-2.3.0.ebuild b/sci-mathematics/agda-executable/agda-executable-2.3.0.ebuild deleted file mode 100644 index 9dd8b5b86e10..000000000000 --- a/sci-mathematics/agda-executable/agda-executable-2.3.0.ebuild +++ /dev/null @@ -1,32 +0,0 @@ -# Copyright 1999-2012 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-executable/agda-executable-2.3.0.ebuild,v 1.2 2012/09/12 16:10:46 qnikst Exp $ - -EAPI="3" - -CABAL_FEATURES="bin" -inherit haskell-cabal eutils - -MY_PN="Agda-executable" -MY_P="${MY_PN}-${PV}" - -DESCRIPTION="Command-line program for type-checking and compiling Agda programs" -HOMEPAGE="http://wiki.portal.chalmers.se/agda/" -SRC_URI="mirror://hackage/packages/archive/${MY_PN}/${PV}/${MY_P}.tar.gz" - -LICENSE="MIT" -SLOT="0" -KEYWORDS="~amd64 ~x86" -IUSE="" - -RDEPEND="" -DEPEND="${RDEPEND} - ~sci-mathematics/agda-2.3.0 - >=dev-haskell/cabal-1.8 - >=dev-lang/ghc-6.8.2" - -S="${WORKDIR}/${MY_P}" - -src_prepare() { - cabal-mksetup -} |