From: "Alfredo Tupone" <tupone@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/base_quickcheck/
Date: Tue, 15 Apr 2025 18:37:33 +0000 (UTC) [thread overview]
Message-ID: <1744742010.95712c46ebdf7b86cc79b35beeaa2245d45a4578.tupone@gentoo> (raw)
commit: 95712c46ebdf7b86cc79b35beeaa2245d45a4578
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Tue Apr 15 09:11:17 2025 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Tue Apr 15 18:33:30 2025 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=95712c46
dev-ml/base_quickcheck: drop 0.14.0-r1, 0.14.1-r2
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
dev-ml/base_quickcheck/Manifest | 2 --
.../base_quickcheck-0.14.0-r1.ebuild | 31 ----------------------
.../base_quickcheck-0.14.1-r2.ebuild | 30 ---------------------
3 files changed, 63 deletions(-)
diff --git a/dev-ml/base_quickcheck/Manifest b/dev-ml/base_quickcheck/Manifest
index 1126040d2623..7254d45b3aa1 100644
--- a/dev-ml/base_quickcheck/Manifest
+++ b/dev-ml/base_quickcheck/Manifest
@@ -1,5 +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
DIST base_quickcheck-0.16.0.tar.gz 76738 BLAKE2B b54fac86332bfe06b767345898c2e1a7a6f70de26cb06d16467d634eee3117d7ab571f611d17f692776c519dfa4ab7de9c948b08e44016e1e05fdff565a16246 SHA512 c859f2982140ec72b3377e3f167117df43f8cb14b62d3949e92ecf479cb27b4c31bb2dfa9111da24ce42f969452582ba076aef868d304b97c08f2918759cc291
DIST base_quickcheck-0.17.0.tar.gz 67016 BLAKE2B acd54bfeb74a3b7f8f72fdcc4b92c8dd161f87f82bb6eca175d15947b6a04b9e13015c10562a5ce1a93c6019498d7c2f9f65dc2a7a5bbfcd78011e5731aabb04 SHA512 66503fd6c94bc7f68bf24ce554cefc681df0fd54b9d72539de51047a193143153f0332d81ee2c94e860b7c6953266ce79b64ef32f904150b0c9c70f7c43069d4
diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.14.0-r1.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.14.0-r1.ebuild
deleted file mode 100644
index 2edb781f920b..000000000000
--- a/dev-ml/base_quickcheck/base_quickcheck-0.14.0-r1.ebuild
+++ /dev/null
@@ -1,31 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-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/${PV}"
-KEYWORDS="amd64 arm arm64 ~ppc ppc64 x86"
-IUSE="+ocamlopt"
-
-DEPEND="
- >=dev-ml/base-0.14.0:=
- >=dev-ml/ppx_base-0.14.0:=
- >=dev-ml/ppx_fields_conv-0.14.1:=
- >=dev-ml/ppx_let-0.14.0:=
- >=dev-ml/ppx_sexp_message-0.14.0:=
- >=dev-ml/ppx_sexp_value-0.14.0:=
- dev-ml/splittable_random:=
- >=dev-ml/ppxlib-0.18.0:=
- <dev-ml/ppxlib-0.22.0:=
- >=dev-ml/ocaml-migrate-parsetree-2.0.0:=
- dev-ml/cinaps:=
- dev-ml/sexplib0:=
-"
-RDEPEND="${DEPEND}"
diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.14.1-r2.ebuild b/dev-ml/base_quickcheck/base_quickcheck-0.14.1-r2.ebuild
deleted file mode 100644
index 13b91a9e745e..000000000000
--- a/dev-ml/base_quickcheck/base_quickcheck-0.14.1-r2.ebuild
+++ /dev/null
@@ -1,30 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-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/${PV}"
-KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86"
-IUSE="+ocamlopt"
-
-DEPEND="
- >=dev-ml/base-0.14.0:=
- >=dev-ml/ppx_base-0.14.0:=
- >=dev-ml/ppx_fields_conv-0.14.1:=
- >=dev-ml/ppx_let-0.14.0:=
- >=dev-ml/ppx_sexp_message-0.14.0:=
- >=dev-ml/ppx_sexp_value-0.14.0:=
- dev-ml/splittable_random:=
- >=dev-ml/ppxlib-0.22.0:=
- >=dev-ml/ocaml-migrate-parsetree-2.0.0:=
- dev-ml/cinaps:=
- dev-ml/sexplib0:=
-"
-RDEPEND="${DEPEND}"
next reply other threads:[~2025-04-15 18:38 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-04-15 18:37 Alfredo Tupone [this message]
-- strict thread matches above, loose matches on Subject: below --
2025-07-09 6:31 [gentoo-commits] repo/gentoo:master commit in: dev-ml/base_quickcheck/ Alfredo Tupone
2025-07-09 6:31 Alfredo Tupone
2025-06-04 19:42 Alfredo Tupone
2024-06-05 19:37 Alfredo Tupone
2023-07-01 20:12 Alfredo Tupone
2023-04-01 19:52 Sam James
2023-03-25 15:37 Arthur Zamarin
2023-03-25 15:37 Arthur Zamarin
2023-03-25 15:37 Arthur Zamarin
2023-03-16 13:42 Alfredo Tupone
2023-02-10 8:15 Alfredo Tupone
2023-01-28 21:23 Alfredo Tupone
2022-10-19 20:42 Alfredo Tupone
2022-04-24 14:32 Alfredo Tupone
2021-10-15 3:43 Sam James
2021-10-06 1:02 Sam James
2021-02-12 22:19 Sam James
2020-10-17 1:16 Sam James
2020-10-15 12:42 Sam James
2020-10-15 1:19 Sam James
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1744742010.95712c46ebdf7b86cc79b35beeaa2245d45a4578.tupone@gentoo \
--to=tupone@gentoo.org \
--cc=gentoo-commits@lists.gentoo.org \
--cc=gentoo-dev@lists.gentoo.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox