diff options
| author | root <root@alpha.trunkmasters.com> | 2026-06-04 16:24:49 -0500 |
|---|---|---|
| committer | root <root@alpha.trunkmasters.com> | 2026-06-04 16:24:49 -0500 |
| commit | a3ceca1b4c0d9bdb550dc23f06ffbb5a8e033bc7 (patch) | |
| tree | 0c52bbae1c242fbc296bd650fcd1167685f81492 /dev-haskell/type-equality | |
| parent | bfd9c39e4712ebdb442d4ca0673061faed1e70e1 (diff) | |
| download | baldeagleos-repo-a3ceca1b4c0d9bdb550dc23f06ffbb5a8e033bc7.tar.gz baldeagleos-repo-a3ceca1b4c0d9bdb550dc23f06ffbb5a8e033bc7.tar.xz baldeagleos-repo-a3ceca1b4c0d9bdb550dc23f06ffbb5a8e033bc7.zip | |
Adding metadata
Diffstat (limited to 'dev-haskell/type-equality')
| -rw-r--r-- | dev-haskell/type-equality/Manifest | 1 | ||||
| -rw-r--r-- | dev-haskell/type-equality/metadata.xml | 21 | ||||
| -rw-r--r-- | dev-haskell/type-equality/type-equality-1.ebuild | 28 |
3 files changed, 0 insertions, 50 deletions
diff --git a/dev-haskell/type-equality/Manifest b/dev-haskell/type-equality/Manifest deleted file mode 100644 index 8b377906366d..000000000000 --- a/dev-haskell/type-equality/Manifest +++ /dev/null @@ -1 +0,0 @@ -DIST type-equality-1.tar.gz 4525 BLAKE2B c93061cbf7ad6a02586770dbbbb8c4e47fdee48240b85cb8fc69f78ee8cd05c493585cc14129969814042d3cde2cd4e9468af86e61cfef486b4c3d424b5f413d SHA512 633675251719afa59c311ae82d18476d6e000fbbdc553a29da598da38a29cf73fffcbcd4b23a70dd397f10734ba6617633390874eea8a563a1e258654a9fe7d8 diff --git a/dev-haskell/type-equality/metadata.xml b/dev-haskell/type-equality/metadata.xml deleted file mode 100644 index 1c5ebbe9daa9..000000000000 --- a/dev-haskell/type-equality/metadata.xml +++ /dev/null @@ -1,21 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://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> - <upstream> - <remote-id type="github">hesselink/type-equality</remote-id> - </upstream> -</pkgmetadata> diff --git a/dev-haskell/type-equality/type-equality-1.ebuild b/dev-haskell/type-equality/type-equality-1.ebuild deleted file mode 100644 index 30d7cef09574..000000000000 --- a/dev-haskell/type-equality/type-equality-1.ebuild +++ /dev/null @@ -1,28 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -# 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 ~arm64 ~ppc64 ~riscv ~x86" -IUSE="" - -RDEPEND=">=dev-lang/ghc-7.4.1:= -" -DEPEND="${RDEPEND} - >=dev-haskell/cabal-1.10 -" - -CABAL_CHDEPS=( - 'base >=4.3 && <4.14' 'base >=4.3' -) |