diff options
| author |   Jack Todaro <solpeth@posteo.org> | 2020-07-29 12:03:14 +1000 |
|---|---|---|
| committer |   Sergei Trofimovich <slyfox@gentoo.org> | 2020-08-01 09:00:27 +0100 |
| commit | 82150f91b6bf440c13a9a5e51aea9e25e890a051 (patch) | |
| tree | 399afbcf689ea088b080bbdf52ccc850a5c96b36 /dev-haskell/dec | |
| parent | dev-haskell/tasty-expected-failure: add package (diff) | |
| download | gentoo-82150f91b6bf440c13a9a5e51aea9e25e890a051.tar.gz gentoo-82150f91b6bf440c13a9a5e51aea9e25e890a051.tar.bz2 gentoo-82150f91b6bf440c13a9a5e51aea9e25e890a051.zip | |
dev-haskell/dec: add package
Package-Manager: Portage-3.0.1, Repoman-2.3.23
Signed-off-by: Jack Todaro <solpeth@posteo.org>
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
Diffstat (limited to 'dev-haskell/dec')
| -rw-r--r-- | dev-haskell/dec/Manifest | 1 | ||||
| -rw-r--r-- | dev-haskell/dec/dec-0.0.3.ebuild | 31 | ||||
| -rw-r--r-- | dev-haskell/dec/metadata.xml | 8 |
3 files changed, 40 insertions, 0 deletions
diff --git a/dev-haskell/dec/Manifest b/dev-haskell/dec/Manifest new file mode 100644 index 000000000000..6dd83586955d --- /dev/null +++ b/dev-haskell/dec/Manifest @@ -0,0 +1 @@ +DIST dec-0.0.3.tar.gz 2629 BLAKE2B 558b559cf5d92afad637f61ae82549e200a6042740d78ef25be5bf32212dac5027e4f1b3cb9104c65d589927e1ff8b65e62b7f46d6fd5ff707f175cf920bb206 SHA512 446911a59287b48d8b98acf588671e6ed19fc12ed8adeabdab8f21c1fefb80cac7b59b9fea52a4671b997aa63d2eadda5181490e6901e99e9882de572abdc595 diff --git a/dev-haskell/dec/dec-0.0.3.ebuild b/dev-haskell/dec/dec-0.0.3.ebuild new file mode 100644 index 000000000000..8a3cebbc9cf5 --- /dev/null +++ b/dev-haskell/dec/dec-0.0.3.ebuild @@ -0,0 +1,31 @@ +# Copyright 1999-2020 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +# ebuild generated by hackport 0.6.9999 + +CABAL_FEATURES="lib profile haddock hoogle hscolour" +inherit haskell-cabal + +DESCRIPTION="Decidable propositions" +HOMEPAGE="https://github.com/phadej/vec" +SRC_URI="https://hackage.haskell.org/package/${P}/${P}.tar.gz" + +LICENSE="BSD" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +IUSE="" + +RDEPEND=">=dev-haskell/void-0.7.2:=[profile?] <dev-haskell/void-0.8:=[profile?] + >=dev-lang/ghc-7.8.2:= +" +DEPEND="${RDEPEND} + >=dev-haskell/cabal-1.18.1.3 +" + +src_prepare() { + default + cabal_chdeps \ + 'base >=4.7 && <4.13' 'base >=4.7' +} diff --git a/dev-haskell/dec/metadata.xml b/dev-haskell/dec/metadata.xml new file mode 100644 index 000000000000..b7878815d80d --- /dev/null +++ b/dev-haskell/dec/metadata.xml @@ -0,0 +1,8 @@ +<?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> +</pkgmetadata> |