# 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 "