dev-haskell/smtlib - 1.1 (haskell)

Search

Package Information

Description:
A library for working with the SMTLIB format
Homepage:
https://hackage.haskell.org/package/smtLib
License:
BSD

Ebuild Details

Version EAPI Keywords Slot
1.1 8 ~amd64 0/1.1
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.6.2

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

MY_PN="smtLib"
MY_P="${MY_PN}-${PV}"

DESCRIPTION="A library for working with the SMTLIB format"
HOMEPAGE="https://hackage.haskell.org/package/smtLib"
SRC_URI="https://hackage.haskell.org/package/${MY_P}/${MY_P}.tar.gz"

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

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

S="${WORKDIR}/${MY_P}"

Dependencies

DEPEND

>=dev-lang/ghc-7.4.1:=

	>=dev-haskell/cabal-1.8

RDEPEND

>=dev-lang/ghc-7.4.1:=

Manifest for 1.1

Type File Size Source URLs
DIST smtLib-1.1.tar.gz 9667 bytes https://hackage.haskell.org/package/smtLib-1.1/smtLib-1.1.tar.gz