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}" |