diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2020-08-25 10:45:55 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2020-08-25 10:45:55 +0100 |
commit | 3cf7c3ef441822c889356fd1812ebf2944a59851 (patch) | |
tree | c513fe68548b40365c1c2ebfe35c58ad431cdd77 /dev-haskell/numtype-dk | |
parent | 05b8b0e0af1d72e51a3ee61522941bf7605cd01c (diff) |
gentoo resync : 25.08.2020
Diffstat (limited to 'dev-haskell/numtype-dk')
-rw-r--r-- | dev-haskell/numtype-dk/Manifest | 3 | ||||
-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, 44 insertions, 0 deletions
diff --git a/dev-haskell/numtype-dk/Manifest b/dev-haskell/numtype-dk/Manifest new file mode 100644 index 000000000000..5b1bab94f96d --- /dev/null +++ b/dev-haskell/numtype-dk/Manifest @@ -0,0 +1,3 @@ +DIST numtype-dk-0.5.0.2.tar.gz 7495 BLAKE2B bef39bff1eaec5cfb38ccc16001c670dead2605070645f0015567179c0267a13ce672938b61768489fd027df0a05fe3adbba26053f18bbb1bc91a6c53175dea3 SHA512 4c157fca67313f2ba5c761322b069d488e84574c837a5c708c9f80f21fff3118eb2f7e45f80a420f6b206026c7252b6afd3e46f59421e5c41675cdf067b6bec3 +EBUILD numtype-dk-0.5.0.2.ebuild 579 BLAKE2B e888b43df41fe9dcb7d3c4386736e4635d30f4159b059c23ebd46e02307c715085a0f7422b410bd53e821c19603ba70843f7cfd453458974d6f46ba182bbd274 SHA512 9168869dbc7cd73da7fd6e81ef2e6fa943c001c73bd14f6f493d714d10cd380c5c02775bd58c73f8fa07ffaebb32715944810e3efae01da492f5db7f02411736 +MISC metadata.xml 698 BLAKE2B 8a660bf0d233d0d03ae8d6bf095b54dc36b1cbb2452dbb9bd008dc900fd648150da91c5a5ebb3159ad6576b5581e0da784cd281b7e6b4cedead753c904839926 SHA512 21fca2e10f21043e071122d5ae5f3dddd026b0aeb10b902decd2563b38190d1d8913a163daf5913aecae7a039fd38f61c30016d6b975b86b9f8d7aca136fd81a 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 +" |