From 7e929d21ac23e96849937f68877b7c80ec54ff60 Mon Sep 17 00:00:00 2001 From: Sergei Trofimovich Date: Wed, 15 Feb 2017 22:15:13 +0000 Subject: dev-haskell/shuffle: new package, a depend of sci-mathematics/agda-2.5.2 Shuffle tool for UHC Package-Manager: Portage-2.3.3, Repoman-2.3.1 --- dev-haskell/shuffle/shuffle-0.1.3.3.ebuild | 38 ++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) create mode 100644 dev-haskell/shuffle/shuffle-0.1.3.3.ebuild (limited to 'dev-haskell/shuffle/shuffle-0.1.3.3.ebuild') diff --git a/dev-haskell/shuffle/shuffle-0.1.3.3.ebuild b/dev-haskell/shuffle/shuffle-0.1.3.3.ebuild new file mode 100644 index 000000000000..0003a4f0f6db --- /dev/null +++ b/dev-haskell/shuffle/shuffle-0.1.3.3.ebuild @@ -0,0 +1,38 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Id$ + +EAPI=5 + +# ebuild generated by hackport 0.4.5.9999 + +CABAL_FEATURES="bin lib profile haddock hoogle hscolour" +inherit haskell-cabal + +DESCRIPTION="Shuffle tool for UHC" +HOMEPAGE="https://github.com/UU-ComputerScience/shuffle" +SRC_URI="mirror://hackage/packages/archive/${PN}/${PV}/${P}.tar.gz" + +LICENSE="BSD" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +IUSE="+network-uri" + +RDEPEND=">=dev-haskell/cabal-1.14:=[profile?] + >=dev-haskell/uhc-util-0.1.5.5:=[profile?] + >=dev-haskell/uuagc-0.9.40.3:=[profile?] + >=dev-haskell/uuagc-cabal-1.0.3.0:=[profile?] + >=dev-haskell/uulib-0.9:=[profile?] + >=dev-lang/ghc-7.4.1:= + network-uri? ( >=dev-haskell/network-2.6:=[profile?] + >=dev-haskell/network-uri-2.6:=[profile?] ) + !network-uri? ( >=dev-haskell/network-2.3:=[profile?]