mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-20 20:43:09 -04:00
Code Issues Packages Projects Releases Wiki Activity

dev-ml/bheap: initial import

Browse Source 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
This commit is contained in:
Alessandro Barbieri
2022-04-03 09:54:57 +02:00
parent 3410c23aa1
commit afa51d629a
3 changed files with 30 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
dev-ml/bheap/bheap-2.0.0.ebuild Normal file
View File

@@ -0,0 +1,18 @@
# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
inherit dune
DESCRIPTION="OCaml binary heap implementation by Jean-Christophe Filliatre"
HOMEPAGE="https://github.com/backtracking/bheap"
SRC_URI="https://github.com/backtracking/${PN}/releases/download/${PV}/${P}.tbz"
LICENSE="LGPL-2.1-with-linking-exception"
SLOT="0/${PV}"
KEYWORDS="~amd64"
IUSE="ocamlopt"
DEPEND=""
RDEPEND="${DEPEND}"