diff options
| author |   Sam James <sam@gentoo.org> | 2021-03-14 00:36:14 +0000 |
|---|---|---|
| committer | Sam James <sam@gentoo.org> | 2021-03-14 00:46:41 +0000 |
| commit | e474f95e7c9ed38059ac50ee1a6ed0637c4220cd (patch) | |
| tree | 94f6603019864cc6cff0f54029cb5c8af68609ab /dev-ml/dune-configurator | |
| parent | dev-ml/menhir: Stabilize 20190924 arm64, #772833 (diff) | |
| download | gentoo-e474f95e7c9ed38059ac50ee1a6ed0637c4220cd.tar.gz gentoo-e474f95e7c9ed38059ac50ee1a6ed0637c4220cd.tar.bz2 gentoo-e474f95e7c9ed38059ac50ee1a6ed0637c4220cd.zip | |
dev-ml/dune-configurator: Stabilize 2.8.2-r1 arm64, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/dune-configurator')
| -rw-r--r-- | dev-ml/dune-configurator/dune-configurator-2.8.2-r1.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/dune-configurator/dune-configurator-2.8.2-r1.ebuild b/dev-ml/dune-configurator/dune-configurator-2.8.2-r1.ebuild index 2ada96a9d76f..acd4036fd3ae 100644 --- a/dev-ml/dune-configurator/dune-configurator-2.8.2-r1.ebuild +++ b/dev-ml/dune-configurator/dune-configurator-2.8.2-r1.ebuild @@ -12,7 +12,7 @@ S="${WORKDIR}/dune-${PV}" LICENSE="MIT" SLOT="0/${PV}" -KEYWORDS="amd64 arm ~arm64 ppc ppc64 x86" +KEYWORDS="amd64 arm arm64 ppc ppc64 x86" IUSE="+ocamlopt test" RESTRICT="!test? ( test )" |