From 555d9dd45a1cbfb7fc3ca51e8397b40ce10aa08a Mon Sep 17 00:00:00 2001 From: Alfredo Tupone Date: Sat, 12 Apr 2025 14:32:36 +0200 Subject: [PATCH] dev-ml/re: fix BDEPD on dune Closes: https://bugs.gentoo.org/948488 Signed-off-by: Alfredo Tupone --- dev-ml/re/{re-1.13.0-r1.ebuild => re-1.13.0-r2.ebuild} | 3 ++- dev-ml/re/{re-1.13.3-r1.ebuild => re-1.13.3-r2.ebuild} | 1 + 2 files changed, 3 insertions(+), 1 deletion(-) rename dev-ml/re/{re-1.13.0-r1.ebuild => re-1.13.0-r2.ebuild} (93%) rename dev-ml/re/{re-1.13.3-r1.ebuild => re-1.13.3-r2.ebuild} (97%) diff --git a/dev-ml/re/re-1.13.0-r1.ebuild b/dev-ml/re/re-1.13.0-r2.ebuild similarity index 93% rename from dev-ml/re/re-1.13.0-r1.ebuild rename to dev-ml/re/re-1.13.0-r2.ebuild index 3d074e35ed5e2..585a98ca1f0b1 100644 --- a/dev-ml/re/re-1.13.0-r1.ebuild +++ b/dev-ml/re/re-1.13.0-r2.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2024 Gentoo Authors +# Copyright 1999-2025 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -32,6 +32,7 @@ DEPEND=" ${RDEPEND} " BDEPEND=" + >=dev-ml/dune-3.12 test? ( dev-ml/ounit2 dev-ml/ppx_expect diff --git a/dev-ml/re/re-1.13.3-r1.ebuild b/dev-ml/re/re-1.13.3-r2.ebuild similarity index 97% rename from dev-ml/re/re-1.13.3-r1.ebuild rename to dev-ml/re/re-1.13.3-r2.ebuild index 1ea660fa7a8d3..0f09f8adc825a 100644 --- a/dev-ml/re/re-1.13.3-r1.ebuild +++ b/dev-ml/re/re-1.13.3-r2.ebuild @@ -32,6 +32,7 @@ DEPEND=" ${RDEPEND} " BDEPEND=" + >=dev-ml/dune-3.12 test? ( dev-ml/ounit2 dev-ml/ppx_expect