[gentoo-commits] repo/gentoo:master commit in: dev-haskell/numtype-dk/

[gentoo-commits] repo/gentoo:master commit in: dev-haskell/numtype-dk/

[Sergei Trofimovich]

commit:     0d2cfb7d2967418a1b45fbba8714e30d1a51f514
Author:     Sergei Trofimovich <slyfox <AT> gentoo <DOT> org>
AuthorDate: Sat Aug 22 21:25:50 2020 +0000
Commit:     Sergei Trofimovich <slyfox <AT> gentoo <DOT> org>
CommitDate: Sat Aug 22 21:31:18 2020 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0d2cfb7d

dev-haskell/numtype-dk: new package, a depend of arithmoi-0.11

Package-Manager: Portage-3.0.4, Repoman-3.0.1
Signed-off-by: Sergei Trofimovich <slyfox <AT> gentoo.org>

 dev-haskell/numtype-dk/Manifest                  |  1 +
 dev-haskell/numtype-dk/metadata.xml              | 17 +++++++++++++++++
 dev-haskell/numtype-dk/numtype-dk-0.5.0.2.ebuild | 24 ++++++++++++++++++++++++
 3 files changed, 42 insertions(+)

diff --git a/dev-haskell/numtype-dk/Manifest b/dev-haskell/numtype-dk/Manifest
new file mode 100644
index 00000000000..71996d0c2f8
--- /dev/null
+++ b/dev-haskell/numtype-dk/Manifest
@@ -0,0 +1 @@
+DIST numtype-dk-0.5.0.2.tar.gz 7495 BLAKE2B bef39bff1eaec5cfb38ccc16001c670dead2605070645f0015567179c0267a13ce672938b61768489fd027df0a05fe3adbba26053f18bbb1bc91a6c53175dea3 SHA512 4c157fca67313f2ba5c761322b069d488e84574c837a5c708c9f80f21fff3118eb2f7e45f80a420f6b206026c7252b6afd3e46f59421e5c41675cdf067b6bec3

diff --git a/dev-haskell/numtype-dk/metadata.xml b/dev-haskell/numtype-dk/metadata.xml
new file mode 100644
index 00000000000..0375c44d97f
--- /dev/null
+++ b/dev-haskell/numtype-dk/metadata.xml
@@ -0,0 +1,17 @@
+<?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>
+		This package provides type level representations of the
+		(positive and negative) integers and basic operations (addition,
+		subtraction, multiplication, division, exponentiation) on these.
+		The numtype-dk package differs from the numtype package in that
+		the NumTypes are implemented using Data Kinds, TypeNats, and
+		Closed Type Families rather than Functional Dependencies.
+		Requires GHC 7.8 or later.
+	</longdescription>
+</pkgmetadata>

diff --git a/dev-haskell/numtype-dk/numtype-dk-0.5.0.2.ebuild b/dev-haskell/numtype-dk/numtype-dk-0.5.0.2.ebuild
new file mode 100644
index 00000000000..83293c81836
--- /dev/null
+++ b/dev-haskell/numtype-dk/numtype-dk-0.5.0.2.ebuild
@@ -0,0 +1,24 @@
+# Copyright 1999-2020 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+# ebuild generated by hackport 0.5.6.9999
+
+CABAL_FEATURES="lib profile haddock hoogle hscolour"
+inherit haskell-cabal
+
+DESCRIPTION="Type-level integers, using TypeNats, Data Kinds, and Closed Type Families"
+HOMEPAGE="https://github.com/bjornbm/numtype-dk"
+SRC_URI="https://hackage.haskell.org/package/${P}/${P}.tar.gz"
+
+LICENSE="BSD"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE=""
+
+RDEPEND=">=dev-lang/ghc-7.8.2:=
+"
+DEPEND="${RDEPEND}
+	>=dev-haskell/cabal-1.18.1.3
+"