diff options
| author |   hololeap <hololeap@protonmail.com> | 2023-10-02 23:08:32 -0600 |
|---|---|---|
| committer |   Sam James <sam@gentoo.org> | 2023-10-23 04:09:51 +0100 |
| commit | 38b9f79e14fa5f0536af7b65748ab2a22b101500 (patch) | |
| tree | 4f2c2241865ec2979e9847149bb4f3aa539b0119 /dev-haskell/logict | |
| parent | dev-haskell/lifted-async: add 0.10.2.3 (diff) | |
| download | gentoo-38b9f79e14fa5f0536af7b65748ab2a22b101500.tar.gz gentoo-38b9f79e14fa5f0536af7b65748ab2a22b101500.tar.bz2 gentoo-38b9f79e14fa5f0536af7b65748ab2a22b101500.zip | |
dev-haskell/logict: add 0.8.1.0
Signed-off-by: hololeap <hololeap@protonmail.com>
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-haskell/logict')
| -rw-r--r-- | dev-haskell/logict/Manifest | 1 | ||||
| -rw-r--r-- | dev-haskell/logict/logict-0.8.1.0.ebuild | 25 | ||||
| -rw-r--r-- | dev-haskell/logict/metadata.xml | 8 |
3 files changed, 27 insertions, 7 deletions
diff --git a/dev-haskell/logict/Manifest b/dev-haskell/logict/Manifest index c59eda725001..100ee4bab151 100644 --- a/dev-haskell/logict/Manifest +++ b/dev-haskell/logict/Manifest @@ -1 +1,2 @@ DIST logict-0.7.0.3.tar.gz 5924 BLAKE2B 1d5fe5a78ff0448e70b68c063f3e1a4d632208e4b5bc35c51c17d12bf0ae5175db31b5c8854776ae41d7ca1fe450f8767a9f5db113c85e60ffc26bb949f1406e SHA512 0d845daffb841efea93b59e48ee86daeb0dbacbe4fc7fa417ff71d1dcda3a5551901f589097416441736007d256197932b83de76a2f630a5f7835909cd758e79 +DIST logict-0.8.1.0.tar.gz 18721 BLAKE2B 733be00e92c6ff47b302c444228335bfbbdbbace75c0076ed29b4f2c65730eafcebdecb5bfa6a20ceceaf4df2d1a0e807c9052b48d614a71c00bff08b1a7f319 SHA512 9202d53252b38f9cab39ca95f74a56e3f858cc05ff6ab27f827fcad9a484416ff743195f528636d18a11dccb1e8566314287e8265c98d856fe374f8748de2739 diff --git a/dev-haskell/logict/logict-0.8.1.0.ebuild b/dev-haskell/logict/logict-0.8.1.0.ebuild new file mode 100644 index 000000000000..b1a55d511be6 --- /dev/null +++ b/dev-haskell/logict/logict-0.8.1.0.ebuild @@ -0,0 +1,25 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +# ebuild generated by hackport 0.8.2.0.9999 + +CABAL_FEATURES="lib profile haddock hoogle hscolour test-suite" +inherit haskell-cabal + +DESCRIPTION="A backtracking logic-programming monad" +HOMEPAGE="https://github.com/Bodigrim/logict#readme" + +LICENSE="BSD" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm64 ~ppc64 ~riscv ~x86" + +RDEPEND=">=dev-lang/ghc-8.8.1:= +" +DEPEND="${RDEPEND} + >=dev-haskell/cabal-3.0.0.0 + test? ( >=dev-haskell/async-2.0 <dev-haskell/async-2.3 + <dev-haskell/tasty-1.5 + <dev-haskell/tasty-hunit-0.11 ) +" diff --git a/dev-haskell/logict/metadata.xml b/dev-haskell/logict/metadata.xml index 165b9bf095c2..f00a63d92b3a 100644 --- a/dev-haskell/logict/metadata.xml +++ b/dev-haskell/logict/metadata.xml @@ -5,14 +5,8 @@ <email>haskell@gentoo.org</email> <name>Gentoo Haskell</name> </maintainer> - <longdescription> - A continuation-based, backtracking, logic programming monad. - An adaptation of the two-continuation implementation found - in the paper "Backtracking, Interleaving, and Terminating - Monad Transformers" available here: - <http://okmij.org/ftp/papers/LogicT.pdf> - </longdescription> <upstream> + <remote-id type="hackage">logict</remote-id> <remote-id type="github">Bodigrim/logict</remote-id> </upstream> </pkgmetadata> |