diff options
| author |   Alessandro Barbieri <lssndrbarbieri@gmail.com> | 2022-04-03 09:54:57 +0200 |
|---|---|---|
| committer | Alessandro Barbieri <lssndrbarbieri@gmail.com> | 2022-04-04 01:46:07 +0200 |
| commit | afa51d629acf59551af1a29400e860cd0b29f9df (patch) | |
| tree | cf711b544b7c53a707a31301df009a0368d111f4 | |
| parent | dev-ml/lwt-dllist: initial import (diff) | |
| download | guru-afa51d62.tar.gz guru-afa51d62.tar.bz2 guru-afa51d62.zip | |
dev-ml/bheap: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
| -rw-r--r-- | dev-ml/bheap/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/bheap/bheap-2.0.0.ebuild | 18 | ||||
| -rw-r--r-- | dev-ml/bheap/metadata.xml | 11 |
3 files changed, 30 insertions, 0 deletions
diff --git a/dev-ml/bheap/Manifest b/dev-ml/bheap/Manifest new file mode 100644 index 000000000..b37e41bd1 --- /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 000000000..ac2632108 --- /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 000000000..35f91fbce --- /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> |