gentoo auto-resync : 16:02:2025 - 00:13:18

5 files changed, 6 insertions, 6 deletions

diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index c14bfffc294a..cf07c06f8c9c 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
diff --git a/sci-mathematics/alt-ergo/Manifest b/sci-mathematics/alt-ergo/Manifest
index ddde0a292187..8099a696f646 100644
--- a/sci-mathematics/alt-ergo/Manifest
+++ b/sci-mathematics/alt-ergo/Manifest
@@ -1,4 +1,4 @@
 AUX alt-ergo-2.4.3-dune.patch 136 BLAKE2B 7a8740fd14531be7dc595dd3dc3eef119c39943fbec98c9784f6a25dcc1947ebefacd079bcc95a48b07f8d94641ad66261e06efd18edc5cfe59783626b6bcf4d SHA512 016d80dc17436e469746822f62a1748a661a74e5ec2009a0f297a75a763b645cb95e564727ba03434602c494bf866f563adf558ff24f915d50fe198f9c9fe3c1
 DIST alt-ergo-2.4.3.tar.gz 2902450 BLAKE2B bb8931dc512e3745496c1801fe959ac0fc4758b03049462506689021508a4ea364f0aae8679c776d8154c9f86a09080801c9b822d23355c572a24bd8b0e38210 SHA512 88a26b138e41997516085dbbf279e1ce11d03c18c0464ba80d5403dc80ff0f8cb5cbd4ad1489a60ff2a3b9539f9c55e4274008b14eed47b6fd057ce0a94ef98f
-EBUILD alt-ergo-2.4.3-r2.ebuild 1380 BLAKE2B 306919a58792d8b5caf063b634e6e4f9f5897151cd753105a3cdbaea1b3efa23197787db0a1e79611964923e1b22ec4ffa1d0f973db48595f0be0a631e0e544e SHA512 8c587fc859d4a136ff09a38def1b4c3168e15b400089f6abc26e42766157f58ee01a5ec2229e1a8e90e62952364c049f3aa0ffe2c884a7e29fe0575f2c70ee3a
+EBUILD alt-ergo-2.4.3-r2.ebuild 1387 BLAKE2B bfc1a3e687242ccb1bd5e76cae7a01cea1137bbb74e08714e8e2195bce6e56ef79b83c4a14d936a9efec61a697dcef45907ef4a6cb46525e10172abfaf748bb5 SHA512 bb1a9a877253ee6739c017a0993278ab9cfda95b63195be04a93265091151de626779457bdbbdb8ccc3b62df0a007797887c27e7e598d97bc2491714ac583ae3
 MISC metadata.xml 957 BLAKE2B 2ac1b5428ee88fa81b3898a351b770b9a3b4e91ad049e7ab2b5b62e3ddcef635e2f19f801ef1c067b51c2f30f513b40a82e968a314be10e7a5ff795df24dd6d5 SHA512 bcbe312badeb5f3d6c243d620ec5744ac6bf3c23e6bc7b6327c7a1a72b42f2cc68cd4326b065a3fca3c2a9c7c1670e2a84ca1ca2e7bf423a274025010a6735f4
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.3-r2.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.4.3-r2.ebuild
index 22c57ef35837..48d652407987 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.4.3-r2.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.4.3-r2.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
@@ -15,7 +15,7 @@ if [[ ${PV} == *9999* ]] ; then
 else
 	SRC_URI="https://github.com/OCamlPro/${PN}/archive/${PV}.tar.gz
 		-> ${P}.tar.gz"
-	KEYWORDS="amd64"
+	KEYWORDS="amd64 ~arm64"
 fi
 
 LICENSE="CeCILL-C"
diff --git a/sci-mathematics/psmt2-frontend/Manifest b/sci-mathematics/psmt2-frontend/Manifest
index b6ef0c577f89..b1629077b92e 100644
--- a/sci-mathematics/psmt2-frontend/Manifest
+++ b/sci-mathematics/psmt2-frontend/Manifest
@@ -1,3 +1,3 @@
 DIST psmt2-frontend-0.4.0.tar.gz 70801 BLAKE2B 337b3a87e9bff1c48eec9be4b1b50539c0114cdcdba1ac9c64ee180f73451b6a500f4a970a4f557dc3b886c5932bb72bb0b1b5e130a833b05502954c5279e702 SHA512 68b883f4bc4e0e39162807ffae251782871f372850c469889ea5ba5cf59388e363b1de5bc8087ad8624a1466b52611d0e41d78c6c3e6ac8af7c6e6e5c35630c5
-EBUILD psmt2-frontend-0.4.0.ebuild 591 BLAKE2B e6c8444f7401566e19ce5cfeddfbac2d7df46d78d7b6bd171df3cf547cdaddd245fde9e157b23707d29bf73fef6226f90f81e735a91d9baa10590d576d05acc1 SHA512 2f594d42be049cceb40fffe52b336790863abd16b1507c1edd8061c737c7f29125828b51d2eb99fd1f63a5bd05e0501ae9df39901ea48c9fc677ad113083058a
+EBUILD psmt2-frontend-0.4.0.ebuild 598 BLAKE2B 5e415bc0483b3bbc42cee31641f0d1bf28024a93743d706173fc2f321614ca61020c030d561b33c9331edebad1c3c00031ceb7a7d3b142a707a06713ff5c8230 SHA512 0fb3fce854fda2a1849f2ffe6e0648c33b2b6ed0ce7d502103a1c30672d12393a12b21731d727477e8f1d65856d8d9672fac52091ed7d2b48389860e7d285d64
 MISC metadata.xml 731 BLAKE2B 14577e7299ccd12be2ce493d8544a43bf3cafc7ffe7dff3be057f1428b467a0f47195b937303c50b284e5df1896765436d0f122472fe2d9aab0ddcf45f7fe140 SHA512 6bf3fdf46245ea1c9ff4b032ebba4feb6b519ec16605b1f486a2daf28961a4fe7f58b419b31eacf077e2cb64ca3e846dc21d741c7a4be3b57003e55c572c985a
diff --git a/sci-mathematics/psmt2-frontend/psmt2-frontend-0.4.0.ebuild b/sci-mathematics/psmt2-frontend/psmt2-frontend-0.4.0.ebuild
index 804904c9a49b..5c04ad46c2ca 100644
--- a/sci-mathematics/psmt2-frontend/psmt2-frontend-0.4.0.ebuild
+++ b/sci-mathematics/psmt2-frontend/psmt2-frontend-0.4.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 2019-2022 Gentoo Authors
+# Copyright 2019-2025 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/OCamlPro-Coquera/${PN}/archive/${PV}.tar.gz -> ${P}.
 
 LICENSE="Apache-2.0"
 SLOT="0/${PV}"
-KEYWORDS="amd64 ~x86"
+KEYWORDS="amd64 ~arm64 ~x86"
 IUSE="+ocamlopt test"
 RESTRICT="!test? ( test )"