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.8.4.ebuild | |
parent | e7ee940f138086bf22f5fb28ddf085d84152e93a (diff) |
gentoo auto-resync : 22:10:2022 - 21:49:09
Diffstat (limited to 'dev-ml/dune/dune-2.8.4.ebuild')
-rw-r--r-- | dev-ml/dune/dune-2.8.4.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/dune/dune-2.8.4.ebuild b/dev-ml/dune/dune-2.8.4.ebuild index 146db1958245..23186715e63b 100644 --- a/dev-ml/dune/dune-2.8.4.ebuild +++ b/dev-ml/dune/dune-2.8.4.ebuild @@ -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:= |