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 5DDB915808E for ; Sun, 24 Apr 2022 14:32:51 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id AF86DE0802; Sun, 24 Apr 2022 14:32:48 +0000 (UTC) Received: from smtp.gentoo.org (mail.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 0C2DFE07FE for ; Sun, 24 Apr 2022 14:32:46 +0000 (UTC) Received: from oystercatcher.gentoo.org (unknown [IPv6:2a01:4f8:202:4333:225:90ff:fed9:fc84]) (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 014E0341828 for ; Sun, 24 Apr 2022 14:32:45 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 516F33C7 for ; Sun, 24 Apr 2022 14:32:43 +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: <1650810752.ffe6ec60089463a228149221fb39613265cae2ce.tupone@gentoo> Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/base_quickcheck/ X-VCS-Repository: repo/gentoo X-VCS-Files: dev-ml/base_quickcheck/Manifest dev-ml/base_quickcheck/base_quickcheck-0.15.0.ebuild X-VCS-Directories: dev-ml/base_quickcheck/ X-VCS-Committer: tupone X-VCS-Committer-Name: Alfredo Tupone X-VCS-Revision: ffe6ec60089463a228149221fb39613265cae2ce X-VCS-Branch: master Date: Sun, 24 Apr 2022 14:32:43 +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: 6923e273-5ddf-494f-9285-ffe9109d7579 X-Archives-Hash: 67eedcbf7530cd0b3a1caae6c3cdb839 commit: ffe6ec60089463a228149221fb39613265cae2ce Author: Alfredo Tupone gentoo org> AuthorDate: Sun Apr 24 14:32:32 2022 +0000 Commit: Alfredo Tupone gentoo org> CommitDate: Sun Apr 24 14:32:32 2022 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ffe6ec60 dev-ml/base_quickcheck: 0.15.0 bump Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone gentoo.org> dev-ml/base_quickcheck/Manifest | 1 + .../base_quickcheck/base_quickcheck-0.15.0.ebuild | 24 ++++++++++++++++++++++ 2 files changed, 25 insertions(+) diff --git a/dev-ml/base_quickcheck/Manifest b/dev-ml/base_quickcheck/Manifest index 7e2546e715c7..1eded4aea16b 100644 --- a/dev-ml/base_quickcheck/Manifest +++ b/dev-ml/base_quickcheck/Manifest @@ -1,2 +1,3 @@ DIST base_quickcheck-0.14.0.tar.gz 66736 BLAKE2B eeaa92ec0eec4736be911128f46b8e4698034b2cb8afa131b31ee96a6edb5db0f28cfd611c101e4417305ee5a1babc2f869f4690b266218562a8fc50f5830acf SHA512 52333bee2591531665b8f8ad0fac1cdaa607b448d0a33b9b905cf98e00df5a700bf0a4ee3cdf3c06d7fcb2b5190363dd5908cc743b2854af9ce5c8d743e3fd58 DIST base_quickcheck-0.14.1.tar.gz 66827 BLAKE2B 2a274fc0edab3daf7e3d671f7ea24912ecf273cf2b4cb4ab2bd74171a8848163526f97ed860b44aeaa9f3f3faabb22f4598bf604b33c8401733faa22ca7a3c93 SHA512 5d5a3a070a6903ffdd1e13754721d48a9df164f78bd569d3a18b3fd808354550e4603b76d5e48eaa6a4c4d3433f18bb29888478d640fde9ea004619448c3d7d0 +DIST base_quickcheck-0.15.0.tar.gz 73702 BLAKE2B 0f671b6e48d38ac92b8e5150c1b6f7c4a1326cf12fcf3c14edf7ef376ca1769f8d708755a3b6cfc69a4d74de8d84affbc14838fc9385f487f2053936f1f116fa SHA512 e5362d70469c085239efaabbca6ca2558cb1609dfd2c3715d5c31047c8ae34b8304b9d28636806305f226929b0f9e3518b409de08f42f389963378f2aee6b351 diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.15.0.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.15.0.ebuild new file mode 100644 index 000000000000..916057e1d07d --- /dev/null +++ b/dev-ml/base_quickcheck/base_quickcheck-0.15.0.ebuild @@ -0,0 +1,24 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Randomized testing framework, designed for compatibility with Base" +HOMEPAGE="https://github.com/janestreet/base_quickcheck" +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" + +DEPEND=" + dev-ml/ppx_base:${SLOT} + dev-ml/ppx_fields_conv:${SLOT} + dev-ml/ppx_let:${SLOT} + dev-ml/ppx_sexp_value:${SLOT} + dev-ml/splittable_random:${SLOT} +" +RDEPEND="${DEPEND}"