diff options
author | Arthur Zamarin <arthurzam@gentoo.org> | 2024-06-08 18:39:30 +0300 |
---|---|---|
committer | Arthur Zamarin <arthurzam@gentoo.org> | 2024-06-08 18:39:30 +0300 |
commit | a215ff4b2b69c68e39ff9a4828f6a9f426283f36 (patch) | |
tree | 50a47c59e4047c397ab9f48205eec0e9942e94c7 /dev-ml/dune-configurator | |
parent | dev-ml/dune: Stabilize 3.10.0 arm, #933822 (diff) | |
download | gentoo-a215ff4b2b69c68e39ff9a4828f6a9f426283f36.tar.gz gentoo-a215ff4b2b69c68e39ff9a4828f6a9f426283f36.tar.bz2 gentoo-a215ff4b2b69c68e39ff9a4828f6a9f426283f36.zip |
dev-ml/dune-configurator: Stabilize 3.10.0 arm, #933822
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Diffstat (limited to 'dev-ml/dune-configurator')
-rw-r--r-- | dev-ml/dune-configurator/dune-configurator-3.10.0.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/dune-configurator/dune-configurator-3.10.0.ebuild b/dev-ml/dune-configurator/dune-configurator-3.10.0.ebuild index b392af5bb121..61c47864a4a6 100644 --- a/dev-ml/dune-configurator/dune-configurator-3.10.0.ebuild +++ b/dev-ml/dune-configurator/dune-configurator-3.10.0.ebuild @@ -12,7 +12,7 @@ S="${WORKDIR}/dune-${PV}" LICENSE="Apache-2.0" SLOT="0/${PV}" -KEYWORDS="amd64 ~arm arm64 ~ppc ppc64 ~riscv x86" +KEYWORDS="amd64 arm arm64 ~ppc ppc64 ~riscv x86" IUSE="+ocamlopt" RESTRICT="test" |