diff options
| author |   Jakov Smolić <jsmolic@gentoo.org> | 2023-04-17 18:54:35 +0200 |
|---|---|---|
| committer | Jakov Smolić <jsmolic@gentoo.org> | 2023-04-17 18:54:35 +0200 |
| commit | 63d7252c3b22c0193014fa6ef3ae7e1ffd005fd9 (patch) | |
| tree | 670f658de3598fe14b1b6216290d5137878cb8fc /dev-ml | |
| parent | media-fonts/noto: Stabilize 20230201 arm64, #904472 (diff) | |
| download | gentoo-63d7252c3b22c0193014fa6ef3ae7e1ffd005fd9.tar.gz gentoo-63d7252c3b22c0193014fa6ef3ae7e1ffd005fd9.tar.bz2 gentoo-63d7252c3b22c0193014fa6ef3ae7e1ffd005fd9.zip | |
dev-ml/dune-site: Keyword 3.7.1 arm, #904475
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/dune-site/dune-site-3.7.1.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/dune-site/dune-site-3.7.1.ebuild b/dev-ml/dune-site/dune-site-3.7.1.ebuild index 86c18b3cac7e..5f0b9a66b3dc 100644 --- a/dev-ml/dune-site/dune-site-3.7.1.ebuild +++ b/dev-ml/dune-site/dune-site-3.7.1.ebuild @@ -13,7 +13,7 @@ S="${WORKDIR}/dune-${PV}" LICENSE="MIT" SLOT="0/${PV}" -KEYWORDS="~amd64 ~x86" +KEYWORDS="~amd64 ~arm ~x86" IUSE="+ocamlopt" RESTRICT="test" |