commit:     42fcf18cf7003d6d969cbd482b778fb7e22b5164
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Wed Nov 26 18:47:55 2025 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Wed Nov 26 18:53:21 2025 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=42fcf18c

dev-ml/base_quickcheck: drop 0.15.0-r3

Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 dev-ml/base_quickcheck/Manifest                    |  1 -
 .../base_quickcheck-0.15.0-r3.ebuild               | 27 ----------------------
 2 files changed, 28 deletions(-)

diff --git a/dev-ml/base_quickcheck/Manifest b/dev-ml/base_quickcheck/Manifest
index 1c3405725b3d..92d33257d357 100644
--- a/dev-ml/base_quickcheck/Manifest
+++ b/dev-ml/base_quickcheck/Manifest
@@ -1,4 +1,3 @@
-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
 DIST base_quickcheck-0.17.1.tar.gz 67058 BLAKE2B 
02ffc2a816a4e84e92d6839777ea429f9f06361ecbc5705481bc6c385a5ce80c04f8eb5d0a34f04838dce983f70a1bb15c20cc5b48917c753cca076fe36a8982
 SHA512 
d345b0333508f6f49fe636455139e563b0594bd2cf56534d2f42ed083906e41bb4e009996ed7db8989d8409899d25cfcdbd71021260486c310f7e0fd63df56d9

diff --git a/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r3.ebuild 
b/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r3.ebuild
deleted file mode 100644
index a4307412236a..000000000000
--- a/dev-ml/base_quickcheck/base_quickcheck-0.15.0-r3.ebuild
+++ /dev/null
@@ -1,27 +0,0 @@
-# Copyright 1999-2024 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/base:${SLOT}
-       dev-ml/fieldslib:0/${PV}
-       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}
-       >=dev-ml/ppxlib-0.23.0:=
-"
-RDEPEND="${DEPEND}"

Reply via email to