commit: 0c35f3e1a7611e52b02732d95d2aadabcee0b84f
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sat Feb 8 21:51:36 2025 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sat Feb 8 21:51:36 2025 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0c35f3e1
sci-mathematics/coq: add ~arm64
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/coq/coq-8.17.1.ebuild | 2 +-
sci-mathematics/coq/coq-8.19.2.ebuild | 4 ++--
sci-mathematics/coq/coq-8.20.0.ebuild | 4 ++--
3 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/sci-mathematics/coq/coq-8.17.1.ebuild
b/sci-mathematics/coq/coq-8.17.1.ebuild
index 23f990fc6793..f9f1b9c3cb76 100644
--- a/sci-mathematics/coq/coq-8.17.1.ebuild
+++ b/sci-mathematics/coq/coq-8.17.1.ebuild
@@ -17,7 +17,7 @@ S="${WORKDIR}/${MY_P}"
LICENSE="LGPL-2.1"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
+KEYWORDS="~amd64 ~arm64 ~x86"
IUSE="debug doc gui +ocamlopt test"
# TODO: Lots of failing tests. Maybe investigate later.
diff --git a/sci-mathematics/coq/coq-8.19.2.ebuild
b/sci-mathematics/coq/coq-8.19.2.ebuild
index 4be3a3484836..b18c93f1bb56 100644
--- a/sci-mathematics/coq/coq-8.19.2.ebuild
+++ b/sci-mathematics/coq/coq-8.19.2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2024 Gentoo Authors
+# Copyright 1999-2025 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -17,7 +17,7 @@ S="${WORKDIR}/${MY_P}"
LICENSE="LGPL-2.1"
SLOT="0/${PV}"
-KEYWORDS="amd64 ~x86"
+KEYWORDS="amd64 ~arm64 ~x86"
IUSE="debug doc gui +ocamlopt test"
# TODO: Lots of failing tests. Maybe investigate later.
diff --git a/sci-mathematics/coq/coq-8.20.0.ebuild
b/sci-mathematics/coq/coq-8.20.0.ebuild
index ed305875cdd0..67166c74be15 100644
--- a/sci-mathematics/coq/coq-8.20.0.ebuild
+++ b/sci-mathematics/coq/coq-8.20.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2024 Gentoo Authors
+# Copyright 1999-2025 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -17,7 +17,7 @@ else
SRC_URI="https://github.com/coq/coq/archive/V${PV}.tar.gz
-> ${P}.tar.gz"
- KEYWORDS="amd64 ~x86"
+ KEYWORDS="amd64 ~arm64 ~x86"
fi
LICENSE="LGPL-2.1"
