You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
32 lines
671 B
32 lines
671 B
# Copyright 1999-2020 Gentoo Authors
|
|
# Distributed under the terms of the GNU General Public License v2
|
|
|
|
EAPI=7
|
|
|
|
# ebuild generated by hackport 0.6.9999
|
|
|
|
CABAL_FEATURES="lib profile haddock hoogle hscolour"
|
|
inherit haskell-cabal
|
|
|
|
DESCRIPTION="Decidable propositions"
|
|
HOMEPAGE="https://github.com/phadej/vec"
|
|
SRC_URI="https://hackage.haskell.org/package/${P}/${P}.tar.gz"
|
|
|
|
LICENSE="BSD"
|
|
SLOT="0/${PV}"
|
|
KEYWORDS="~amd64 ~x86"
|
|
IUSE=""
|
|
|
|
RDEPEND=">=dev-haskell/void-0.7.2:=[profile?] <dev-haskell/void-0.8:=[profile?]
|
|
>=dev-lang/ghc-7.8.2:=
|
|
"
|
|
DEPEND="${RDEPEND}
|
|
>=dev-haskell/cabal-1.18.1.3
|
|
"
|
|
|
|
src_prepare() {
|
|
default
|
|
cabal_chdeps \
|
|
'base >=4.7 && <4.13' 'base >=4.7'
|
|
}
|