diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-03-13 14:18:58 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-03-13 14:18:58 +0100 |
| commit | bade0e7faffcb9c962e1b6770f27eff6cabcb4a7 (patch) | |
| tree | a6b6dde2f99acb52f09bb2f99bb08607282f52f7 /sci-mathematics/coq | |
| parent | gnome-base/gnome-core-apps-41.3: ALLARCHES stable (diff) | |
| download | gentoo-bade0e7faffcb9c962e1b6770f27eff6cabcb4a7.tar.gz gentoo-bade0e7faffcb9c962e1b6770f27eff6cabcb4a7.tar.bz2 gentoo-bade0e7faffcb9c962e1b6770f27eff6cabcb4a7.zip | |
sci-mathematics/coq: re-add ~x86 keyword dropped by mistake
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/coq')
| -rw-r--r-- | sci-mathematics/coq/coq-8.15.0-r2.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/coq/coq-8.15.0-r2.ebuild b/sci-mathematics/coq/coq-8.15.0-r2.ebuild index 4bf8c498ab4d..fc4bad973709 100644 --- a/sci-mathematics/coq/coq-8.15.0-r2.ebuild +++ b/sci-mathematics/coq/coq-8.15.0-r2.ebuild @@ -15,7 +15,7 @@ S="${WORKDIR}/${MY_P}" LICENSE="LGPL-2.1" SLOT="0" -KEYWORDS="~amd64" +KEYWORDS="~amd64 ~x86" IUSE="doc gtk debug +ocamlopt" RESTRICT="test" # fails |