From 0d2cfb7d2967418a1b45fbba8714e30d1a51f514 Mon Sep 17 00:00:00 2001 From: Sergei Trofimovich Date: Sat, 22 Aug 2020 22:25:50 +0100 Subject: 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 --- 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(+) create mode 100644 dev-haskell/numtype-dk/Manifest create mode 100644 dev-haskell/numtype-dk/metadata.xml create mode 100644 dev-haskell/numtype-dk/numtype-dk-0.5.0.2.ebuild diff --git a/dev-haskell/numtype-dk/Manifest b/dev-haskell/numtype-dk/Manifest new file mode 100644 index 000000000000..71996d0c2f8c --- /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 000000000000..0375c44d97f8 --- /dev/null +++ b/dev-haskell/numtype-dk/metadata.xml @@ -0,0 +1,17 @@ + + + + + haskell@gentoo.org + Gentoo Haskell + + + 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. + + 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 000000000000..83293c81836c --- /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 +" -- cgit v1.2.3-65-gdbad