| 1 |
commit: afa51d629acf59551af1a29400e860cd0b29f9df |
| 2 |
Author: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com> |
| 3 |
AuthorDate: Sun Apr 3 07:54:57 2022 +0000 |
| 4 |
Commit: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com> |
| 5 |
CommitDate: Sun Apr 3 23:46:07 2022 +0000 |
| 6 |
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=afa51d62 |
| 7 |
|
| 8 |
dev-ml/bheap: initial import |
| 9 |
|
| 10 |
Signed-off-by: Alessandro Barbieri <lssndrbarbieri <AT> gmail.com> |
| 11 |
|
| 12 |
dev-ml/bheap/Manifest | 1 + |
| 13 |
dev-ml/bheap/bheap-2.0.0.ebuild | 18 ++++++++++++++++++ |
| 14 |
dev-ml/bheap/metadata.xml | 11 +++++++++++ |
| 15 |
3 files changed, 30 insertions(+) |
| 16 |
|
| 17 |
diff --git a/dev-ml/bheap/Manifest b/dev-ml/bheap/Manifest |
| 18 |
new file mode 100644 |
| 19 |
index 000000000..b37e41bd1 |
| 20 |
--- /dev/null |
| 21 |
+++ b/dev-ml/bheap/Manifest |
| 22 |
@@ -0,0 +1 @@ |
| 23 |
+DIST bheap-2.0.0.tbz 11665 BLAKE2B adada0855ab24c76c7cd3b652c8e44dbaa6bd33b8063996947cd067dd8b26ffb4b115ea6059303a5dd3e45e70f25457154e9b0d5f34449dc281207b56b65d3bf SHA512 90dcf2b3856b25f8ec7204d3596b64dfc264e9158ea84e8c2f15e3980c45ef888b7a969e613f31a626aebc4c5963a09b4fd3c3b95beba7d3159ff42080193841 |
| 24 |
|
| 25 |
diff --git a/dev-ml/bheap/bheap-2.0.0.ebuild b/dev-ml/bheap/bheap-2.0.0.ebuild |
| 26 |
new file mode 100644 |
| 27 |
index 000000000..ac2632108 |
| 28 |
--- /dev/null |
| 29 |
+++ b/dev-ml/bheap/bheap-2.0.0.ebuild |
| 30 |
@@ -0,0 +1,18 @@ |
| 31 |
+# Copyright 1999-2022 Gentoo Authors |
| 32 |
+# Distributed under the terms of the GNU General Public License v2 |
| 33 |
+ |
| 34 |
+EAPI=8 |
| 35 |
+ |
| 36 |
+inherit dune |
| 37 |
+ |
| 38 |
+DESCRIPTION="OCaml binary heap implementation by Jean-Christophe Filliatre" |
| 39 |
+HOMEPAGE="https://github.com/backtracking/bheap" |
| 40 |
+SRC_URI="https://github.com/backtracking/${PN}/releases/download/${PV}/${P}.tbz" |
| 41 |
+ |
| 42 |
+LICENSE="LGPL-2.1-with-linking-exception" |
| 43 |
+SLOT="0/${PV}" |
| 44 |
+KEYWORDS="~amd64" |
| 45 |
+IUSE="ocamlopt" |
| 46 |
+ |
| 47 |
+DEPEND="" |
| 48 |
+RDEPEND="${DEPEND}" |
| 49 |
|
| 50 |
diff --git a/dev-ml/bheap/metadata.xml b/dev-ml/bheap/metadata.xml |
| 51 |
new file mode 100644 |
| 52 |
index 000000000..35f91fbce |
| 53 |
--- /dev/null |
| 54 |
+++ b/dev-ml/bheap/metadata.xml |
| 55 |
@@ -0,0 +1,11 @@ |
| 56 |
+<?xml version="1.0" encoding="UTF-8"?> |
| 57 |
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> |
| 58 |
+<pkgmetadata> |
| 59 |
+ <maintainer type="person"> |
| 60 |
+ <email>lssndrbarbieri@×××××.com</email> |
| 61 |
+ <name>Alessandro Barbieri</name> |
| 62 |
+ </maintainer> |
| 63 |
+ <upstream> |
| 64 |
+ <remote-id type="github">backtracking/bheap</remote-id> |
| 65 |
+ </upstream> |
| 66 |
+</pkgmetadata> |
Archives