# Copyright 1999-2021 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 # ebuild generated by hackport 0.6.7.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" SRC_URI="https://hackage.haskell.org/package/${P}/${P}.tar.gz" LICENSE="BSD" SLOT="0/${PV}" KEYWORDS="~amd64" RDEPEND=">=dev-lang/ghc-8.4.3:= " DEPEND="${RDEPEND} >=dev-haskell/cabal-2.2.0.1 "