diff options
author | Sam James <sam@gentoo.org> | 2024-08-16 14:57:40 +0100 |
---|---|---|
committer | Sam James <sam@gentoo.org> | 2024-08-16 14:57:40 +0100 |
commit | 97965fb263dc2be2419f485c907f4c7961b534a0 (patch) | |
tree | 83ed35e662ea334c9a390ae834cb6b7b6bccf656 /dev-ml/dune-configurator | |
parent | dev-ml/dune-build-info: Stabilize 3.16.0 ppc64, #937870 (diff) | |
download | gentoo-97965fb263dc2be2419f485c907f4c7961b534a0.tar.gz gentoo-97965fb263dc2be2419f485c907f4c7961b534a0.tar.bz2 gentoo-97965fb263dc2be2419f485c907f4c7961b534a0.zip |
dev-ml/dune-configurator: Stabilize 3.16.0 ppc64, #937870
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/dune-configurator')
-rw-r--r-- | dev-ml/dune-configurator/dune-configurator-3.16.0.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/dune-configurator/dune-configurator-3.16.0.ebuild b/dev-ml/dune-configurator/dune-configurator-3.16.0.ebuild index ec40dbc4bf13..64655885dfcc 100644 --- a/dev-ml/dune-configurator/dune-configurator-3.16.0.ebuild +++ b/dev-ml/dune-configurator/dune-configurator-3.16.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" |