diff options
Diffstat (limited to 'sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2.ebuild')
-rw-r--r-- | sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2.ebuild | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2.ebuild b/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2.ebuild deleted file mode 100644 index a547e511ba11..000000000000 --- a/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2.ebuild +++ /dev/null @@ -1,33 +0,0 @@ -# Copyright 1999-2020 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=5 - -# ebuild generated by hackport 0.3.5 - -CABAL_FEATURES="lib" -inherit haskell-cabal - -AGDA_P="lib-0.7" - -DESCRIPTION="Auxiliary Haskell code used by Agda's standard library" -HOMEPAGE="https://wiki.portal.chalmers.se/agda/" -SRC_URI="https://www.cse.chalmers.se/~nad/software/${AGDA_P}.tar.gz" - -LICENSE="MIT" -SLOT="0/${PV}" -KEYWORDS="~amd64 ~x86" -IUSE="" - -RDEPEND=">=dev-lang/ghc-6.10.4:= -" -DEPEND="${RDEPEND} - >=dev-haskell/cabal-1.8 -" - -S="${WORKDIR}/${AGDA_P}/ffi" - -src_prepare() { - cabal_chdeps \ - 'base >= 3.0.3.1 && < 4.7' 'base >= 3.0.3.1' -} |