From 3cf7c3ef441822c889356fd1812ebf2944a59851 Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@redcorelinux.org>
Date: Tue, 25 Aug 2020 10:45:55 +0100
Subject: gentoo resync : 25.08.2020

---
 dev-haskell/dec/Manifest         |  3 +++
 dev-haskell/dec/dec-0.0.3.ebuild | 31 +++++++++++++++++++++++++++++++
 dev-haskell/dec/metadata.xml     |  8 ++++++++
 3 files changed, 42 insertions(+)
 create mode 100644 dev-haskell/dec/Manifest
 create mode 100644 dev-haskell/dec/dec-0.0.3.ebuild
 create mode 100644 dev-haskell/dec/metadata.xml

(limited to 'dev-haskell/dec')

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>
-- 
cgit v1.2.3