Gentoo Packages

dev-haskell/dec - 0.0.5 (gentoo)

Search

Package Information

Description:
Decidable propositions
Homepage:
https://github.com/phadej/dec
License:
BSD

Ebuild Details

Version EAPI Keywords Slot
0.0.5 8 ~amd64 ~arm64 ~ppc64 ~riscv ~x86 0/0.0.5
View Raw Ebuild 
# Copyright 1999-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2

EAPI=8

# ebuild generated by hackport 0.8.4.0.9999

CABAL_HACKAGE_REVISION=1

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

DESCRIPTION="Decidable propositions"
HOMEPAGE="https://github.com/phadej/dec"

LICENSE="BSD"
SLOT="0/${PV}"
KEYWORDS="~amd64 ~arm64 ~ppc64 ~riscv ~x86"

RDEPEND=">=dev-haskell/boring-0.2:=[profile?] <dev-haskell/boring-0.3:=[profile?]
	>=dev-lang/ghc-8.10.6:=
"
DEPEND="${RDEPEND}
	>=dev-haskell/cabal-3.2.1.0
"

Dependencies

DEPEND

>=dev-haskell/boring-0.2:=[profile?] <dev-haskell/boring-0.3:=[profile?]
	>=dev-lang/ghc-8.10.6:=

	>=dev-haskell/cabal-3.2.1.0

RDEPEND

>=dev-haskell/boring-0.2:=[profile?] <dev-haskell/boring-0.3:=[profile?]
	>=dev-lang/ghc-8.10.6:=