dev-haskell/uhc-light: new package, a depend of sci-mathematics/agda-2.5.2

Part of UHC packaged as cabal/hackage installable library

Package-Manager: Portage-2.3.3, Repoman-2.3.1

1 files changed, 36 insertions, 0 deletions

diff --git a/dev-haskell/uhc-light/uhc-light-1.1.9.5.ebuild b/dev-haskell/uhc-light/uhc-light-1.1.9.5.ebuild
new file mode 100644
index 000000000000..42bb1f836efe
--- /dev/null
+++ b/dev-haskell/uhc-light/uhc-light-1.1.9.5.ebuild
@@ -0,0 +1,36 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=6
+
+# ebuild generated by hackport 0.5.1.9999
+
+CABAL_FEATURES="lib profile" # broken markup: haddock hoogle hscolour"
+inherit haskell-cabal
+
+DESCRIPTION="Part of UHC packaged as cabal/hackage installable library"
+HOMEPAGE="https://github.com/UU-ComputerScience/uhc"
+SRC_URI="mirror://hackage/packages/archive/${PN}/${PV}/${P}.tar.gz"
+
+LICENSE="BSD"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE=""
+
+RDEPEND="dev-haskell/fgl:=[profile?]
+	>=dev-haskell/hashable-1.2.4:=[profile?] <dev-haskell/hashable-1.3:=[profile?]
+	dev-haskell/mtl:=[profile?]
+	dev-haskell/network:=[profile?]
+	dev-haskell/old-locale:=[profile?]
+	dev-haskell/primitive:=[profile?]
+	dev-haskell/syb:=[profile?]
+	>=dev-haskell/uhc-util-0.1.6.7:=[profile?] <dev-haskell/uhc-util-0.1.7:=[profile?]
+	dev-haskell/utf8-string:=[profile?]
+	>=dev-haskell/uulib-0.9.19:=[profile?]
+	dev-haskell/vector:=[profile?]
+	>=dev-lang/ghc-7.8.2:=
+"
+DEPEND="${RDEPEND}
+	>=dev-haskell/cabal-1.18.1.3
+"