diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-10-22 21:49:09 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-10-22 21:49:09 +0100 |
commit | 7b77dd2858b06e4a9367ca16d4c24aacb119b142 (patch) | |
tree | d40eb3ef65318a983e47026b46893b578948e812 /dev-ml/dune/dune-2.9.1.ebuild | |
parent | e7ee940f138086bf22f5fb28ddf085d84152e93a (diff) |
gentoo auto-resync : 22:10:2022 - 21:49:09
Diffstat (limited to 'dev-ml/dune/dune-2.9.1.ebuild')
-rw-r--r-- | dev-ml/dune/dune-2.9.1.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
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:= |