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>[email protected]</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 +"
