From 34875da10a098192662aad461b464f3914e2069a Mon Sep 17 00:00:00 2001 From: Maciej Barć Date: Tue, 7 Dec 2021 23:29:46 +0100 Subject: dev-ml/trie: new package; add version 1.0.0 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć --- dev-ml/trie/Manifest | 1 + dev-ml/trie/metadata.xml | 13 +++++++++++++ dev-ml/trie/trie-1.0.0.ebuild | 15 +++++++++++++++ 3 files changed, 29 insertions(+) create mode 100644 dev-ml/trie/Manifest create mode 100644 dev-ml/trie/metadata.xml create mode 100644 dev-ml/trie/trie-1.0.0.ebuild diff --git a/dev-ml/trie/Manifest b/dev-ml/trie/Manifest new file mode 100644 index 000000000000..fab19ddf825d --- /dev/null +++ b/dev-ml/trie/Manifest @@ -0,0 +1 @@ +DIST trie-1.0.0.tar.gz 2399 BLAKE2B 3f58dbe33686baca2290a413b7d069b8d97ec69546217cefbb6404877b1fec129824da66fbbd6774e069285960ad9dc12380ecd828135ea50d86caa951e0df8b SHA512 1921a42486a0a221e546507287cbf28ccae5462abe55817269517b7b92e19f35031f2d0fba2b1890b97236d6fff11be9d76ade317ae1dfa1089bd4740a46786f diff --git a/dev-ml/trie/metadata.xml b/dev-ml/trie/metadata.xml new file mode 100644 index 000000000000..387e4466f6c3 --- /dev/null +++ b/dev-ml/trie/metadata.xml @@ -0,0 +1,13 @@ + + + + + + ml@gentoo.org + ML + + + https://github.com/kandu/trie/issues/ + kandu/trie + + diff --git a/dev-ml/trie/trie-1.0.0.ebuild b/dev-ml/trie/trie-1.0.0.ebuild new file mode 100644 index 000000000000..d8539a79670d --- /dev/null +++ b/dev-ml/trie/trie-1.0.0.ebuild @@ -0,0 +1,15 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit dune + +DESCRIPTION="Strict impure trie tree" +HOMEPAGE="https://github.com/kandu/trie" +SRC_URI="https://github.com/kandu/trie/archive/${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +IUSE="+ocamlopt" -- cgit v1.2.3-65-gdbad