diff options
| author |   Sam James <sam@gentoo.org> | 2024-06-08 16:32:04 +0100 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2024-06-08 16:32:04 +0100 |
| commit | adb5b27722dc3b541dd4ae94a63573aefb18795c (patch) | |
| tree | 1e202ef2aaa79f36902f71ba7ac65be5c8da0e7b /dev-ml/ordering | |
| parent | dev-ml/dyn: Stabilize 3.10.0 arm64, #933822 (diff) | |
| download | gentoo-adb5b27722dc3b541dd4ae94a63573aefb18795c.tar.gz gentoo-adb5b27722dc3b541dd4ae94a63573aefb18795c.tar.bz2 gentoo-adb5b27722dc3b541dd4ae94a63573aefb18795c.zip | |
dev-ml/ordering: Stabilize 3.10.0 arm64, #933822
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/ordering')
| -rw-r--r-- | dev-ml/ordering/ordering-3.10.0.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/ordering/ordering-3.10.0.ebuild b/dev-ml/ordering/ordering-3.10.0.ebuild index 5c8a9e6d997d..b8bb9283bc2e 100644 --- a/dev-ml/ordering/ordering-3.10.0.ebuild +++ b/dev-ml/ordering/ordering-3.10.0.ebuild @@ -13,7 +13,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" |