diff options
author | Jakov Smolić <jsmolic@gentoo.org> | 2021-12-10 18:14:56 +0100 |
---|---|---|
committer | Jakov Smolić <jsmolic@gentoo.org> | 2021-12-10 18:14:56 +0100 |
commit | b10bfbc11e4d78de628708efaf50d4d1f7d051dc (patch) | |
tree | ea6c34b33ce91fc5ee172b75c6ac4dc4a625432b /dev-ml | |
parent | dev-ml/dune-private-libs: Stabilize 2.9.1 x86, #817752 (diff) | |
download | gentoo-b10bfbc11e4d78de628708efaf50d4d1f7d051dc.tar.gz gentoo-b10bfbc11e4d78de628708efaf50d4d1f7d051dc.tar.bz2 gentoo-b10bfbc11e4d78de628708efaf50d4d1f7d051dc.zip |
dev-ml/dune-configurator: Stabilize 2.9.1 x86, #817752
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Diffstat (limited to 'dev-ml')
-rw-r--r-- | dev-ml/dune-configurator/dune-configurator-2.9.1.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/dune-configurator/dune-configurator-2.9.1.ebuild b/dev-ml/dune-configurator/dune-configurator-2.9.1.ebuild index 409af203dde5..b781e0525f03 100644 --- a/dev-ml/dune-configurator/dune-configurator-2.9.1.ebuild +++ b/dev-ml/dune-configurator/dune-configurator-2.9.1.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 )" |