diff options
author | Arthur Zamarin <arthurzam@gentoo.org> | 2024-06-08 17:20:52 +0300 |
---|---|---|
committer | Arthur Zamarin <arthurzam@gentoo.org> | 2024-06-08 17:20:52 +0300 |
commit | d8f72cf81c6d3900ad53a3e65d2acb6c74b00f12 (patch) | |
tree | 6d5fc2ba5cb89c3fe0d825839a05b0fe5fec026f /dev-ml/dune-configurator | |
parent | dev-ml/dune-build-info: Stabilize 3.10.0 amd64, #933822 (diff) | |
download | gentoo-d8f72cf81c6d3900ad53a3e65d2acb6c74b00f12.tar.gz gentoo-d8f72cf81c6d3900ad53a3e65d2acb6c74b00f12.tar.bz2 gentoo-d8f72cf81c6d3900ad53a3e65d2acb6c74b00f12.zip |
dev-ml/dune-configurator: Stabilize 3.10.0 amd64, #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 916506b2160e..6c399300fd32 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" |