Gentoo Packages

dev-haskell/refinery - 0.4.0.0 (haskell)

Search

Package Information

Description:
Toolkit for building proof automation systems
Homepage:
https://github.com/totbwf/refinery#readme
License:
BSD

Ebuild Details

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

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

DESCRIPTION="Toolkit for building proof automation systems"
HOMEPAGE="https://github.com/totbwf/refinery#readme"
SRC_URI="https://hackage.haskell.org/package/${P}/${P}.tar.gz"

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

PATCHES=(
	"${FILESDIR}"/${P}-ghc-9.6.patch
	)

RDEPEND=">=dev-haskell/exceptions-0.10:=[profile?]
	>=dev-haskell/mmorph-1:=[profile?]
	>=dev-haskell/mtl-2:=[profile?]
	>=dev-lang/ghc-8.4.3:=
"
DEPEND="${RDEPEND}
	>=dev-haskell/cabal-2.2.0.1
	test? ( dev-haskell/checkers
		dev-haskell/hspec
		dev-haskell/quickcheck )
"

Dependencies

DEPEND

>=dev-haskell/exceptions-0.10:=[profile?]
	>=dev-haskell/mmorph-1:=[profile?]
	>=dev-haskell/mtl-2:=[profile?]
	>=dev-lang/ghc-8.4.3:=

	>=dev-haskell/cabal-2.2.0.1
	test? ( dev-haskell/checkers
		dev-haskell/hspec
		dev-haskell/quickcheck )

RDEPEND

>=dev-haskell/exceptions-0.10:=[profile?]
	>=dev-haskell/mmorph-1:=[profile?]
	>=dev-haskell/mtl-2:=[profile?]
	>=dev-lang/ghc-8.4.3:=

Manifest for 0.4.0.0

Type File Size Source URLs
DIST refinery-0.4.0.0.tar.gz 19165 bytes https://hackage.haskell.org/package/refinery-0.4.0.0/refinery-0.4.0.0.tar.gz