Gentoo Packages

dev-haskell/dependent-sum - 0.7.2.0 (haskell)

Search

Package Information

Description:
Dependent sum type
Homepage:
https://github.com/obsidiansystems/dependent-sum
License:
public-domain

Ebuild Details

Version EAPI Keywords Slot
0.7.2.0 8 ~amd64 0/0.7.2.0
View Raw Ebuild 
# Copyright 1999-2026 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2

EAPI=8

# ebuild generated by hackport 0.8.5.1.9999

CABAL_HACKAGE_REVISION=2

CABAL_FEATURES="lib profile haddock hoogle hscolour"
inherit haskell-cabal

DESCRIPTION="Dependent sum type"
HOMEPAGE="https://github.com/obsidiansystems/dependent-sum"

LICENSE="public-domain"
SLOT="0/${PV}"
KEYWORDS="~amd64"

RDEPEND=">=dev-haskell/constraints-extras-0.2:=[profile?] <dev-haskell/constraints-extras-0.5:=[profile?]
	>=dev-haskell/some-1.0.4:=[profile?] <dev-haskell/some-1.0.7:=[profile?]
	>=dev-lang/ghc-9.0.2:=
"
DEPEND="${RDEPEND}
	>=dev-haskell/cabal-3.4.1.0
"

Dependencies

DEPEND

>=dev-haskell/constraints-extras-0.2:=[profile?] <dev-haskell/constraints-extras-0.5:=[profile?]
	>=dev-haskell/some-1.0.4:=[profile?] <dev-haskell/some-1.0.7:=[profile?]
	>=dev-lang/ghc-9.0.2:=

	>=dev-haskell/cabal-3.4.1.0

RDEPEND

>=dev-haskell/constraints-extras-0.2:=[profile?] <dev-haskell/constraints-extras-0.5:=[profile?]
	>=dev-haskell/some-1.0.4:=[profile?] <dev-haskell/some-1.0.7:=[profile?]
	>=dev-lang/ghc-9.0.2:=