diff options
Diffstat (limited to 'dev-haskell/logict-state')
| -rw-r--r-- | dev-haskell/logict-state/Manifest | 3 | ||||
| -rw-r--r-- | dev-haskell/logict-state/logict-state-0.1.0.2.ebuild | 27 | ||||
| -rw-r--r-- | dev-haskell/logict-state/metadata.xml | 14 |
3 files changed, 44 insertions, 0 deletions
diff --git a/dev-haskell/logict-state/Manifest b/dev-haskell/logict-state/Manifest new file mode 100644 index 000000000000..4d98a98e17da --- /dev/null +++ b/dev-haskell/logict-state/Manifest @@ -0,0 +1,3 @@ +DIST logict-state-0.1.0.2.tar.gz 5669 SHA256 7715a898f79742282a8cf2f047fc3f4c6d3095183d6830d68aaf36abc2c751ac SHA512 b3e113c3f124ee6716a0532060e7ca9a5c4dcac2a4de565562f3aeff8884310bb84c2631c555c881e2cdf02ab73afb6323b1a5d33bc743eaece7e382c74298d6 WHIRLPOOL 90a713e563996742b7089b78515324c654c8be940ede747132c07ce0cad301f5f9a6119a247a57fe3e5486069f7d3599727a194f7703c567cc2aa31bc505bc56 +EBUILD logict-state-0.1.0.2.ebuild 704 SHA256 e8ed39711cfb743b1a7f7df245e30c874dc3c505fe19786f151dc2994ef344bc SHA512 6405d5955ade0312ffbbdcb08f264fb7d0437b5b059e1f79d51f07702e17973c80fc87f3a13ce1acc2762ceef2d309a34c8c078c85b0928d50df469c15d808cd WHIRLPOOL f7ba397cd10de778a10b0c39f0736de6b8754217b7b95cbcdc19df03f7a95c7c83d6ed0b2d0e6383860f26e900ab7f136bf21956e7f65b4060043d4319e37acf +MISC metadata.xml 489 SHA256 8a882bdb73ab855ac2b2f69db23f1af40e6acdae555cf40f3aa59cf2446a812a SHA512 a240b1ef1ef72e87f57d27217359e2f5e6494cc0884b25b605b66ba9ab06182be8e8f815e73fa49a44961b958e8d00e0d4daf3cf58f20e7210ea531f6ab848fa WHIRLPOOL 49137b5c0869f559fae1a21b64f8b8e9490d117783821bb1609165b9945e9e460151706e7ca847d47e80cbdcfc62eabe7a906cc5c114aca97bd9dff293a31bf1 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..f1b749dd8ed1 --- /dev/null +++ b/dev-haskell/logict-state/logict-state-0.1.0.2.ebuild @@ -0,0 +1,27 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +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..8419c5504031 --- /dev/null +++ b/dev-haskell/logict-state/metadata.xml @@ -0,0 +1,14 @@ +<?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> + <upstream> + <remote-id type="github">atzedijkstra/logict-state</remote-id> + </upstream> +</pkgmetadata> |