diff options
author | Sam James <sam@gentoo.org> | 2023-02-23 23:37:53 +0000 |
---|---|---|
committer | Sam James <sam@gentoo.org> | 2023-02-23 23:37:53 +0000 |
commit | a5a891f05a9938cd197bbc56f3eafe00470258d6 (patch) | |
tree | afb94f513436ba14613652c73db32d118b2e253a /dev-ml/dune-site | |
parent | dev-ml/dune-configurator: Stabilize 2.9.3 amd64, #896102 (diff) | |
download | gentoo-a5a891f05a9938cd197bbc56f3eafe00470258d6.tar.gz gentoo-a5a891f05a9938cd197bbc56f3eafe00470258d6.tar.bz2 gentoo-a5a891f05a9938cd197bbc56f3eafe00470258d6.zip |
dev-ml/dune-site: Stabilize 2.9.3 amd64, #896102
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/dune-site')
-rw-r--r-- | dev-ml/dune-site/dune-site-2.9.3.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/dune-site/dune-site-2.9.3.ebuild b/dev-ml/dune-site/dune-site-2.9.3.ebuild index e490578f9b6c..b2f0ef88c65b 100644 --- a/dev-ml/dune-site/dune-site-2.9.3.ebuild +++ b/dev-ml/dune-site/dune-site-2.9.3.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -12,7 +12,7 @@ S="${WORKDIR}/dune-${PV}" LICENSE="MIT" SLOT="0/${PV}" -KEYWORDS="~amd64 ~x86" +KEYWORDS="amd64 ~x86" IUSE="+ocamlopt" RESTRICT="test" |