Gentoo Packages

dev-haskell/smtlib-backends-process - 0.3 (haskell)

Search

Package Information

Description:
An SMT-LIB backend running solvers as external processes
Homepage:
https://hackage.haskell.org/package/smtlib-backends-process
License:
MIT

Ebuild Details

Version EAPI Keywords Slot
0.3 8 ~amd64 0/0.3
View Raw Ebuild 
# 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_HACKAGE_REVISION=5

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

DESCRIPTION="An SMT-LIB backend running solvers as external processes"
HOMEPAGE="https://hackage.haskell.org/package/smtlib-backends-process"

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

RDEPEND=">=dev-haskell/smtlib-backends-0.3:=[profile?] <dev-haskell/smtlib-backends-0.5:=[profile?]
	>=dev-lang/ghc-9.0.2:=
"
DEPEND="${RDEPEND}
	>=dev-haskell/cabal-3.4.1.0
	test? ( dev-haskell/async
		dev-haskell/smtlib-backends-tests
		dev-haskell/tasty
		dev-haskell/tasty-hunit )
"

Dependencies

DEPEND

>=dev-haskell/smtlib-backends-0.3:=[profile?] <dev-haskell/smtlib-backends-0.5:=[profile?]
	>=dev-lang/ghc-9.0.2:=

	>=dev-haskell/cabal-3.4.1.0
	test? ( dev-haskell/async
		dev-haskell/smtlib-backends-tests
		dev-haskell/tasty
		dev-haskell/tasty-hunit )

RDEPEND

>=dev-haskell/smtlib-backends-0.3:=[profile?] <dev-haskell/smtlib-backends-0.5:=[profile?]
	>=dev-lang/ghc-9.0.2:=