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 B716915800D for ; Sun, 2 Jul 2023 07:22:56 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 7747BE0872; Sun, 2 Jul 2023 07:22:53 +0000 (UTC) Received: from smtp.gentoo.org (woodpecker.gentoo.org [140.211.166.183]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 5A34BE0872 for ; Sun, 2 Jul 2023 07:22:53 +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)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 6606634072E for ; Sun, 2 Jul 2023 07:22:52 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 8DA73AD3 for ; Sun, 2 Jul 2023 07:22:48 +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: <1688282528.2796109708c6f26ef9fcefdbb3ea04a2c45f9bb0.tupone@gentoo> Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/core/ X-VCS-Repository: repo/gentoo X-VCS-Files: dev-ml/core/Manifest dev-ml/core/core-0.16.1.ebuild X-VCS-Directories: dev-ml/core/ X-VCS-Committer: tupone X-VCS-Committer-Name: Alfredo Tupone X-VCS-Revision: 2796109708c6f26ef9fcefdbb3ea04a2c45f9bb0 X-VCS-Branch: master Date: Sun, 2 Jul 2023 07:22:48 +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: 7414f93f-8ec3-456c-9e6f-023f8ca75db1 X-Archives-Hash: ed04e75aa8b4a2fbb35f8569cbd6d746 commit: 2796109708c6f26ef9fcefdbb3ea04a2c45f9bb0 Author: Alfredo Tupone gentoo org> AuthorDate: Sun Jul 2 07:03:36 2023 +0000 Commit: Alfredo Tupone gentoo org> CommitDate: Sun Jul 2 07:22:08 2023 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=27961097 dev-ml/core: add 0.16.1 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/core/Manifest | 1 + dev-ml/core/core-0.16.1.ebuild | 43 ++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 44 insertions(+) diff --git a/dev-ml/core/Manifest b/dev-ml/core/Manifest index 9f7a0508cba2..144daecced49 100644 --- a/dev-ml/core/Manifest +++ b/dev-ml/core/Manifest @@ -2,3 +2,4 @@ DIST core-0.14.0.tar.gz 361607 BLAKE2B 1602857bee142c23101380e6d54b6f8df1be8bb67 DIST core-0.14.1.tar.gz 361679 BLAKE2B ca43016c760e620f9073defd84a07bacaa0557d42fd9a60d6c4c894187671526ae07e0b93d29bee961b3460e1b0ec5cb346cc711d583c71fde94a9bf9992bf7e SHA512 29482b1f611f2f15f11562bfed7f8a47d2926333601ed57867c8c134d4b10dbf2ba0309ceb6ae602fe8bca1e1f9324603dba37a5df3183cd0cb690104817ed3f DIST core-0.15.0.tar.gz 522984 BLAKE2B b6fdc9d7fe133c504f89ba492e63d090e2ca4e413e96eb8c216213ea358d84ae89ef1d372525b53f701e8076e4e0670ea3535f399f3f735b3b7da383901def09 SHA512 a73a3c1c6f0ade9a9e49917bb896e62afc4fda44dd90ffa99ef9ba24debe7166b4fe1b374500a044cad8318d12f250de7fe2dd935015efde379cf91a2241f51b DIST core-0.15.1.tar.gz 522517 BLAKE2B 1dc1245708f392161ce04ab121dfff550f13a8aa75b967bc3c32f474641b455355bbeb63ef1c7492947f46c3391cd877b96a8e35c083d0406135e840647715b2 SHA512 2c04fdd989d016faaa2dee4b13372d3e228f0011151ae5f747c1eb6206820a61779a87eb7e2ecc6e1ddf77872a69a07636a93d24df61b4a2ba2a1b745f499b16 +DIST core-0.16.1.tar.gz 542242 BLAKE2B ad0b3c1b55b960f040dc0ed82a2c3c19447dfe635d2d25adab63a0ea529867cd6692fe258af3c5896ea63b5438f96b75007b4e2e5ea1d34b3c13936a7b369aeb SHA512 5f9f4400b6e42b74ffd57223cb67884368d324739565bbb20162547ede8bd6d0ece3cc265503b674829f9cf373784e8036d4c73e26e9196aa5446de69b63e181 diff --git a/dev-ml/core/core-0.16.1.ebuild b/dev-ml/core/core-0.16.1.ebuild new file mode 100644 index 000000000000..dc2f2c901b50 --- /dev/null +++ b/dev-ml/core/core-0.16.1.ebuild @@ -0,0 +1,43 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Jane Street's alternative to the standard library" +HOMEPAGE="https://github.com/janestreet/core" +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="MIT" +SLOT="0/$(ver_cut 1-2)" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="+ocamlopt" + +RDEPEND=" + >=dev-lang/ocaml-4.14 + dev-ml/base:${SLOT} + dev-ml/base_bigstring:${SLOT} + dev-ml/base_quickcheck:${SLOT} + dev-ml/bin_prot:${SLOT} + dev-ml/ppxlib:= + dev-ml/ppx_bin_prot:= + dev-ml/ppx_bench:= + dev-ml/ppx_custom_printf:= + dev-ml/ppx_disable_unused_warnings:= + dev-ml/ppx_fields_conv:= + dev-ml/ppx_fixed_literal:= + dev-ml/ppx_let:= + dev-ml/ppx_log:= + dev-ml/ppx_jane:${SLOT} + dev-ml/ppx_module_timer:= + dev-ml/ppx_optional:= + dev-ml/ppx_pipebang:= + dev-ml/ppx_sexp_message:${SLOT} + dev-ml/ppx_sexp_value:= + dev-ml/ppx_stable:= + dev-ml/ppx_string:= + dev-ml/ppx_ignore_instrumentation:= + dev-ml/typerep:${SLOT} +" +DEPEND="${RDEPEND}"