From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id E2C4115817D for ; Thu, 13 Jun 2024 04:25:44 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 30E44E2AC2; Thu, 13 Jun 2024 04:25:44 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [IPv6:2001:470:ea4a:1:5054:ff:fec7:86e4]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 0F0E9E2AC2 for ; Thu, 13 Jun 2024 04:25:44 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 2E4CB335C96 for ; Thu, 13 Jun 2024 04:25:43 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 872E211DF for ; Thu, 13 Jun 2024 04:25:41 +0000 (UTC) From: "Alfredo Tupone" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Alfredo Tupone" Message-ID: <1718252717.8acf254cf4352b9feab722dab78d52a4e65e6cd5.tupone@gentoo> Subject: [gentoo-commits] repo/gentoo:master commit in: profiles/, dev-ml/jane-street-headers/ X-VCS-Repository: repo/gentoo X-VCS-Files: dev-ml/jane-street-headers/Manifest dev-ml/jane-street-headers/jane-street-headers-0.17.0.ebuild profiles/package.mask X-VCS-Directories: profiles/ dev-ml/jane-street-headers/ X-VCS-Committer: tupone X-VCS-Committer-Name: Alfredo Tupone X-VCS-Revision: 8acf254cf4352b9feab722dab78d52a4e65e6cd5 X-VCS-Branch: master Date: Thu, 13 Jun 2024 04:25:41 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-Archives-Salt: ec840aa7-3966-406b-9bb7-15bcc77be96f X-Archives-Hash: 5d1292611fa68800c6883aae898f2a05 commit: 8acf254cf4352b9feab722dab78d52a4e65e6cd5 Author: Alfredo Tupone gentoo org> AuthorDate: Thu Jun 13 04:24:40 2024 +0000 Commit: Alfredo Tupone gentoo org> CommitDate: Thu Jun 13 04:25:17 2024 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8acf254c dev-ml/jane-street-headers: add 0.17.0 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/jane-street-headers/Manifest | 1 + .../jane-street-headers-0.17.0.ebuild | 19 +++++++++++++++++++ profiles/package.mask | 1 + 3 files changed, 21 insertions(+) diff --git a/dev-ml/jane-street-headers/Manifest b/dev-ml/jane-street-headers/Manifest index 0bacd48796fd..3656383c93bc 100644 --- a/dev-ml/jane-street-headers/Manifest +++ b/dev-ml/jane-street-headers/Manifest @@ -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 diff --git a/dev-ml/jane-street-headers/jane-street-headers-0.17.0.ebuild b/dev-ml/jane-street-headers/jane-street-headers-0.17.0.ebuild new file mode 100644 index 000000000000..10a84cc28c7d --- /dev/null +++ b/dev-ml/jane-street-headers/jane-street-headers-0.17.0.ebuild @@ -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" diff --git a/profiles/package.mask b/profiles/package.mask index 8707878703c2..572e3f3c8910 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -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 (2024-06-08) # EAPI=6, waiting for a version bump, not maintained for many years.