From afa51d629acf59551af1a29400e860cd0b29f9df Mon Sep 17 00:00:00 2001
From: Alessandro Barbieri <lssndrbarbieri@gmail.com>
Date: Sun, 3 Apr 2022 09:54:57 +0200
Subject: [PATCH] dev-ml/bheap: initial import

Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
---
 dev-ml/bheap/Manifest           |  1 +
 dev-ml/bheap/bheap-2.0.0.ebuild | 18 ++++++++++++++++++
 dev-ml/bheap/metadata.xml       | 11 +++++++++++
 3 files changed, 30 insertions(+)
 create mode 100644 dev-ml/bheap/Manifest
 create mode 100644 dev-ml/bheap/bheap-2.0.0.ebuild
 create mode 100644 dev-ml/bheap/metadata.xml

diff --git a/dev-ml/bheap/Manifest b/dev-ml/bheap/Manifest
new file mode 100644
index 0000000000..b37e41bd14
--- /dev/null
+++ b/dev-ml/bheap/Manifest
@@ -0,0 +1 @@
+DIST bheap-2.0.0.tbz 11665 BLAKE2B adada0855ab24c76c7cd3b652c8e44dbaa6bd33b8063996947cd067dd8b26ffb4b115ea6059303a5dd3e45e70f25457154e9b0d5f34449dc281207b56b65d3bf SHA512 90dcf2b3856b25f8ec7204d3596b64dfc264e9158ea84e8c2f15e3980c45ef888b7a969e613f31a626aebc4c5963a09b4fd3c3b95beba7d3159ff42080193841
diff --git a/dev-ml/bheap/bheap-2.0.0.ebuild b/dev-ml/bheap/bheap-2.0.0.ebuild
new file mode 100644
index 0000000000..ac26321080
--- /dev/null
+++ b/dev-ml/bheap/bheap-2.0.0.ebuild
@@ -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}"
diff --git a/dev-ml/bheap/metadata.xml b/dev-ml/bheap/metadata.xml
new file mode 100644
index 0000000000..35f91fbce6
--- /dev/null
+++ b/dev-ml/bheap/metadata.xml
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+  <maintainer type="person">
+    <email>lssndrbarbieri@gmail.com</email>
+    <name>Alessandro Barbieri</name>
+  </maintainer>
+  <upstream>
+    <remote-id type="github">backtracking/bheap</remote-id>
+  </upstream>
+</pkgmetadata>