diff options
| author | Sergei Trofimovich <slyfox@gentoo.org> | 2017-02-15 22:14:09 +0000 |
|---|---|---|
| committer | Sergei Trofimovich <slyfox@gentoo.org> | 2017-02-16 10:21:22 +0000 |
| commit | 71ec8d4f06bb8b0287fab564d3f1f0966e7d396d (patch) | |
| tree | d4b1ef5926b773d8de619c2c3482af670f25327e /dev-haskell/logict-state | |
| parent | cf2471231def2241ad2544606b36ae7c19966af0 (diff) | |
| download | gentoo-71ec8d4f06bb8b0287fab564d3f1f0966e7d396d.tar.gz gentoo-71ec8d4f06bb8b0287fab564d3f1f0966e7d396d.tar.xz | |
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
Diffstat (limited to 'dev-haskell/logict-state')
| -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 00000000000..6311018d9a8 --- /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 00000000000..b7f0a750fc9 --- /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 00000000000..bdfd7d8ac7a --- /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> |