From 7b77dd2858b06e4a9367ca16d4c24aacb119b142 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sat, 22 Oct 2022 21:49:09 +0100 Subject: gentoo auto-resync : 22:10:2022 - 21:49:09 --- dev-ml/dune/dune-2.9.1.ebuild | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'dev-ml/dune/dune-2.9.1.ebuild') diff --git a/dev-ml/dune/dune-2.9.1.ebuild b/dev-ml/dune/dune-2.9.1.ebuild index 4746983b3343..ac8529ce89b1 100644 --- a/dev-ml/dune/dune-2.9.1.ebuild +++ b/dev-ml/dune/dune-2.9.1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2021 Gentoo Authors +# Copyright 1999-2022 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -13,7 +13,7 @@ LICENSE="MIT" SLOT="0/${PV}" KEYWORDS="amd64 ~arm arm64 ~ppc ppc64 x86" IUSE="test" -RESTRICT="!test? ( test )" +RESTRICT="strip !test? ( test )" RDEPEND=" >=dev-lang/ocaml-4.08:= -- cgit v1.2.3