dev-haskell/uhc-util: new package, a depend of sci-mathematics/agda-2.5.2
authorSergei Trofimovich <slyfox@gentoo.org>
Wed, 15 Feb 2017 22:14:45 +0000 (22:14 +0000)
committerSergei Trofimovich <slyfox@gentoo.org>
Thu, 16 Feb 2017 10:21:22 +0000 (10:21 +0000)
UHC utilities

Package-Manager: Portage-2.3.3, Repoman-2.3.1

dev-haskell/uhc-util/Manifest [new file with mode: 0644]
dev-haskell/uhc-util/metadata.xml [new file with mode: 0644]
dev-haskell/uhc-util/uhc-util-0.1.6.7.ebuild [new file with mode: 0644]

diff --git a/dev-haskell/uhc-util/Manifest b/dev-haskell/uhc-util/Manifest
new file mode 100644 (file)
index 0000000..7ba0c36
--- /dev/null
@@ -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 (file)
index 0000000..d2954eb
--- /dev/null
@@ -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 (file)
index 0000000..1fa7086
--- /dev/null
@@ -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
+"