dev-haskell/meldable-heap - 2.0.3-r1 (haskell)

Search

Package Information

Description:
Asymptotically optimal, Coq-verified meldable heaps, AKA priority queues
Homepage:
https://github.com/jbapple/priority-queues
License:
BSD

Ebuild Details

Version EAPI Keywords Slot
2.0.3-r1 8 ~amd64 0/2.0.3-r1
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.1

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

DESCRIPTION="Asymptotically optimal, Coq-verified meldable heaps, AKA priority queues"
HOMEPAGE="https://github.com/jbapple/priority-queues"
SRC_URI="https://hackage.haskell.org/package/${P}/${P}.tar.gz"

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

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

Dependencies

DEPEND

>=dev-lang/ghc-7.4.1:=

	>=dev-haskell/cabal-1.2

RDEPEND

>=dev-lang/ghc-7.4.1:=