diff options
| -rw-r--r-- | dev-haskell/logict-state/Manifest | 1 | ||||
| -rw-r--r-- | dev-haskell/logict-state/logict-state-0.1.0.2.ebuild | 28 | ||||
| -rw-r--r-- | dev-haskell/logict-state/metadata.xml | 11 |
3 files changed, 40 insertions, 0 deletions
diff --git a/dev-haskell/logict-state/Manifest b/dev-haskell/logict-state/Manifest new file mode 100644 index 000000000000..6311018d9a85 --- /dev/null +++ b/dev-haskell/logict-state/Manifest @@ -0,0 +1 @@ +DIST logict-state-0.1.0.2.tar.gz 5669 SHA256 7715a898f79742282a8cf2f047fc3f4c6d3095183d6830d68aaf36abc2c751ac SHA512 b3e113c3f124ee6716a0532060e7ca9a5c4dcac2a4de565562f3aeff8884310bb84c2631c555c881e2cdf02ab73afb6323b1a5d33bc743eaece7e382c74298d6 WHIRLPOOL 90a713e563996742b7089b78515324c654c8be940ede747132c07ce0cad301f5f9a6119a247a57fe3e5486069f7d3599727a194f7703c567cc2aa31bc505bc56 diff --git a/dev-haskell/logict-state/logict-state-0.1.0.2.ebuild b/dev-haskell/logict-state/logict-state-0.1.0.2.ebuild new file mode 100644 index 000000000000..b7f0a750fc9f --- /dev/null +++ b/dev-haskell/logict-state/logict-state-0.1.0.2.ebuild @@ -0,0 +1,28 @@ +# 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.9999 + +CABAL_FEATURES="lib profile haddock hoogle hscolour" +inherit haskell-cabal + +DESCRIPTION="Library for logic programming based on haskell package logict" +HOMEPAGE="https://github.com/atzedijkstra/logict-state" +SRC_URI="mirror://hackage/packages/archive/${PN}/${PV}/${P}.tar.gz" + +LICENSE="BSD" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +IUSE="" + +RDEPEND=">=dev-haskell/logict-0.6.0.2:=[profile?] + >=dev-haskell/mtl-2.1:=[profile?] + >=dev-haskell/transformers-0.4.2:=[profile?] + >=dev-lang/ghc-7.10.1:= +" +DEPEND="${RDEPEND} + >=dev-haskell/cabal-1.22.2.0 +" diff --git a/dev-haskell/logict-state/metadata.xml b/dev-haskell/logict-state/metadata.xml new file mode 100644 index 000000000000..bdfd7d8ac7a9 --- /dev/null +++ b/dev-haskell/logict-state/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> + Logic programming built on top of part of logict library, in particular for dealing with backtrackable state + </longdescription> +</pkgmetadata> |