Gentoo Packages

dev-haskell/minisat - 0.1.3 (haskell)

Search

Package Information

Description:
A Haskell bundle of the Minisat SAT solver
Homepage:
https://hackage.haskell.org/package/minisat
License:
BSD

Ebuild Details

Version EAPI Keywords Slot
0.1.3 8 ~amd64 0/0.1.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.6.7.9999

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

DESCRIPTION="A Haskell bundle of the Minisat SAT solver"
HOMEPAGE="https://hackage.haskell.org/package/minisat"
SRC_URI="https://hackage.haskell.org/package/${P}/${P}.tar.gz"

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

RDEPEND="dev-haskell/async:=[profile?]
	>=dev-lang/ghc-8.4.3:=
	sys-devel/gcc[cxx]
"
DEPEND="${RDEPEND}
	>=dev-haskell/cabal-2.2.0.1
"

Dependencies

DEPEND

dev-haskell/async:=[profile?]
	>=dev-lang/ghc-8.4.3:=
	sys-devel/gcc[cxx]

	>=dev-haskell/cabal-2.2.0.1

RDEPEND

dev-haskell/async:=[profile?]
	>=dev-lang/ghc-8.4.3:=
	sys-devel/gcc[cxx]

Manifest for 0.1.3

Type File Size Source URLs
DIST minisat-0.1.3.tar.gz 46444 bytes https://hackage.haskell.org/package/minisat-0.1.3/minisat-0.1.3.tar.gz