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

diff --git a/dev-haskell/logict-state/Manifest b/dev-haskell/logict-state/Manifest
new file mode 100644 (file)
index 0000000..6311018
--- /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 (file)
index 0000000..b7f0a75
--- /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 (file)
index 0000000..bdfd7d8
--- /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>