From d3cd4fcf677ee58b26306c01ae70a83a4f10edce Mon Sep 17 00:00:00 2001
From: Sergei Trofimovich <slyfox@gentoo.org>
Date: Wed, 15 Feb 2017 22:14:45 +0000
Subject: [PATCH] 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
---
 dev-haskell/uhc-util/Manifest                |  1 +
 dev-haskell/uhc-util/metadata.xml            | 11 +++++++
 dev-haskell/uhc-util/uhc-util-0.1.6.7.ebuild | 33 ++++++++++++++++++++
 3 files changed, 45 insertions(+)
 create mode 100644 dev-haskell/uhc-util/Manifest
 create mode 100644 dev-haskell/uhc-util/metadata.xml
 create mode 100644 dev-haskell/uhc-util/uhc-util-0.1.6.7.ebuild

diff --git a/dev-haskell/uhc-util/Manifest b/dev-haskell/uhc-util/Manifest
new file mode 100644
index 000000000000..7ba0c36dffec
--- /dev/null
+++ b/dev-haskell/uhc-util/Manifest
@@ -0,0 +1 @@
+DIST uhc-util-0.1.6.7.tar.gz 113857 SHA256 d44b27175e9ce45a15c19c2f589772f4b66ca297a28b34b0ac462a7f6e4f4a75 SHA512 02c8ce0af2aa19f2f9870aa03822860ec6285028867c5e0d7e28fc8bc3ec57cc308d428c8a48c7aa8c78301ac68d9e0ace0721eb35d91c5ae6caf3661236efad WHIRLPOOL f3c2806f49630455ee3c95f20bb25cb662e9f3d343fb3c8bcfa164dbe66c68661daa80df84a37bd65a963d7e3b08902758a6ab306fd5b568dfcf28e536cf8a84
diff --git a/dev-haskell/uhc-util/metadata.xml b/dev-haskell/uhc-util/metadata.xml
new file mode 100644
index 000000000000..d2954eb46d38
--- /dev/null
+++ b/dev-haskell/uhc-util/metadata.xml
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+	<maintainer type="project">
+		<email>haskell@gentoo.org</email>
+		<name>Gentoo Haskell</name>
+	</maintainer>
+	<longdescription>
+		General purpose utilities for UHC and related tools
+	</longdescription>
+</pkgmetadata>
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
+"
-- 
2.26.2