mirror of
https://anongit.gentoo.org/git/repo/gentoo.git
synced 2025-07-26 00:45:46 +02:00
64a7f71977Signed-off-by: hololeap <hololeap@protonmail.com> Signed-off-by: Sam James <sam@gentoo.org>
25 lines
572 B
Bash
25 lines
572 B
Bash
# 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
|
|
"
|