gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-05 12:38:09 -07:00
Code Issues Projects Releases Wiki Activity

dev-ml/jane-street-headers: add 0.17.0

Browse Source 
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
This commit is contained in:
Alfredo Tupone
2024-06-13 06:24:40 +02:00
parent 392a497c48
commit 8acf254cf4
3 changed files with 21 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
dev-ml/jane-street-headers/Manifest
View File

@@ -1,3 +1,4 @@
DIST jane-street-headers-0.14.0.tar.gz 4662 BLAKE2B 22a48e9c254005d28c03399dd9d9347b45b7e3def9c0efdd768162f80ff611be6249d629cd78fd8768c7e6ec5610684e9459b149f3de85da307b2f1e8525296d SHA512 9c80acc57016f98cd88455866523f2463a13d2b7e10cf0d63f5198747615321799a8b3442432b321fa4f33a051f404464e27972317d197ac9513651600673879
DIST jane-street-headers-0.15.0.tar.gz 4865 BLAKE2B 932468266f6cd56ee2b484c5f4459919b2f0fa659a41d51132c169eda49734e5cc852e6aea5549173df6af603f3118de8bb8362b5d7ca5f27e00999d75eb8fa9 SHA512 83ea5e4cdbae6710c7071325164df06dcb652a69329698c5b0c8832057f4d7325e8a241e5818e78ad2f6b8daeb1d0635528d9bd3b6761c69f8370a7bdb773c1f
DIST jane-street-headers-0.16.0.tar.gz 4905 BLAKE2B 33301bd5221fb636a44a3e654ae1511d99645e0dbfea4f9765f5d2febf9cdab03d6a9a15f7cf1733ffa380e7c9fa5743d66487feda0e2e2088d1e748775e607c SHA512 05336733845b442e3594889ac6e8fe7048bb3fc23b5f8a05e48d42db6851e4aac561587a1e73b9d6fb1852b768dd66b949cd220b1a9effe83dd181707ea2ab24
DIST jane-street-headers-0.17.0.tar.gz 4940 BLAKE2B 21a6bd6ad436bac7afa9d051be26841bcef41d17ac88c9cb4d60417f5745130c6c252a6be8f6a38eb58f19f02c951243cfc5c971db67a0e6cba43d587291f0eb SHA512 200fafcbbdb86a5f183b42c7540f334ea77c0f879c793c18166c9c715500d603b22763787d8140cbcbd4eb3c6e0269bf3d3c380db67cf5b19776bd57daf379f1

19
dev-ml/jane-street-headers/jane-street-headers-0.17.0.ebuild Normal file
View File

@@ -0,0 +1,19 @@
# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
inherit dune
DESCRIPTION="Jane Street header files"
HOMEPAGE="https://github.com/janestreet/jane-street-headers"
SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
LICENSE="Apache-2.0"
SLOT="0/$(ver_cut 1-2)"
KEYWORDS="~amd64 ~arm64 ~ppc ~ppc64"
IUSE="+ocamlopt"
RDEPEND=">=dev-lang/ocaml-5"
DEPEND="${RDEPEND}"
BDEPEND=">=dev-ml/dune-3.11"

1
profiles/package.mask
View File

@@ -190,6 +190,7 @@ dev-ml/ppx_let:0/0.17
dev-ml/ppx_sexp_message:0/0.17
dev-ml/ppx_sexp_value:0/0.17
dev-ml/ppx_assert:0/0.17
dev-ml/jane-street-headers:0/0.17
# Arthur Zamarin <arthurzam@gentoo.org> (2024-06-08)
# EAPI=6, waiting for a version bump, not maintained for many years.