From 71ec8d4f06bb8b0287fab564d3f1f0966e7d396d Mon Sep 17 00:00:00 2001 From: Sergei Trofimovich Date: Wed, 15 Feb 2017 22:14:09 +0000 Subject: [PATCH] dev-haskell/logict-state: new package, a depend of sci-mathematics/agda-2.5.2 Library for logic programming based on haskell package logict Package-Manager: Portage-2.3.3, Repoman-2.3.1 --- dev-haskell/logict-state/Manifest | 1 + .../logict-state/logict-state-0.1.0.2.ebuild | 28 +++++++++++++++++++ dev-haskell/logict-state/metadata.xml | 11 ++++++++ 3 files changed, 40 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 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 @@ + + + + + haskell@gentoo.org + Gentoo Haskell + + + Logic programming built on top of part of logict library, in particular for dealing with backtrackable state + + -- 2.26.2