bv-sized-1.0.6haskell

download

# Copyright 1999-2026 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2

EAPI=8

# ebuild generated by hackport 0.9.0.0.9999

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

DESCRIPTION="a bitvector datatype that is parameterized by the vector width"
HOMEPAGE="https://github.com/GaloisInc/bv-sized"

LICENSE="BSD"
SLOT="0/${PV}"
KEYWORDS="~amd64"

RDEPEND=">=dev-haskell/bitwise-1.0.0:=[profile?] <dev-haskell/bitwise-1.1:=[profile?]
	>=dev-haskell/panic-0.4.0:=[profile?] <dev-haskell/panic-0.5:=[profile?]
	>=dev-haskell/parameterized-utils-2.0.2:=[profile?] <dev-haskell/parameterized-utils-2.2:=[profile?]
	>=dev-haskell/random-1.2.0:=[profile?] <dev-haskell/random-1.4:=[profile?]
	>=dev-haskell/th-lift-0.8.1:=[profile?] <dev-haskell/th-lift-0.9:=[profile?]
	>=dev-lang/ghc-9.0.2:=
"
DEPEND="${RDEPEND}
	>=dev-haskell/cabal-3.4.1.0
	test? ( dev-haskell/hedgehog
		>=dev-haskell/monadrandom-0.5.3 <dev-haskell/monadrandom-0.7
		>=dev-haskell/tasty-1.2.3 <dev-haskell/tasty-1.6
		>=dev-haskell/tasty-hedgehog-1.2 <dev-haskell/tasty-hedgehog-1.5 )
"