sci-mathematics/coq: Stabilize 8.17.0 x86, #907179

Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
This commit is contained in:
Arthur Zamarin 2023-05-26 23:05:46 +03:00
parent 2919960d87
commit 3ab5a68e7a
No known key found for this signature in database
GPG Key ID: 02A0AF503D120504
1 changed files with 1 additions and 1 deletions

View File

@ -17,7 +17,7 @@ S="${WORKDIR}"/${MY_P}
LICENSE="LGPL-2.1"
SLOT="0/${PV}"
KEYWORDS="~amd64 ~x86"
KEYWORDS="~amd64 x86"
IUSE="debug doc gui +ocamlopt test"
RESTRICT="!test? ( test )"