diff options
| author |   Sergei Trofimovich <slyfox@gentoo.org> | 2017-02-15 22:14:45 +0000 |
|---|---|---|
| committer | Sergei Trofimovich <slyfox@gentoo.org> | 2017-02-16 10:21:22 +0000 |
| commit | d3cd4fcf677ee58b26306c01ae70a83a4f10edce (patch) | |
| tree | 40899063b1a77a19dabad1c2a58f77f967619bfe | |
| parent | dev-haskell/logict-state: new package, a depend of sci-mathematics/agda-2.5.2 (diff) | |
| download | gentoo-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
| -rw-r--r-- | dev-haskell/uhc-util/Manifest | 1 | ||||
| -rw-r--r-- | dev-haskell/uhc-util/metadata.xml | 11 | ||||
| -rw-r--r-- | dev-haskell/uhc-util/uhc-util-0.1.6.7.ebuild | 33 |
3 files changed, 45 insertions, 0 deletions
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 +" |