Gentoo Archives: gentoo-commits

From: Alfredo Tupone <tupone@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/jane-street-headers/
Date: Sun, 30 Jan 2022 11:42:55
Message-Id: 1643542960.9e712584db32d13d307237f2873cb13345dc0484.tupone@gentoo
1 commit: 9e712584db32d13d307237f2873cb13345dc0484
2 Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
3 AuthorDate: Sun Jan 30 11:42:40 2022 +0000
4 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
5 CommitDate: Sun Jan 30 11:42:40 2022 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9e712584
7
8 dev-ml/jane-street-headers: 0.15.0 bump
9
10 Package-Manager: Portage-3.0.30, Repoman-3.0.3
11 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
12
13 dev-ml/jane-street-headers/Manifest | 1 +
14 .../jane-street-headers-0.15.0.ebuild | 18 ++++++++++++++++++
15 2 files changed, 19 insertions(+)
16
17 diff --git a/dev-ml/jane-street-headers/Manifest b/dev-ml/jane-street-headers/Manifest
18 index ecabfb3f1e03..22f7706a4840 100644
19 --- a/dev-ml/jane-street-headers/Manifest
20 +++ b/dev-ml/jane-street-headers/Manifest
21 @@ -1 +1,2 @@
22 DIST jane-street-headers-0.14.0.tar.gz 4662 BLAKE2B 22a48e9c254005d28c03399dd9d9347b45b7e3def9c0efdd768162f80ff611be6249d629cd78fd8768c7e6ec5610684e9459b149f3de85da307b2f1e8525296d SHA512 9c80acc57016f98cd88455866523f2463a13d2b7e10cf0d63f5198747615321799a8b3442432b321fa4f33a051f404464e27972317d197ac9513651600673879
23 +DIST jane-street-headers-0.15.0.tar.gz 4865 BLAKE2B 932468266f6cd56ee2b484c5f4459919b2f0fa659a41d51132c169eda49734e5cc852e6aea5549173df6af603f3118de8bb8362b5d7ca5f27e00999d75eb8fa9 SHA512 83ea5e4cdbae6710c7071325164df06dcb652a69329698c5b0c8832057f4d7325e8a241e5818e78ad2f6b8daeb1d0635528d9bd3b6761c69f8370a7bdb773c1f
24
25 diff --git a/dev-ml/jane-street-headers/jane-street-headers-0.15.0.ebuild b/dev-ml/jane-street-headers/jane-street-headers-0.15.0.ebuild
26 new file mode 100644
27 index 000000000000..9a59ce4395d8
28 --- /dev/null
29 +++ b/dev-ml/jane-street-headers/jane-street-headers-0.15.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=7
35 +
36 +inherit dune
37 +
38 +DESCRIPTION="Jane Street header files"
39 +HOMEPAGE="https://github.com/janestreet/jane-street-headers"
40 +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
41 +
42 +LICENSE="Apache-2.0"
43 +SLOT="0/${PV}"
44 +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86"
45 +IUSE="+ocamlopt"
46 +
47 +DEPEND=""
48 +RDEPEND="${DEPEND}"