diff options
| author |   Jakov Smolić <jsmolic@gentoo.org> | 2021-12-10 18:14:55 +0100 |
|---|---|---|
| committer | Jakov Smolić <jsmolic@gentoo.org> | 2021-12-10 18:14:55 +0100 |
| commit | 09726303b5b6830274b70f56f525fc6cecd0f5a3 (patch) | |
| tree | 8b66b3ae8da36448ac0454eca9dac1d911a87127 /dev-ml/dune-private-libs | |
| parent | dev-ml/dune: Stabilize 2.9.1 x86, #817752 (diff) | |
| download | gentoo-09726303b5b6830274b70f56f525fc6cecd0f5a3.tar.gz gentoo-09726303b5b6830274b70f56f525fc6cecd0f5a3.tar.bz2 gentoo-09726303b5b6830274b70f56f525fc6cecd0f5a3.zip | |
dev-ml/dune-private-libs: Stabilize 2.9.1 x86, #817752
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Diffstat (limited to 'dev-ml/dune-private-libs')
| -rw-r--r-- | dev-ml/dune-private-libs/dune-private-libs-2.9.1.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-ml/dune-private-libs/dune-private-libs-2.9.1.ebuild b/dev-ml/dune-private-libs/dune-private-libs-2.9.1.ebuild index 265b35f1310c..2fac15d055e9 100644 --- a/dev-ml/dune-private-libs/dune-private-libs-2.9.1.ebuild +++ b/dev-ml/dune-private-libs/dune-private-libs-2.9.1.ebuild @@ -12,7 +12,7 @@ S="${WORKDIR}/dune-${PV}" LICENSE="Apache-2.0" SLOT="0/${PV}" -KEYWORDS="amd64 ~arm arm64 ~ppc ppc64 ~x86" +KEYWORDS="amd64 ~arm arm64 ~ppc ppc64 x86" IUSE="+ocamlopt test" RESTRICT="!test? ( test )" |