gentoo auto-resync : 16:08:2023 - 09:29:11

5 files changed, 4 insertions, 4 deletions

diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index 7af2a08c0fa3..d058bf0103ec 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 9d5320f0749a..f92ef1a3eeb0 100644
--- a/sci-mathematics/alt-ergo/Manifest
+++ b/sci-mathematics/alt-ergo/Manifest
@@ -5,6 +5,6 @@ DIST alt-ergo-2.4.2.tar.gz 2884553 BLAKE2B 95392625a6b17b3a2e41070a7f70ba124a95d
 DIST alt-ergo-2.4.3.tar.gz 2902450 BLAKE2B bb8931dc512e3745496c1801fe959ac0fc4758b03049462506689021508a4ea364f0aae8679c776d8154c9f86a09080801c9b822d23355c572a24bd8b0e38210 SHA512 88a26b138e41997516085dbbf279e1ce11d03c18c0464ba80d5403dc80ff0f8cb5cbd4ad1489a60ff2a3b9539f9c55e4274008b14eed47b6fd057ce0a94ef98f
 EBUILD alt-ergo-2.4.1-r2.ebuild 1003 BLAKE2B 5adc8d1899e50c29fe46cbd404ea52b543acec152a0445bc858903bf01976fe19ca27c1cb5fff78c4f0cd18656d1533b4ac1fad04c2873e5a45f9290b429b6a8 SHA512 2f7d5a3aa6706254fa55c80dedb1ec5022d57d39b38bdeeb9f19f75bcdb8428ff5857a57f5dcdd6b2aed0b8fb6f5f6c65a8d13776d6c988e1f202bad5bc62b49
 EBUILD alt-ergo-2.4.2-r1.ebuild 1114 BLAKE2B fd5c641a87131c346c00d7d5b982c4a325fd21dbd60aee5958037502f0e72cfed5e99fffc4695ea6a27ecfb65d4c3dc8efd9c8a9985fc4eab9d7d39d681242be SHA512 331339fdff053d018af9e8a5fc20e69707617ceb65f876c2705109b70cde9794cfb03ed888a91af2bffc74dabc318bf2591fa1cee5585fbdb60357c44420bb32
-EBUILD alt-ergo-2.4.3.ebuild 1382 BLAKE2B 9111155de5276042880f9ef4fa10f9374da2cd603e3ce4e999dc8a388507337e306e9cdf0bc76245b8a4aeebfc6057965f02e637071d9be1e0a3dab4167c2570 SHA512 471d147251a3edb665a72a09f15f33b60eabd67b68411a48cc3e9cfd0ca9e7d7fd6d0dfcc033060e5f4c69a66c100019e2be5946d493748b836861647d2dc6d1
+EBUILD alt-ergo-2.4.3.ebuild 1381 BLAKE2B 058af8ee21ec2c30a9f31c2b8b7704c1d6944506f851d8574a4d4320c935b8249d39fc28ec42f7f9b945b4624f23a58ab21994fa65ab98e910546449ad343282 SHA512 ab112811eaedbef1fcd0becfb154a4b3add1d30bee1c958c749489ffc9ed9f2ffe6589041e5d4a6d001ff8afe7664212ced4c05e583a37514cb70cccb90f6f17
 EBUILD alt-ergo-9999.ebuild 1382 BLAKE2B 9111155de5276042880f9ef4fa10f9374da2cd603e3ce4e999dc8a388507337e306e9cdf0bc76245b8a4aeebfc6057965f02e637071d9be1e0a3dab4167c2570 SHA512 471d147251a3edb665a72a09f15f33b60eabd67b68411a48cc3e9cfd0ca9e7d7fd6d0dfcc033060e5f4c69a66c100019e2be5946d493748b836861647d2dc6d1
 MISC metadata.xml 957 BLAKE2B 2ac1b5428ee88fa81b3898a351b770b9a3b4e91ad049e7ab2b5b62e3ddcef635e2f19f801ef1c067b51c2f30f513b40a82e968a314be10e7a5ff795df24dd6d5 SHA512 bcbe312badeb5f3d6c243d620ec5744ac6bf3c23e6bc7b6327c7a1a72b42f2cc68cd4326b065a3fca3c2a9c7c1670e2a84ca1ca2e7bf423a274025010a6735f4
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.3.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.4.3.ebuild
index 1ba42319bb6c..e06cf284f0e1 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.4.3.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.4.3.ebuild
@@ -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"
 fi
 
 LICENSE="CeCILL-C"
diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest
index dd8423834fa0..e186dc5b3f8f 100644
--- a/sci-mathematics/coq/Manifest
+++ b/sci-mathematics/coq/Manifest
@@ -3,5 +3,5 @@ DIST coq-8.17.0.tar.gz 7504612 BLAKE2B 90ff0e187e13a6501580733f0e92dbaba0ddc520b
 DIST coq-8.17.1.tar.gz 7506035 BLAKE2B 29b5b11666185ec293f50264f5a8ad66433c3ce05d74128b524f6fc3c6810551fe76d11d6f9db7d3741b829ac8bacb66948aad522d0cd2c487692c3df8b563ff SHA512 9a35311acec2a806730b94ac7dceabc88837f235c52a14c026827d9b89433bd7fa9555a9fc6829aa49edfedb24c8bbaf1411ebf463b74a50aeb17cba47745b6b
 EBUILD coq-8.12.0-r2.ebuild 1854 BLAKE2B 96a5bc026d7cef8218fa0f10401c697df908487a2a510f349a57d080e2c59c6fc6237223fbe82f5114c6ee70ebdfd9fffc9812bc2e8981febac635efd94b3035 SHA512 3936eafb537044833b310fafc9ba4595bb6deba71679177fbb807c59e3bfcd44f8a98c26077fda791619479b5efdefd64f6235ce2ae7c599489c4f0e8f8e003b
 EBUILD coq-8.17.0.ebuild 2317 BLAKE2B ff2958b7e82400115ab634dd00bac13df99ba088d8d2ec48ad61663ba0aa3690e3cad26badedad5fd12958df4c7a343b5c9d2d827a2a7aac3ba35e9ddfe3f222 SHA512 4c04bb4aa2d97dfa21868e6246d8a35d96b55e80c7bf6206ce1c67f46102c449cad25f7062c93c7defdb0e118be57c8f86d3c3323df53ce3c794617a7d4ed6d5
-EBUILD coq-8.17.1.ebuild 2318 BLAKE2B 43895300c1c9b754f5c1d1cfc2140318f8ef32014bcfa59e47e21931efe8d9d115637791b0ddad99c6ecea9fefc172bfddaaef048cffe99ae769fdb807cef8eb SHA512 6f9149a727109283ec4f4ca883016478f0e77464542ca3798e068d3eea2d682eba1b226b37bdc1bc9e4c35c8c19997e1720f3abf2d42c6fc790d148137e0f8a4
+EBUILD coq-8.17.1.ebuild 2317 BLAKE2B ff2958b7e82400115ab634dd00bac13df99ba088d8d2ec48ad61663ba0aa3690e3cad26badedad5fd12958df4c7a343b5c9d2d827a2a7aac3ba35e9ddfe3f222 SHA512 4c04bb4aa2d97dfa21868e6246d8a35d96b55e80c7bf6206ce1c67f46102c449cad25f7062c93c7defdb0e118be57c8f86d3c3323df53ce3c794617a7d4ed6d5
 MISC metadata.xml 1047 BLAKE2B 9f6defdf213139ee6549bc8f3b36ce5e8f53ea73bd5aad9262932cbaea7e90bd97c9ffc9dbbd03ac50097c5a6f19f5ddf00dd2b74cc6a5349faf1b597244fb67 SHA512 0f5bfbdd9ffd6f64379e697ed7cf90c2d9257cd1815e520aa14235f1cb399d20fc863221a0cae803cc88e5975be964b9debc3d750a6378ea157146f2e567c5dc
diff --git a/sci-mathematics/coq/coq-8.17.1.ebuild b/sci-mathematics/coq/coq-8.17.1.ebuild
index f634026e1cda..495f48055a82 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 ~x86"
 IUSE="debug doc gui +ocamlopt test"
 RESTRICT="!test? ( test )"