commit: afa51d629acf59551af1a29400e860cd0b29f9df Author: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com> AuthorDate: Sun Apr 3 07:54:57 2022 +0000 Commit: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com> CommitDate: Sun Apr 3 23:46:07 2022 +0000 URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=afa51d62
dev-ml/bheap: initial import Signed-off-by: Alessandro Barbieri <lssndrbarbieri <AT> 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(+) 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>lssndrbarbi...@gmail.com</email> + <name>Alessandro Barbieri</name> + </maintainer> + <upstream> + <remote-id type="github">backtracking/bheap</remote-id> + </upstream> +</pkgmetadata>
