diff options
| author |   Sergei Trofimovich <slyfox@gentoo.org> | 2020-08-22 22:25:50 +0100 |
|---|---|---|
| committer | Sergei Trofimovich <slyfox@gentoo.org> | 2020-08-22 22:31:18 +0100 |
| commit | 0d2cfb7d2967418a1b45fbba8714e30d1a51f514 (patch) | |
| tree | eb1e9334602bf9d42c29e9fbf39b2fc65884c345 /dev-haskell/numtype-dk | |
| parent | dev-haskell/integer-roots: new package, a depend of arithmoi-0.11 (diff) | |
| download | gentoo-0d2cfb7d2967418a1b45fbba8714e30d1a51f514.tar.gz gentoo-0d2cfb7d2967418a1b45fbba8714e30d1a51f514.tar.bz2 gentoo-0d2cfb7d2967418a1b45fbba8714e30d1a51f514.zip | |
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@gentoo.org>
Diffstat (limited to 'dev-haskell/numtype-dk')
| -rw-r--r-- | dev-haskell/numtype-dk/Manifest | 1 | ||||
| -rw-r--r-- | dev-haskell/numtype-dk/metadata.xml | 17 | ||||
| -rw-r--r-- | dev-haskell/numtype-dk/numtype-dk-0.5.0.2.ebuild | 24 |
3 files changed, 42 insertions, 0 deletions
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 @@ +<?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 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 +" |