Gentoo Packages

dev-haskell/simple-smt - 0.9.8 (haskell)

Search

Package Information

Description:
A simple way to interact with an SMT solver process
Homepage:
https://hackage.haskell.org/package/simple-smt
License:
BSD

Ebuild Details

Version EAPI Keywords Slot
0.9.8 8 ~amd64 0/0.9.8
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_FEATURES="lib profile haddock hoogle hscolour"
inherit haskell-cabal

DESCRIPTION="A simple way to interact with an SMT solver process"
HOMEPAGE="https://hackage.haskell.org/package/simple-smt"

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

RDEPEND=">=dev-lang/ghc-9.0.2:=
"
DEPEND="${RDEPEND}
	>=dev-haskell/cabal-3.4.1.0
"

Dependencies

DEPEND

>=dev-lang/ghc-9.0.2:=

	>=dev-haskell/cabal-3.4.1.0

RDEPEND

>=dev-lang/ghc-9.0.2:=