diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2020-08-25 10:45:55 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2020-08-25 10:45:55 +0100 |
| commit | 3cf7c3ef441822c889356fd1812ebf2944a59851 (patch) | |
| tree | c513fe68548b40365c1c2ebfe35c58ad431cdd77 /dev-haskell/dec | |
| parent | 05b8b0e0af1d72e51a3ee61522941bf7605cd01c (diff) | |
gentoo resync : 25.08.2020
Diffstat (limited to 'dev-haskell/dec')
| -rw-r--r-- | dev-haskell/dec/Manifest | 3 | ||||
| -rw-r--r-- | dev-haskell/dec/dec-0.0.3.ebuild | 31 | ||||
| -rw-r--r-- | dev-haskell/dec/metadata.xml | 8 |
3 files changed, 42 insertions, 0 deletions
diff --git a/dev-haskell/dec/Manifest b/dev-haskell/dec/Manifest new file mode 100644 index 000000000000..587aaa0c3155 --- /dev/null +++ b/dev-haskell/dec/Manifest @@ -0,0 +1,3 @@ +DIST dec-0.0.3.tar.gz 2629 BLAKE2B 558b559cf5d92afad637f61ae82549e200a6042740d78ef25be5bf32212dac5027e4f1b3cb9104c65d589927e1ff8b65e62b7f46d6fd5ff707f175cf920bb206 SHA512 446911a59287b48d8b98acf588671e6ed19fc12ed8adeabdab8f21c1fefb80cac7b59b9fea52a4671b997aa63d2eadda5181490e6901e99e9882de572abdc595 +EBUILD dec-0.0.3.ebuild 671 BLAKE2B b752c071e3511e1938a4a3e2a8f18477cbcb1ddb31ff40938e1ca4d7eff0d029bc54cdc9c6d37f4b258b9e97625a56a6fc957fb9d4eea09d5384e908f66feb52 SHA512 edcf2fc62fe90389cd85a8792d87dc50e5fde7cdef1e4301cf48ef55c66a77730f049249e10d25c528c0a18032e605c21917c0dbfa62eccbb442f9748a7c284e +MISC metadata.xml 249 BLAKE2B 84b809c265ff2a09d1f06c66d4797652ff4c64205d94323e07333ae0fbddcfb8c58d0176a8cc52bd37e9353371d987b9b473b9747cb082e1c2871ed80fcfa144 SHA512 ce055b41ff1c10209e88579fe21ce16550be7e9b21f87724564f06430aa6f478974f186a10c8ff7e92398f534c09109aeed57eae1c6d2b56b5c99ebfb64a0015 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> |