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/type-equality | |
| parent | 05b8b0e0af1d72e51a3ee61522941bf7605cd01c (diff) | |
gentoo resync : 25.08.2020
Diffstat (limited to 'dev-haskell/type-equality')
| -rw-r--r-- | dev-haskell/type-equality/Manifest | 3 | ||||
| -rw-r--r-- | dev-haskell/type-equality/metadata.xml | 18 | ||||
| -rw-r--r-- | dev-haskell/type-equality/type-equality-1.ebuild | 31 |
3 files changed, 52 insertions, 0 deletions
diff --git a/dev-haskell/type-equality/Manifest b/dev-haskell/type-equality/Manifest new file mode 100644 index 000000000000..6bea3989feeb --- /dev/null +++ b/dev-haskell/type-equality/Manifest @@ -0,0 +1,3 @@ +DIST type-equality-1.tar.gz 4525 BLAKE2B c93061cbf7ad6a02586770dbbbb8c4e47fdee48240b85cb8fc69f78ee8cd05c493585cc14129969814042d3cde2cd4e9468af86e61cfef486b4c3d424b5f413d SHA512 633675251719afa59c311ae82d18476d6e000fbbdc553a29da598da38a29cf73fffcbcd4b23a70dd397f10734ba6617633390874eea8a563a1e258654a9fe7d8 +EBUILD type-equality-1.ebuild 633 BLAKE2B da97d971cf366031439fa430881b474bf06c5be7cd461db8a0da34bc4f96640ef8e342faf5229a86dbe739cdc0d73017ef977fde48996dc524eecb5c5a2d670e SHA512 00ee2c186e08627c73864266863b20a70844df1f69d62ffc7319d725c968770c41014e6fbedc1f4e1567d98e28d56499ccce80e2eabdc733c2c7a6aaca3cf109 +MISC metadata.xml 679 BLAKE2B 7ea10b0520f585241342870797f70177d7dc2544cb497425906f10ded4d944b42f5aa1b8322c70267e4a11cb7919a70051b700499b75db984edbbc3376244af7 SHA512 c81a190ae0b41778ee556ec587637047968e8b42fb61ea50416bd5825a3a9c110e4d8327f21df796f39ff0772bf746078238f1c03bbb57b628fa10414723514a diff --git a/dev-haskell/type-equality/metadata.xml b/dev-haskell/type-equality/metadata.xml new file mode 100644 index 000000000000..5cf2771db560 --- /dev/null +++ b/dev-haskell/type-equality/metadata.xml @@ -0,0 +1,18 @@ +<?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> + In the presence of GADTs, sometimes a proof is + needed that two types are equal. This package + contains an equality type for this purpose, plus its + properties (reflexive, symmetric, transitive) and + some useful operations (substitution, congruence, + coercion/cast). It also contains a type class for + producing equality proofs, providing some form of + decidable equality on types. + </longdescription> +</pkgmetadata> diff --git a/dev-haskell/type-equality/type-equality-1.ebuild b/dev-haskell/type-equality/type-equality-1.ebuild new file mode 100644 index 000000000000..c59698cbe1e1 --- /dev/null +++ b/dev-haskell/type-equality/type-equality-1.ebuild @@ -0,0 +1,31 @@ +# Copyright 1999-2020 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +# ebuild generated by hackport 0.6.1 + +CABAL_FEATURES="lib profile haddock hoogle hscolour" +inherit haskell-cabal + +DESCRIPTION="Type equality, coercion/cast and other operations" +HOMEPAGE="https://github.com/hesselink/type-equality" +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.4.1:= +" +DEPEND="${RDEPEND} + >=dev-haskell/cabal-1.10 +" + +src_prepare() { + default + + cabal_chdeps \ + 'base >=4.3 && <4.14' 'base >=4.3' +} |