From 8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sat, 14 Jul 2018 21:03:06 +0100 Subject: gentoo resync : 14.07.2018 --- dev-haskell/logict-state/Manifest | 3 +++ .../logict-state/logict-state-0.1.0.2.ebuild | 27 ++++++++++++++++++++++ dev-haskell/logict-state/metadata.xml | 14 +++++++++++ 3 files changed, 44 insertions(+) create mode 100644 dev-haskell/logict-state/Manifest create mode 100644 dev-haskell/logict-state/logict-state-0.1.0.2.ebuild create mode 100644 dev-haskell/logict-state/metadata.xml (limited to 'dev-haskell/logict-state') diff --git a/dev-haskell/logict-state/Manifest b/dev-haskell/logict-state/Manifest new file mode 100644 index 000000000000..58321c0714ff --- /dev/null +++ b/dev-haskell/logict-state/Manifest @@ -0,0 +1,3 @@ +DIST logict-state-0.1.0.2.tar.gz 5669 BLAKE2B 4596ac415c48c14f7d1c74f6f8613756582405467779a1a185111861f3374842c02a56b6665311b6b6c0c7ce12d908682572dcaaf37a5c61e8f937d01996b5bc SHA512 b3e113c3f124ee6716a0532060e7ca9a5c4dcac2a4de565562f3aeff8884310bb84c2631c555c881e2cdf02ab73afb6323b1a5d33bc743eaece7e382c74298d6 +EBUILD logict-state-0.1.0.2.ebuild 704 BLAKE2B 98c3c611d3a7c64ed89b015dcd46cab49780c4029d723401012d9b980ff5d100d72ce9bc64ad1761723a767884736501ac0d9a32345e642c13eef0143e971981 SHA512 6405d5955ade0312ffbbdcb08f264fb7d0437b5b059e1f79d51f07702e17973c80fc87f3a13ce1acc2762ceef2d309a34c8c078c85b0928d50df469c15d808cd +MISC metadata.xml 489 BLAKE2B 7155624f2570bd9e09434734cf702db4785da809af5f1a37d71c831109aeb4eb1d60db8fb9e12043fc7b564deb6255e076a47126d9bf5c82c1a73c14ffc71349 SHA512 a240b1ef1ef72e87f57d27217359e2f5e6494cc0884b25b605b66ba9ab06182be8e8f815e73fa49a44961b958e8d00e0d4daf3cf58f20e7210ea531f6ab848fa 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 @@ + + + + + haskell@gentoo.org + Gentoo Haskell + + + Logic programming built on top of part of logict library, in particular for dealing with backtrackable state + + + atzedijkstra/logict-state + + -- cgit v1.2.3