summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSergei Trofimovich <slyfox@gentoo.org>2017-02-15 22:14:45 +0000
committerSergei Trofimovich <slyfox@gentoo.org>2017-02-16 10:21:22 +0000
commitd3cd4fcf677ee58b26306c01ae70a83a4f10edce (patch)
tree40899063b1a77a19dabad1c2a58f77f967619bfe /dev-haskell/uhc-util/uhc-util-0.1.6.7.ebuild
parentdev-haskell/logict-state: new package, a depend of sci-mathematics/agda-2.5.2 (diff)
downloadgentoo-d3cd4fcf677ee58b26306c01ae70a83a4f10edce.tar.gz
gentoo-d3cd4fcf677ee58b26306c01ae70a83a4f10edce.tar.bz2
gentoo-d3cd4fcf677ee58b26306c01ae70a83a4f10edce.zip
dev-haskell/uhc-util: new package, a depend of sci-mathematics/agda-2.5.2
UHC utilities Package-Manager: Portage-2.3.3, Repoman-2.3.1
Diffstat (limited to 'dev-haskell/uhc-util/uhc-util-0.1.6.7.ebuild')
-rw-r--r--dev-haskell/uhc-util/uhc-util-0.1.6.7.ebuild33
1 files changed, 33 insertions, 0 deletions
diff --git a/dev-haskell/uhc-util/uhc-util-0.1.6.7.ebuild b/dev-haskell/uhc-util/uhc-util-0.1.6.7.ebuild
new file mode 100644
index 000000000000..1fa7086b0808
--- /dev/null
+++ b/dev-haskell/uhc-util/uhc-util-0.1.6.7.ebuild
@@ -0,0 +1,33 @@
+# 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 haddock hoogle hscolour"
+inherit haskell-cabal
+
+DESCRIPTION="UHC utilities"
+HOMEPAGE="https://github.com/UU-ComputerScience/uhc-util"
+SRC_URI="mirror://hackage/packages/archive/${PN}/${PV}/${P}.tar.gz"
+
+LICENSE="BSD"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE=""
+
+RDEPEND=">=dev-haskell/fclabels-2.0.3:=[profile?]
+ >=dev-haskell/fgl-5.4:=[profile?]
+ >=dev-haskell/hashable-1.2.4:=[profile?]
+ >=dev-haskell/logict-state-0.1.0.2:=[profile?]
+ >=dev-haskell/mtl-2:=[profile?]
+ >=dev-haskell/pqueue-1.3.1:=[profile?]
+ >=dev-haskell/time-compat-0.1.0.1:=[profile?]
+ >=dev-haskell/uulib-0.9.19:=[profile?]
+ >=dev-lang/ghc-7.10.2:=
+"
+DEPEND="${RDEPEND}
+ >=dev-haskell/cabal-1.22.4.0
+"