gentoo auto-resync : 28:11:2024 - 02:00:16

17 files changed, 320 insertions, 275 deletions

diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz
index 9f53401dbee3..4862110cd0ce 100644
--- a/dev-lang/Manifest.gz
+++ b/dev-lang/Manifest.gz
diff --git a/dev-lang/algol68g/Manifest b/dev-lang/algol68g/Manifest
index 38a9c31a4a76..34950e953866 100644
--- a/dev-lang/algol68g/Manifest
+++ b/dev-lang/algol68g/Manifest
@@ -1,8 +1,6 @@
 AUX algol68g-3.3.21-configure-implicit.patch 236 BLAKE2B e59d1e65f6d1b83ac1bb43f00614d44ca13b0b2ad77fbc2da944b163487f679302e73d23bbe7d4adeb9a3168466bf38e53a38a3001b2e64725682f7e0edbbeac SHA512 11d9d38d98e210a2b20ef464ae365b4a1eab72befdb5daae15ad031cfda0d65f5d7134fe2c9c26d2929c172ebfef3acafd9072977c68a383784f2ccdefc41ff1
-DIST algol68g-3.5.5.tar.gz 664205 BLAKE2B 1ac99c1723e45ff69a72592c0209716409c35ce208e79682ed77a972b08cab49b78b735f1b585640c9a8b5d59853cafb601d8a049bc33bfa42f6a37c93848285 SHA512 5c671e1b7f90a6a0197afd0efdae737d409d0db98b4f62e2a958ecbec5d731cb68896e8c14e975d4d569e399a79ee12be3269c6ab2e9c6a34f2cb6d9a1e5a273
 DIST algol68g-3.5.7.tar.gz 664353 BLAKE2B 109a94c6e8996d71634187bafaf33ce6be40c054dcd62a5cb40a5197ad645a3f8769b3596504206aeccd4769aa80af263ad763b115171db73e3255b5e64347a8 SHA512 05a3d51cffb918d0e61d8692da83905190d3c52079acb3bcad2c49e8fa9dcc9ab433a830486db337ff28c540b128795d5af876d70ad778c72426549c1a6116d9
 DIST algol68g-3.5.9.tar.gz 664322 BLAKE2B 6c97863239caf5c8e1d5c0281340b1ad82a6b31e32cb428ef3bab4a1b0d22193876b9f422e53448e99323f39c7dede6149595a2cc4557d741ea6e19c24d7dbf6 SHA512 516470b8a14c1d237396855a04fc6a7af4dd676b721c644f9ba9f66e74de903d83fc18a24eb674203392ccc9464ee17a85ef4bb750df948d9be7805666350c9f
-EBUILD algol68g-3.5.5.ebuild 946 BLAKE2B 7826e7dd8c13921585c3056103f6ad3e241e1599e45ed7854fd1f2da334d057bd5c92d6178491387cbdf391b7bc3bda1d2f1ca1eb458a0eb2d1b4251157ef29d SHA512 509e4b99469fcf59a74871f4d5f28ec22d2b6ae6c361abfa9305ef666580f27154cd33ffa3c923df665229c581bb56d8a57f33d16dc0d0b546cf1509cf6f1d39
 EBUILD algol68g-3.5.7.ebuild 946 BLAKE2B 7826e7dd8c13921585c3056103f6ad3e241e1599e45ed7854fd1f2da334d057bd5c92d6178491387cbdf391b7bc3bda1d2f1ca1eb458a0eb2d1b4251157ef29d SHA512 509e4b99469fcf59a74871f4d5f28ec22d2b6ae6c361abfa9305ef666580f27154cd33ffa3c923df665229c581bb56d8a57f33d16dc0d0b546cf1509cf6f1d39
-EBUILD algol68g-3.5.9.ebuild 947 BLAKE2B 87f8a18c197e751b44821dcf82b8c262d8430caa080e2f3a742771b583a94d99b6e072c109d7c66738dce198a03de3c3fecc8fac9f45a504b0d9508fa3d07688 SHA512 d2e9d150e89e830205f4a9f7c406c40ccce9399a89499f8757b0ff1e3651143333f2577b0a4eb6b388a706b14a884023f562bf4a0c018c41bd50cff9c52ac7a3
+EBUILD algol68g-3.5.9.ebuild 946 BLAKE2B 7826e7dd8c13921585c3056103f6ad3e241e1599e45ed7854fd1f2da334d057bd5c92d6178491387cbdf391b7bc3bda1d2f1ca1eb458a0eb2d1b4251157ef29d SHA512 509e4b99469fcf59a74871f4d5f28ec22d2b6ae6c361abfa9305ef666580f27154cd33ffa3c923df665229c581bb56d8a57f33d16dc0d0b546cf1509cf6f1d39
 MISC metadata.xml 665 BLAKE2B 2b9b283f86666d64dd77164c5afb0d76403c63f9f0dfac3170eb2ade95bcc382b09d14248cb720edf7c1b055e78ca5ca0017b6784caf4381d970a011301058bd SHA512 b3171d505f9f9e4dcdd5b5a0c6d302849fa017538402832dd3db205c48c68a39867089aae4d1f3c158a45bfc170b21f83789cba16511f251d70300020e102b0a
diff --git a/dev-lang/algol68g/algol68g-3.5.5.ebuild b/dev-lang/algol68g/algol68g-3.5.5.ebuild
deleted file mode 100644
index 3b5c40da8f55..000000000000
--- a/dev-lang/algol68g/algol68g-3.5.5.ebuild
+++ /dev/null
@@ -1,41 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DESCRIPTION="Algol 68 Genie compiler-interpreter"
-HOMEPAGE="https://jmvdveer.home.xs4all.nl/en.algol-68-genie.html"
-SRC_URI="https://jmvdveer.home.xs4all.nl/${P}.tar.gz"
-
-LICENSE="GPL-3+"
-SLOT="0"
-KEYWORDS="amd64 ~x86"
-IUSE="+curl +gsl +mpfr +ncurses plotutils postgres +readline"
-
-RDEPEND="
-	curl? ( net-misc/curl )
-	gsl? ( sci-libs/gsl:= )
-	mpfr? ( dev-libs/mpfr:= )
-	plotutils? ( media-libs/plotutils )
-	postgres? ( dev-db/postgresql:* )
-	readline? ( sys-libs/readline:= )
-"
-DEPEND="
-	${RDEPEND}
-"
-
-PATCHES=( "${FILESDIR}/${PN}-3.3.21-configure-implicit.patch" )
-
-src_configure() {
-	local -a myconf=(
-		$(use_enable curl)
-		$(use_enable gsl)
-		$(use_enable mpfr)
-		$(use_enable ncurses curses)
-		$(use_enable plotutils)
-		$(use_enable postgres postgresql)
-		$(use_enable readline)
-		$(use_with ncurses)
-	)
-	econf "${myconf[@]}"
-}
diff --git a/dev-lang/algol68g/algol68g-3.5.9.ebuild b/dev-lang/algol68g/algol68g-3.5.9.ebuild
index 6689c5616025..3b5c40da8f55 100644
--- a/dev-lang/algol68g/algol68g-3.5.9.ebuild
+++ b/dev-lang/algol68g/algol68g-3.5.9.ebuild
@@ -9,7 +9,7 @@ SRC_URI="https://jmvdveer.home.xs4all.nl/${P}.tar.gz"
 
 LICENSE="GPL-3+"
 SLOT="0"
-KEYWORDS="~amd64 ~x86"
+KEYWORDS="amd64 ~x86"
 IUSE="+curl +gsl +mpfr +ncurses plotutils postgres +readline"
 
 RDEPEND="
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index c75f32e52b61..bc0e32ca35df 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -3,6 +3,7 @@ DIST boogie-3.2.5.tar.gz 2067333 BLAKE2B 2014351c53fa9a7fcea6cc11f8d236b398b9f44
 DIST boogie-3.3.3.tar.gz 2067837 BLAKE2B 36e004327cccf74326e650aff8f9d059b285510a7be0d426a9baf9a49e585ffd720fc03d7716c848ad7024971195d99de2203a7c87d88edcbdc7fc76afa50c66 SHA512 b50154b880063df408694e59d21887d82a6885fc124971e9cf5194cd82ef6c9384e6579aff38d524663c3b504f7bea20fc216de6ee4bfdff17b41e5d7a78e47a
 DIST boogie-3.4.1.tar.gz 2078182 BLAKE2B 21540c9326db2ebea568f109b10942c9bee1f9efd445c912261a1158b3a87624ddac2436bcbd4a68e9df64a9af82c6b050ec070d64f90b4a8d87ec24382ce6dd SHA512 3225d08f7d87a71d788e3e94d2f8df2867ad0e54047bd2b6b35f224ff5aa4d793bc0745c33f8e7a3a72b11334328f71756eca3b48ca476eae4e6134aa0a047b0
 DIST boogie-3.4.2.tar.gz 2078742 BLAKE2B e12ad3b464ab9c401fafa89023cc9bbb4687ca514e3c2d07ea6daf0a12f6ec7d478e74e78820beb15f567d0ae5a27a9d6b0819bc97d3bfe2fae5b0093786010d SHA512 5c020692e340b95e54f5203724c16262d847fd6737d12e7dc20765f07d514a31e91e6bb26334277f81d22f4f62acb9980cc9d5aff9b2a8130eda99497f5612cf
+DIST boogie-3.4.3.tar.gz 2083291 BLAKE2B 802315359afa17533cdf80f41a74d85067bc6b4d497e88bad89892f7cf8831a1564381a65852bdbba3e1c2b70303f9984ed9584dd3aac9c3f1ad085d41db8acc SHA512 39682dc7efc5cd2d9d0501fdaef345f4cbb01c2a92fc228fb2eff6177f373ba534097a17d009d144e3480aa67bd0f95423dfef4188a39803363bb7eac89af444
 DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003 SHA512 221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be3dddd96edaf9c0852a9c23d7b099
 DIST microsoft.codecoverage.16.2.0.nupkg 3133582 BLAKE2B 418cf403247d594cde0d827f8ca8690019a7631525f07993937085f4bbf8473364b4c99aea6e8b7b0020208d15fe0da63f0f4e69c273493c51ae011e8bd82667 SHA512 91f1d43fc038a20f5367d9aab669105dc7514dfbe749260b52789c09a75abcc6bdc000ee0c7f432231d4cc09e99bf5b863dd6289d813342f74d9dad23a651625
 DIST microsoft.csharp.4.0.1.nupkg 462346 BLAKE2B 209ccebc9103b803d26ea1f0232245c3cd231078b03a83a0011a2a79a1a8a324a72c5b3fda94b2686fff170932f366e165f81a36a70df590a39c45d70778e4be SHA512 c0e75a9162f28ba4c4572c8fac4fd4c8c97d6d3505a37683646ba5f7e5f6ac0da69d5200d2646054de90e8e08f893a10e514591b69b8273640842b2cf90bddec
@@ -197,4 +198,5 @@ EBUILD boogie-3.2.5.ebuild 9626 BLAKE2B 195387bb7207203e04e29ec9981fdc560897ab74
 EBUILD boogie-3.3.3.ebuild 9596 BLAKE2B 43f531e6ec74e9c8398587c39433c690d64a6aa26bd560336ab286b260860de1b1d260ee6d576125a32b75cbac3e3f7121675d1f29734697f3a663ee901b63ea SHA512 3749b237d6c2722b9d4509f76da90c51e852c7fc5a10385b5c99e3e9e7faab785e92dcc08ce463c83d40e8f670505858c7f9e94a881d9344c1294d10222f61cc
 EBUILD boogie-3.4.1.ebuild 9563 BLAKE2B 35dc72ca14b65ae6dc908fa6bf26ea4bc05123b2b11b69c646059705d2ea7efb70c0e86297960471d84d6e29f29efada5082a21eb5147a0864e7aa3900d06819 SHA512 c7643bc7199e27ff4e89aa3e4f6024ec15d9ca79413a127236ff30bf79a69f77374b0a3498ee773c20c776346179261a953bcddcce581441a90cb7af75b89954
 EBUILD boogie-3.4.2.ebuild 9636 BLAKE2B 37a7165c38195b03f56598571de7f3d291fb2d5f058ee9434d09fe9564de57e518f81620cb5775c781449be5688206689967dbda8d1560c06ae306342b6eba24 SHA512 b381e87e3402e3417be856513c6d3f90ea040c17f5e15542c991e6efef695afcc8bf2574d2f49c86bbd9562a94d80f9c9f648f917c6be16abefb36582db039b4
+EBUILD boogie-3.4.3.ebuild 9636 BLAKE2B 37a7165c38195b03f56598571de7f3d291fb2d5f058ee9434d09fe9564de57e518f81620cb5775c781449be5688206689967dbda8d1560c06ae306342b6eba24 SHA512 b381e87e3402e3417be856513c6d3f90ea040c17f5e15542c991e6efef695afcc8bf2574d2f49c86bbd9562a94d80f9c9f648f917c6be16abefb36582db039b4
 MISC metadata.xml 1102 BLAKE2B 215544658792715aae72787f7c949ed89df9c05ceab5a919a861c02b7938c0d1ee228e0ede55008287b616faf70992a8c1f2854e6e5e1fc909718ae682996bb8 SHA512 b6a626c485e2a5db3390da62c629507a60417eda8b508d7ed8d1c017ac337743d2c4fe0e8554b103f989176dcd2969cc8579e91532b07a22c1b66328ef241e8d
diff --git a/dev-lang/boogie/boogie-3.4.3.ebuild b/dev-lang/boogie/boogie-3.4.3.ebuild
new file mode 100644
index 000000000000..512bb2a4b0dd
--- /dev/null
+++ b/dev-lang/boogie/boogie-3.4.3.ebuild
@@ -0,0 +1,310 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DOTNET_PKG_COMPAT="8.0"
+NUGETS="
+microsoft.bcl.asyncinterfaces@6.0.0
+microsoft.codecoverage@16.2.0
+microsoft.csharp@4.0.1
+microsoft.dotnet.internalabstractions@1.0.0
+microsoft.net.test.sdk@16.2.0
+microsoft.netcore.platforms@1.0.1
+microsoft.netcore.platforms@1.1.0
+microsoft.netcore.targets@1.0.1
+microsoft.netcore.targets@1.1.0
+microsoft.testplatform.objectmodel@16.2.0
+microsoft.testplatform.testhost@16.2.0
+microsoft.win32.primitives@4.0.1
+microsoft.win32.primitives@4.3.0
+microsoft.win32.registry@4.0.0
+microsoft.win32.registry@4.3.0
+microsoft.win32.systemevents@6.0.0
+netstandard.library@1.6.0
+netstandard.library@2.0.0
+newtonsoft.json@9.0.1
+nunit@3.12.0
+nunit3testadapter@3.15.1
+runtime.any.system.collections@4.3.0
+runtime.any.system.diagnostics.tools@4.3.0
+runtime.any.system.diagnostics.tracing@4.3.0
+runtime.any.system.globalization.calendars@4.3.0
+runtime.any.system.globalization@4.3.0
+runtime.any.system.io@4.3.0
+runtime.any.system.reflection.extensions@4.3.0
+runtime.any.system.reflection.primitives@4.3.0
+runtime.any.system.reflection@4.3.0
+runtime.any.system.resources.resourcemanager@4.3.0
+runtime.any.system.runtime.handles@4.3.0
+runtime.any.system.runtime.interopservices@4.3.0
+runtime.any.system.runtime@4.3.0
+runtime.any.system.text.encoding.extensions@4.3.0
+runtime.any.system.text.encoding@4.3.0
+runtime.any.system.threading.tasks@4.3.0
+runtime.any.system.threading.timer@4.3.0
+runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.native.system.io.compression@4.1.0
+runtime.native.system.net.http@4.0.1
+runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.native.system.security.cryptography@4.0.0
+runtime.native.system@4.0.0
+runtime.native.system@4.3.0
+runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.opensuse.42.1-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.osx.10.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.rhel.7-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.ubuntu.14.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.ubuntu.16.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.ubuntu.16.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0
+runtime.unix.microsoft.win32.primitives@4.3.0
+runtime.unix.system.console@4.3.0
+runtime.unix.system.diagnostics.debug@4.3.0
+runtime.unix.system.io.filesystem@4.3.0
+runtime.unix.system.net.primitives@4.3.0
+runtime.unix.system.net.sockets@4.3.0
+runtime.unix.system.private.uri@4.3.0
+runtime.unix.system.runtime.extensions@4.3.0
+system.appcontext@4.1.0
+system.buffers@4.0.0
+system.buffers@4.3.0
+system.collections.concurrent@4.0.12
+system.collections.immutable@1.2.0
+system.collections.nongeneric@4.0.1
+system.collections.nongeneric@4.3.0
+system.collections.specialized@4.0.1
+system.collections.specialized@4.3.0
+system.collections@4.0.11
+system.collections@4.3.0
+system.componentmodel.eventbasedasync@4.0.11
+system.componentmodel.eventbasedasync@4.3.0
+system.componentmodel.primitives@4.1.0
+system.componentmodel.primitives@4.3.0
+system.componentmodel.typeconverter@4.1.0
+system.componentmodel.typeconverter@4.3.0
+system.componentmodel@4.0.1
+system.componentmodel@4.3.0
+system.configuration.configurationmanager@6.0.0
+system.console@4.0.0
+system.diagnostics.debug@4.0.11
+system.diagnostics.debug@4.3.0
+system.diagnostics.diagnosticsource@4.0.0
+system.diagnostics.process@4.1.0
+system.diagnostics.process@4.3.0
+system.diagnostics.textwritertracelistener@4.0.0
+system.diagnostics.tools@4.0.1
+system.diagnostics.tracesource@4.0.0
+system.diagnostics.tracing@4.1.0
+system.diagnostics.tracing@4.3.0
+system.drawing.common@6.0.0
+system.dynamic.runtime@4.0.11
+system.globalization.calendars@4.0.1
+system.globalization.extensions@4.0.1
+system.globalization.extensions@4.3.0
+system.globalization@4.0.11
+system.globalization@4.3.0
+system.io.compression.zipfile@4.0.1
+system.io.compression@4.1.0
+system.io.filesystem.primitives@4.0.1
+system.io.filesystem.primitives@4.3.0
+system.io.filesystem@4.0.1
+system.io.filesystem@4.3.0
+system.io@4.1.0
+system.io@4.3.0
+system.linq.async@6.0.1
+system.linq.expressions@4.1.0
+system.linq@4.1.0
+system.linq@4.3.0
+system.net.http@4.1.0
+system.net.nameresolution@4.3.0
+system.net.primitives@4.0.11
+system.net.sockets@4.1.0
+system.objectmodel@4.0.12
+system.private.datacontractserialization@4.1.1
+system.private.uri@4.3.0
+system.reactive@4.4.1
+system.reflection.emit.ilgeneration@4.0.1
+system.reflection.emit.lightweight@4.0.1
+system.reflection.emit@4.0.1
+system.reflection.extensions@4.0.1
+system.reflection.extensions@4.3.0
+system.reflection.metadata@1.3.0
+system.reflection.primitives@4.0.1
+system.reflection.primitives@4.3.0
+system.reflection.typeextensions@4.1.0
+system.reflection.typeextensions@4.3.0
+system.reflection@4.1.0
+system.reflection@4.3.0
+system.resources.resourcemanager@4.0.1
+system.resources.resourcemanager@4.3.0
+system.runtime.caching@6.0.0
+system.runtime.extensions@4.1.0
+system.runtime.extensions@4.3.0
+system.runtime.handles@4.0.1
+system.runtime.handles@4.3.0
+system.runtime.interopservices.runtimeinformation@4.0.0
+system.runtime.interopservices.runtimeinformation@4.3.0
+system.runtime.interopservices@4.1.0
+system.runtime.interopservices@4.3.0
+system.runtime.loader@4.0.0
+system.runtime.numerics@4.0.1
+system.runtime.serialization.json@4.0.2
+system.runtime.serialization.primitives@4.1.1
+system.runtime@4.1.0
+system.runtime@4.3.0
+system.security.accesscontrol@6.0.0
+system.security.claims@4.3.0
+system.security.cryptography.algorithms@4.2.0
+system.security.cryptography.cng@4.2.0
+system.security.cryptography.csp@4.0.0
+system.security.cryptography.encoding@4.0.0
+system.security.cryptography.openssl@4.0.0
+system.security.cryptography.primitives@4.0.0
+system.security.cryptography.protecteddata@6.0.0
+system.security.cryptography.x509certificates@4.1.0
+system.security.permissions@6.0.0
+system.security.principal.windows@4.3.0
+system.security.principal@4.3.0
+system.text.encoding.extensions@4.0.11
+system.text.encoding.extensions@4.3.0
+system.text.encoding@4.0.11
+system.text.encoding@4.3.0
+system.text.regularexpressions@4.1.0
+system.text.regularexpressions@4.3.0
+system.threading.tasks.extensions@4.0.0
+system.threading.tasks.extensions@4.3.0
+system.threading.tasks@4.0.11
+system.threading.tasks@4.3.0
+system.threading.thread@4.0.0
+system.threading.thread@4.3.0
+system.threading.threadpool@4.0.10
+system.threading.threadpool@4.3.0
+system.threading.timer@4.0.1
+system.threading@4.0.11
+system.threading@4.3.0
+system.windows.extensions@6.0.0
+system.xml.readerwriter@4.0.11
+system.xml.readerwriter@4.3.0
+system.xml.xdocument@4.0.11
+system.xml.xmldocument@4.0.1
+system.xml.xmldocument@4.3.0
+system.xml.xmlserializer@4.0.11
+system.xml.xpath.xmldocument@4.0.1
+system.xml.xpath.xmldocument@4.3.0
+system.xml.xpath@4.0.1
+system.xml.xpath@4.3.0
+"
+
+inherit check-reqs dotnet-pkg edo multiprocessing
+
+DESCRIPTION="SMT-based program verifier"
+HOMEPAGE="https://github.com/boogie-org/boogie/"
+
+if [[ "${PV}" == *9999* ]] ; then
+	inherit git-r3
+
+	EGIT_REPO_URI="https://github.com/boogie-org/${PN}.git"
+else
+	SRC_URI="https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz
+		-> ${P}.tar.gz"
+
+	KEYWORDS="~amd64"
+fi
+
+SRC_URI+=" ${NUGET_URIS} "
+
+LICENSE="MIT"
+SLOT="0"
+IUSE="test"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+	sci-mathematics/z3
+"
+BDEPEND="
+	${RDEPEND}
+	test? (
+		dev-python/outputcheck
+		dev-python/lit
+		dev-python/psutil
+	)
+"
+
+PATCHES=( "${FILESDIR}/${PN}-3.0.4-disable-analyzers.patch" )
+
+CHECKREQS_DISK_BUILD="2G"
+DOTNET_PKG_PROJECTS=( Source/BoogieDriver/BoogieDriver.csproj )
+DOTNET_PKG_BUILD_EXTRA_ARGS=( -p:RollForward=Major )
+
+pkg_setup() {
+	check-reqs_pkg_setup
+	dotnet-pkg_pkg_setup
+}
+
+src_unpack() {
+	dotnet-pkg_src_unpack
+
+	if [[ -n "${EGIT_REPO_URI}" ]] ; then
+		git-r3_src_unpack
+	fi
+}
+
+src_prepare() {
+	# Remove bad tests.
+	local -a bad_tests=(
+		civl/inductive-sequentialization/BroadcastConsensus.bpl
+		civl/inductive-sequentialization/ChangRoberts.bpl
+		civl/inductive-sequentialization/PingPong.bpl
+		civl/large-samples/GC.bpl
+		civl/large-samples/shared-vector.bpl
+		civl/large-samples/verified-ft.bpl
+		civl/paxos/is.sh
+		civl/samples/reserve.bpl
+		havoc0/MouCreateClassObject.bpl
+		havoc0/MouseClassFindMorePorts.bpl
+		inst/vector-generic.bpl
+		inst/vector.bpl
+		livevars/stack_overflow.bpl
+		prover/cvc5-offline.bpl
+		prover/cvc5.bpl
+		prover/exitcode.bpl
+		prover/z3-hard-timeout.bpl
+		prover/z3mutl.bpl
+		snapshots/runtest.snapshot
+		test15/CaptureInlineUnroll.bpl
+		test2/Timeouts0.bpl
+		test2/git-issue-366.bpl
+		test21/InterestingExamples4.bpl
+	)
+	local bad_test
+	for bad_test in "${bad_tests[@]}" ; do
+		rm "${S}/Test/${bad_test}" || ewarn "Failed to remove test: ${bad_test}"
+	done
+
+	# Update the boogieBinary variable.
+	sed "/^boogieBinary/s|= .*|= '${DOTNET_PKG_OUTPUT}/BoogieDriver.dll'|" \
+		-i "${S}/Test/lit.site.cfg" || die "failed to update lit.site.cfg"
+
+	dotnet-pkg_src_prepare
+}
+
+src_test() {
+	einfo "Starting tests using the lit test tool."
+	local -a lit_opts=(
+		--order="lexical"
+		--time-tests
+		--timeout="1800"          # Let one test take no more than half a hour.
+		--verbose
+		--workers="$(makeopts_jobs)"
+	)
+	edo lit "${lit_opts[@]}" "${S}/Test"
+}
+
+src_install() {
+	dotnet-pkg-base_install
+	dotnet-pkg-base_dolauncher "/usr/share/${P}/BoogieDriver" "${PN}"
+
+	einstalldocs
+}
diff --git a/dev-lang/crystal/Manifest b/dev-lang/crystal/Manifest
index 9a84c6b17c96..7952c0885f47 100644
--- a/dev-lang/crystal/Manifest
+++ b/dev-lang/crystal/Manifest
@@ -1,10 +1,7 @@
 AUX crystal-0.27.0-gentoo-tests-long-unix-2.patch 469 BLAKE2B 66bcc1d0dd9582cac4ba89a2ccc2c7a2ac3ff4994cd687191470f2d481f9a6e3a91aaaf705f92f7600118a9cda015a9554056520502df7ae6462e111665c7330 SHA512 d840ac343ef566e404dc84e908bead5a020dfd88b8c0432f17bceea8d710d435626dc72b4be6622dbcd683a149bca16e781320cf74fc3f2598f84d169c6f7faa
 AUX crystal-0.27.0-gentoo-tests-long-unix.patch 3317 BLAKE2B df1040abdb587ac3fffb8129d4f1bafc492e38ad5dcfdea5cfbf4426849b099c4d94dac61c93ae7fcae46b60dea1809f52ad373efcd89796a3c1f119614063c1 SHA512 a9ed819a864465e062b4d6a568f14fbb8adc1db01071c79164dede8b2b8d83e07b785cd8196826097de5119e0bdc7d6e194cf4e10cc677bd2bdf158d124c2ad2
 AUX crystal-1.7.2-extra-spec-flags.patch 1080 BLAKE2B 3054e38d4e7d114f1b0a08b367f9a5b366bbe269c75b9195abf9dc39231b32428a108c4254abd0bdb29b2ac6a94d6d256eccc68ca69f80a273cd17e0c0115fc7 SHA512 3c3fd6a42b291a42f76ec76101d669011eb02d4d17f35c8ad31c5a49aa3655a2315999e2401af7f3bc26445f74f432430a44b021846238d345d9c14b1009fdc5
-DIST crystal-1.13.3-1-linux-x86_64.tar.gz 51653981 BLAKE2B cb74719a6d4fcd4555632c327e48a40b3d3ce0b1e4a33dbac996e5b99c134a88aef3266daaa615b152ca685a9baffc8659a0715e51258ebef80087ec9430ebd0 SHA512 3183857d718869246649f1213e72f5a538f8f25f18cd19ef27fae26b0dcd8c5028c9be5d1f829386fb4cb6073343b3e745e902928a82da2474fb27bb397e9506
-DIST crystal-1.13.3.tar.gz 3688053 BLAKE2B 94825b9120e711b085c11576320f9384f118d103bf34c69604d358a3e0dbc110f29f2c1a0a8299c9f8805e2fe428d62617e86c73af6c25986b7aafd7e45219d2 SHA512 5d3e6c1b9a17c99129c0d0d07602557dd758390efc481cc79ed0d8663c159a43782c5ca534e7bf5ab8c0bf4bc3af23e77b613893bff9861365b8c2550b70f367
 DIST crystal-1.14.0-1-linux-x86_64.tar.gz 51712092 BLAKE2B 25281d0488ce84b278005e918fd7ae893ec690d50b01c65f06370e24d3ef6548a3ff823c0ce1903fc3d6d0c4108ab8c72365ce51f1ebb64519e0076cc5df9dff SHA512 ff7839166ebe0217149d0185c27fa0d48cd7322ddca3492e3bbbfaf505696994ce04a86eb1f51f6c0633892ebc4b82bac53ec9cb26c0a9c588c5002a984f0038
 DIST crystal-1.14.0.tar.gz 3726474 BLAKE2B 97efe777790b4d2330f6891bbe91a709fb0aacf7989a60b70c3d22c2735e83b9315899ad529f4605eed7dc4b4eed14f4d51ccd8a47dfc55057f15acd62c8c10d SHA512 561e14212b8f3e2841739408870e70a79cbc11097070760e75e4013a030082db050f6615453da54adceae3f0de12af43498f33fab9b7f4ecfa6860d582dec095
-EBUILD crystal-1.13.3.ebuild 2632 BLAKE2B 38e047040dc86b3d95a5e74be098076cbe5fd6cc46ae5b05105f68ef04257470cd79390461812c9d0ef3cb37f33c5d3567596e109413caa14eaf482c34b148d9 SHA512 df678deb9ce01effc65609f9529ae81a0933e04b12d7084f7d802d457cb684c198e4581331d5a1b0d5d7a791b2115bd7f8bbff59cff938eafc438f1924d1aa6e
 EBUILD crystal-1.14.0.ebuild 2632 BLAKE2B 38e047040dc86b3d95a5e74be098076cbe5fd6cc46ae5b05105f68ef04257470cd79390461812c9d0ef3cb37f33c5d3567596e109413caa14eaf482c34b148d9 SHA512 df678deb9ce01effc65609f9529ae81a0933e04b12d7084f7d802d457cb684c198e4581331d5a1b0d5d7a791b2115bd7f8bbff59cff938eafc438f1924d1aa6e
 MISC metadata.xml 762 BLAKE2B 591f38c882318a6564501cc61abe6222264b65adeaffaf3b23d959ee86b83bae33eaf99029229705f92070fa539fd6d63d8242afc38475904483a9a0b997effd SHA512 ea223d568a3c336a43b183efc61bd1f1a9d1e5e0e8d963275e0b23ee879551bc7d8aae797b1e2edba49d119ad306692599eb535c5d164ebee0c6721dfeab78dc
diff --git a/dev-lang/crystal/crystal-1.13.3.ebuild b/dev-lang/crystal/crystal-1.13.3.ebuild
deleted file mode 100644
index 3219d2a294a7..000000000000
--- a/dev-lang/crystal/crystal-1.13.3.ebuild
+++ /dev/null
@@ -1,122 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-BV="${PV}-1"
-BV_AMD64="${BV}-linux-x86_64"
-
-LLVM_COMPAT=( {16..18} )
-
-inherit bash-completion-r1 llvm-r1 multiprocessing toolchain-funcs
-
-DESCRIPTION="The Crystal Programming Language"
-HOMEPAGE="https://crystal-lang.org/
-	https://github.com/crystal-lang/crystal/"
-SRC_URI="
-	https://github.com/crystal-lang/crystal/archive/${PV}.tar.gz
-		-> ${P}.tar.gz
-	amd64? (
-		https://github.com/crystal-lang/crystal/releases/download/${BV/-*}/crystal-${BV_AMD64}.tar.gz
-	)
-"
-
-LICENSE="Apache-2.0"
-SLOT="0"
-KEYWORDS="amd64"
-IUSE="doc debug llvm-libunwind"
-
-# Upstream test suite not reliable
-RESTRICT="test"
-
-DEPEND="
-	dev-libs/boehm-gc:=[threads]
-	dev-libs/gmp:=
-	dev-libs/libatomic_ops:=
-	dev-libs/libevent:=
-	dev-libs/libpcre2:=[unicode]
-	dev-libs/pcl:=
-	$(llvm_gen_dep '
-		sys-devel/llvm:${LLVM_SLOT}=
-	')
-	llvm-libunwind? (
-		sys-libs/llvm-libunwind:=
-	)
-	!llvm-libunwind? (
-		sys-libs/libunwind:=
-	)
-"
-RDEPEND="
-	${DEPEND}
-	dev-libs/libxml2
-	dev-libs/libyaml
-"
-
-PATCHES=(
-	"${FILESDIR}/${PN}-1.7.2-extra-spec-flags.patch"
-	"${FILESDIR}/${PN}-0.27.0-gentoo-tests-long-unix.patch"
-	"${FILESDIR}/${PN}-0.27.0-gentoo-tests-long-unix-2.patch"
-)
-
-src_configure() {
-	local bootstrap_path="${WORKDIR}/${PN}-${BV}/bin"
-	if [[ ! -d "${bootstrap_path}" ]] ; then
-		eerror "Binary tarball does not contain expected directory:"
-		die "'${bootstrap_path}' path does not exist."
-	fi
-
-	# crystal uses 'LLVM_TARGETS' to override default list of targets
-	unset LLVM_TARGETS
-
-	MY_EMAKE_COMMON_ARGS=(
-		PATH="${bootstrap_path}:${PATH}"
-
-		CRYSTAL_CONFIG_VERSION="${PV}"
-		CRYSTAL_CONFIG_PATH="lib:${EPREFIX}/usr/$(get_libdir)/crystal"
-
-		$(usex debug "" release=1)
-		progress=true
-		stats=1
-		threads="$(makeopts_jobs)"
-		verbose=1
-
-		AR="$(tc-getAR)"
-		CC="$(tc-getCC)"
-		CXX="$(tc-getCXX)"
-		LLVM_CONFIG="$(get_llvm_prefix -d)/bin/llvm-config"
-	)
-}
-
-src_compile() {
-	emake "${MY_EMAKE_COMMON_ARGS[@]}"
-
-	use doc && emake docs "${MY_EMAKE_COMMON_ARGS[@]}"
-}
-
-src_test() {
-	# EXTRA_SPEC_FLAGS is useful to debug individual tests
-	# as part of full build:
-	#    USE=debug EXTRA_SPEC_FLAGS='-e parse_set_cookie' emerge -1 crystal
-	emake std_spec \
-		"${MY_EMAKE_COMMON_ARGS[@]}" "EXTRA_SPEC_FLAGS=${EXTRA_SPEC_FLAGS}"
-}
-
-src_install() {
-	insinto "/usr/$(get_libdir)/crystal"
-	doins -r src/.
-
-	exeinto /usr/bin
-	doexe .build/crystal
-
-	insinto /usr/share/zsh/site-functions
-	newins etc/completion.zsh _crystal
-
-	dodoc -r samples
-	doman "man/${PN}.1"
-	newbashcomp etc/completion.bash "${PN}"
-
-	if use doc ; then
-		docinto api
-		dodoc -r docs/.
-	fi
-}
diff --git a/dev-lang/eisl/Manifest b/dev-lang/eisl/Manifest
index f62624838fbe..af6fa675d4d1 100644
--- a/dev-lang/eisl/Manifest
+++ b/dev-lang/eisl/Manifest
@@ -1,10 +1,8 @@
 AUX eisl-3.60-Makefile.patch 883 BLAKE2B 42419e7db0c5b960e218e821cd53d11caaa1a48d74c3e3d810c387e7e74f4fb2699d1cc54fc59c4201664a35384288c1f43e9910cabca9747f2522f2dc3aa364 SHA512 de22e920debb00b2988b8cd9d63c50c7c43d680c5b668f32dd9841a50875f7a857f5c320a00311f4d4adbff857298bf1e25f19f6a0baa7f0cba81ac63aaacd0f
-DIST eisl-5.35.tar.gz 3136245 BLAKE2B 9de21f365ef4e7c7af513e0370bbd79b1412f927e3a2fbf628445cc4e6b324e3b552be1b7d7720dce6dae32a82abe9b13e9b9f4aa4bd892730ed9d63a0cf5ade SHA512 63eca37ee1565520fed967989d4900f22962768c024974434033add8d544a3c6dd4bf6fb677f2ef28472fbfc3d8296d2776c907d572e9383d6c7501f8aa42ee0
 DIST eisl-5.36.tar.gz 3136331 BLAKE2B 84f3b6917d2d4c2319e3322a9c80bfd4ebebcf9731c7625f1be8f619edc60c1c005db407b09c3f1158e5d7c739244e975513f75bb16913b9cc8162b0fafeb8fd SHA512 6f7d8629a74513ed0d6f3eab7aa9f6af1ec706ebe64c48543ead70fb4825d6e090b4cc1399353b07ed107b78c589f1398c7169ba9799be132de4da5552d95846
 DIST eisl-5.37.tar.gz 3136844 BLAKE2B 43a326e4367b9ba01ef57194ffb9c9f9a9cf322de3055d340263075d2fdd5d06bc0abb3ccacf41018227e1a13e71dd91cd77e42001a58ef8121f8910a03bcb13 SHA512 5f3c88d16f8febb88767d31de193e90da27357132cb46e11ae526ec7d048a8f392b688d2eb815bc297bab3c2ead5ba497bc0dba48a1b65754a6ef499259fddab
 DIST eisl-5.38.tar.gz 3136867 BLAKE2B cfe62da4882a8f687c683345c3518a7245bdfc87b17dd6b956cc3b5db494631c6cb3a2ca24ecfe1454671e8d1e14c9052ae4c119b4855c585fbb93c99af0ddba SHA512 4bed412660700ddba7a8015b1488adcaf9ff89aed5ac5af0a51c65af76ec78fa4dab04b092c4ad7404ce3fb071dff7d219810c4422a983375e5634861de81698
-EBUILD eisl-5.35.ebuild 1010 BLAKE2B caf0eaf92d6f0397eba23e8641b1bff1d5316d97d1886e75a2bcd504354fbef1ca19d053168ad592503156a7b6270da2dd39cb03f65f78dbb210f6c569476904 SHA512 f637a8521189709117940c1d4240280357394dfb9dceb591658afbc58ccc5190e649144df52ac100f24e0ca3c98913b53d67ca4fa5aa92814bab560791913b35
-EBUILD eisl-5.36.ebuild 1011 BLAKE2B 291b801fbede039429edf9317a5ac1a7beed406019edb25aa218be9f718deff1742a4e99adc349ebe04d5160126bae590de9dc831378aeddfaf7bcce5e554ca1 SHA512 71d7528dbfbc0b76b68bc574aa7ca11b463cae94a5682bc74458cd8b0530de222de50aa540e3e9e444bbef58b2c36d49bb94ad929a99dc9574148ac3abba6afd
+EBUILD eisl-5.36.ebuild 1010 BLAKE2B caf0eaf92d6f0397eba23e8641b1bff1d5316d97d1886e75a2bcd504354fbef1ca19d053168ad592503156a7b6270da2dd39cb03f65f78dbb210f6c569476904 SHA512 f637a8521189709117940c1d4240280357394dfb9dceb591658afbc58ccc5190e649144df52ac100f24e0ca3c98913b53d67ca4fa5aa92814bab560791913b35
 EBUILD eisl-5.37.ebuild 1011 BLAKE2B 291b801fbede039429edf9317a5ac1a7beed406019edb25aa218be9f718deff1742a4e99adc349ebe04d5160126bae590de9dc831378aeddfaf7bcce5e554ca1 SHA512 71d7528dbfbc0b76b68bc574aa7ca11b463cae94a5682bc74458cd8b0530de222de50aa540e3e9e444bbef58b2c36d49bb94ad929a99dc9574148ac3abba6afd
 EBUILD eisl-5.38.ebuild 1011 BLAKE2B 291b801fbede039429edf9317a5ac1a7beed406019edb25aa218be9f718deff1742a4e99adc349ebe04d5160126bae590de9dc831378aeddfaf7bcce5e554ca1 SHA512 71d7528dbfbc0b76b68bc574aa7ca11b463cae94a5682bc74458cd8b0530de222de50aa540e3e9e444bbef58b2c36d49bb94ad929a99dc9574148ac3abba6afd
 EBUILD eisl-9999.ebuild 1005 BLAKE2B bf9361efcf3f564ea3dd41a9f9d404b95b774df7f88b6280fa1d41d67eebbe1063d6f49876068478d31d11dc0846247b7655d4022ca07cd26c4ee869856acd6b SHA512 dfb4fc078498d62a137dcac57a0cd7bf5c7efb85bf4b9cbec3406ebbe432906e1d621ddf282145a3037bdd1a84b603b665d14638adf4d2894441da7b9c7a3b8c
diff --git a/dev-lang/eisl/eisl-5.35.ebuild b/dev-lang/eisl/eisl-5.35.ebuild
deleted file mode 100644
index 1e6288f65690..000000000000
--- a/dev-lang/eisl/eisl-5.35.ebuild
+++ /dev/null
@@ -1,52 +0,0 @@
-# Copyright 1999-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit toolchain-funcs
-
-DESCRIPTION="Interpreter and compiler compatible with the ISLisp standard"
-HOMEPAGE="https://github.com/sasagawa888/eisl/"
-
-if [[ "${PV}" == *9999* ]] ; then
-	inherit git-r3
-
-	EGIT_REPO_URI="https://github.com/sasagawa888/${PN}.git"
-else
-	SRC_URI="https://github.com/sasagawa888/${PN}/archive/v${PV}.tar.gz
-		-> ${P}.tar.gz"
-
-	KEYWORDS="amd64 ~x86"
-fi
-
-LICENSE="BSD-2"
-SLOT="0"
-RESTRICT="test"  # Tests run cppcheck (and fail)
-
-DOCS=( README{,-ja}.md documents )
-
-RDEPEND="
-	sys-libs/ncurses:=
-"
-DEPEND="
-	${RDEPEND}
-"
-
-PATCHES=( "${FILESDIR}/${PN}-3.60-Makefile.patch" )
-
-src_compile() {
-	emake CC="$(tc-getCC)" clean edlis eisl
-}
-
-src_install() {
-	exeinto /usr/bin
-	doexe edlis eisl
-
-	# Compilation of ISLisp files on installation fails.
-	# Do not compile them and mimic "make install".
-	insinto "/usr/share/${PN}"
-	doins -r library
-	doins fast.h ffi.h
-
-	einstalldocs
-}
diff --git a/dev-lang/eisl/eisl-5.36.ebuild b/dev-lang/eisl/eisl-5.36.ebuild
index 0ef48728bee1..1e6288f65690 100644
--- a/dev-lang/eisl/eisl-5.36.ebuild
+++ b/dev-lang/eisl/eisl-5.36.ebuild
@@ -16,7 +16,7 @@ else
 	SRC_URI="https://github.com/sasagawa888/${PN}/archive/v${PV}.tar.gz
 		-> ${P}.tar.gz"
 
-	KEYWORDS="~amd64 ~x86"
+	KEYWORDS="amd64 ~x86"
 fi
 
 LICENSE="BSD-2"
diff --git a/dev-lang/python/Manifest b/dev-lang/python/Manifest
index 4b8748888d2f..f5deea5a02b2 100644
--- a/dev-lang/python/Manifest
+++ b/dev-lang/python/Manifest
@@ -48,7 +48,7 @@ EBUILD python-3.14.0_alpha1.ebuild 16790 BLAKE2B a0b472210ae93c784194fb214b72bc0
 EBUILD python-3.14.0_alpha2-r100.ebuild 17170 BLAKE2B 1a86201e50dc51df294a7a54f87207d89f5d35dc9e4c1bb946c70fe7dd1bb8bda7306aba44ed23b75e36e05442698e48d5f9008c35b790179cb7e529c67aa047 SHA512 af535f92ec3ce939e3591cd0b65c15257c91dfc80416fb0e9476a3b1e8c8ec7100b63393a3d616502cb88bfaa5f4e0fa0c0807605e2315d3865cffd0979c8a64
 EBUILD python-3.14.0_alpha2.ebuild 16787 BLAKE2B ac516a4f28e034d94c0e3f65ac6d258a0f5dd6efe9108ce6adee09bae0bcfc2c69cf15236feee4858b950d9380eb1bcfbe82a5707ef0a2e82fce58ac6012fe4c SHA512 3573fd856ec13e3196bf2687908c4942cb079d3280d23a0e86484e2ebce87b705019764f1a8001fe1db14c7db09d8130581a16e7214c777afb9e3515fefe5fa7
 EBUILD python-3.8.20_p2.ebuild 13325 BLAKE2B 0a1908bc54a0d8bc2dd0757e62817061af71de61d7bdcd787f8323dd7600c5f8ec590e4bf8f416eb495b9dcfd4eef0980d91d5cc09675d49aaf3c538eda56c4e SHA512 6395f6b29fba5973f8c18d8835c82f70a6cbea507db1eaf0e52ba0e581b82bfce29846d6dbf14153b0876674b875d366ad77d8e65c10c9b244d2fe8d0969d491
-EBUILD python-3.8.20_p4.ebuild 13326 BLAKE2B 322f0a55b41765fb6131c060fe39ec5eccc78f4548412b090d5b54341121add001d539a38052941207da12d4b135cf910203726f917d1c4cc317e6e388f600e3 SHA512 915db4e9b470e94080f81e59a73c8da32dc06c1bfa51c8faa7e659cbe2bce2a4c71d4bef2052bc6e32b232c88786378d67dc9f2e9c0e8ff9546f99f724f87482
+EBUILD python-3.8.20_p4.ebuild 13325 BLAKE2B 0a1908bc54a0d8bc2dd0757e62817061af71de61d7bdcd787f8323dd7600c5f8ec590e4bf8f416eb495b9dcfd4eef0980d91d5cc09675d49aaf3c538eda56c4e SHA512 6395f6b29fba5973f8c18d8835c82f70a6cbea507db1eaf0e52ba0e581b82bfce29846d6dbf14153b0876674b875d366ad77d8e65c10c9b244d2fe8d0969d491
 EBUILD python-3.9.20_p1.ebuild 15374 BLAKE2B 65c06c62dca369cc7e1e02f0909df2e5a733c6b766bf7c93e66fe36f9118fa1e526df77272184b3b9afd262193b311ba58cca721d6bd1c208bea6a017a13d402 SHA512 c5fc0f145dc18f12f3f14914d786337577b56b46770aeb95a24c58bebd2b3afa67a18c2968597b4625b0c23f9c9c8f8136f11570cd0483494e5ba1aa71504d9c
 EBUILD python-3.9.20_p2.ebuild 15375 BLAKE2B 8c085e8e9e52a5d76dd98f4561ce7250f5e5c9f49e51af12cfe68f79bbf91db827f9240a4621970cc577c8fbfa40a41f9801f38bb6526c961281f5311bd33ebb SHA512 0875267996acbb530fc01ab11f5892df9682b1a815f4827a8fae7f7dbd2cf1eb08635e295db2c024d0dc6acfd56392e8f6c8af1a90afcd87ac528e13e4c3b786
 MISC metadata.xml 1437 BLAKE2B 22f737ad283774c5ffc55173878bf07b6f89d91b0ebd9cf41c11e518b35461ebc9ecfc8017a519673698869450c1ebe55b5dc2577a8b03ea716d30b99ce21d3e SHA512 9f684412c916a3909bb7c2bbfeeb93c66e1de22d4313d657370162ab8b7438e6397bc7d31641d0bbb06d3373966fbbf7578dc0a30ed44558cb1b8a3bb5bfecec
diff --git a/dev-lang/python/python-3.8.20_p4.ebuild b/dev-lang/python/python-3.8.20_p4.ebuild
index 5a6371cd1d0f..6cf801146df0 100644
--- a/dev-lang/python/python-3.8.20_p4.ebuild
+++ b/dev-lang/python/python-3.8.20_p4.ebuild
@@ -28,7 +28,7 @@ S="${WORKDIR}/${MY_P}"
 
 LICENSE="PSF-2"
 SLOT="${PYVER}"
-KEYWORDS="~alpha amd64 arm arm64 ~hppa ~loong ~m68k ~mips ppc ppc64 ~riscv ~s390 sparc x86"
+KEYWORDS="~alpha amd64 arm arm64 hppa ~loong ~m68k ~mips ppc ppc64 ~riscv ~s390 sparc x86"
 IUSE="
 	bluetooth build debug +ensurepip examples gdbm +ncurses pgo
 	+readline +sqlite +ssl test tk valgrind
diff --git a/dev-lang/spidermonkey/Manifest b/dev-lang/spidermonkey/Manifest
index dc5659b7e5d1..3842e8263c8d 100644
--- a/dev-lang/spidermonkey/Manifest
+++ b/dev-lang/spidermonkey/Manifest
@@ -15,5 +15,5 @@ DIST spidermonkey-128-patches-02.tar.xz 3916 BLAKE2B b6640860ea091b22c61b2a78da5
 EBUILD spidermonkey-102.15.0-r1.ebuild 15100 BLAKE2B 4a3ba5c9cea694f9aaea6bb6a57958d55c7f8af568699e1e3d637d33740213badf1a3090a113524487706ee395130d8eb50865861e269355ef497000e55b2e3f SHA512 c875a3ba64c50d343a29b88e9f8c8537372f5d1bc44369d0a6e6e70c28d5a40b5da6010effe2298adb21c30b86e04502d9af8e424a75f1403ee04e322fcb164b
 EBUILD spidermonkey-115.16.0-r1.ebuild 13395 BLAKE2B ad4726d1aa0b9bff150e7d30a0db1ef4402ead2905466a87cf2b55c6af1efbd3775f2e81514732854cacfd9f245a7d9b63fd9fab751b5f1805818a479bde4644 SHA512 f923a6f2a115c8ac972850cb7d3735d8301116205c9f7d2aaff551b33ae3ade6e6e0aa7cbef81f8bacdbc5a224f7d276e9ad0bfd0a7de591a2bdf55d1a5106c1
 EBUILD spidermonkey-128.3.0-r1.ebuild 13770 BLAKE2B 59c14fb76b00c49b076338275f7979aa57b7975330afaefb401a8761b13bb26c73d2c53526d247eab79e3487c1dc44ea84a247029086fdcb0379f501f54888b3 SHA512 1206fda2249916e3f36e144aaa4df09f96dbcd38198dfe46da82fd3e1d7fdce6af162ade693a14eb72df0aede5188d3ecf23541f12cfef30a0c48c3dafe580e6
-EBUILD spidermonkey-128.4.0-r1.ebuild 13751 BLAKE2B 31c04d00bd8cd5c3703a0798b7d6cdd9f2c0c4a7c61f1a2002bf19385ac1733fb18ada53084696191d5e2919099250a35ed10faca0869524073cd771afbc300f SHA512 13bfd09838b7883a2974736cce6499a346887f43edc8f0716d3efdae21d19bfb4a8d4108656e05094b7097bae362ac12dd11d1a2da06eb093508204026dc9937
+EBUILD spidermonkey-128.4.0-r1.ebuild 13748 BLAKE2B e9cdf759d7c3cfb44bcd2a96175216a09bb03d93f226975c4860ce1c705c60b632d6700b7c3e2f235cc409802222805813b83e51100cdf75886153a953f9d25b SHA512 465ae08702c230478b71901185e74e5456f3b348276990c6f2dd881354b3bbc3a70a77e85ed84da0f033511d66b2afef6fb5637382295bd0b678bc2da3483e4d
 MISC metadata.xml 513 BLAKE2B 58ffd474492f03c16bda95e48511fb6281e03067d2ad77e994f8117345ecece5da9591dccedafe75b037d98e06851a3759caa4b993adc2910dbb76e1c01a7fa3 SHA512 1ee02bff37e2dabbd72b7f719463b12299270c7960b4cf5a92afab17c954c50e6acb826d4a91db4954fb4a7b0f8669988f2cdb5be991df90e3a605c6b35fdbfb
diff --git a/dev-lang/spidermonkey/spidermonkey-128.4.0-r1.ebuild b/dev-lang/spidermonkey/spidermonkey-128.4.0-r1.ebuild
index 0bf52dabea6e..dde37c07b82d 100644
--- a/dev-lang/spidermonkey/spidermonkey-128.4.0-r1.ebuild
+++ b/dev-lang/spidermonkey/spidermonkey-128.4.0-r1.ebuild
@@ -58,7 +58,7 @@ DESCRIPTION="Mozilla's JavaScript engine written in C and C++"
 HOMEPAGE="https://spidermonkey.dev https://firefox-source-docs.mozilla.org/js/index.html"
 SRC_URI="${MOZ_SRC_BASE_URI}/source/${MOZ_P}.source.tar.xz -> ${MOZ_P_DISTFILES}.source.tar.xz
 	${PATCH_URIS[@]}"
-KEYWORDS="~amd64 ~arm ~arm64 ~riscv ~x86"
+KEYWORDS="amd64 arm ~arm64 ~riscv x86"
 
 LICENSE="MPL-2.0"
 SLOT="$(ver_cut 1)"
diff --git a/dev-lang/typescript/Manifest b/dev-lang/typescript/Manifest
index a208614e1162..0cb3adab4b2c 100644
--- a/dev-lang/typescript/Manifest
+++ b/dev-lang/typescript/Manifest
@@ -1,7 +1,5 @@
-DIST typescript-5.6.2.tgz 4174769 BLAKE2B dad7a57b0caf704e8723021b83c53b392d945b0ac529a1be568297875eceecedbd84f5d1bb967313284d8ce8195b6f2b61c19ca0da79f22a27846cf944057f83 SHA512 356f01ca874248d0b065e8218cdde8f895f93851f43a383ab1a76310a63886e679d93a9b2532670e8e7e4f0f7c952cbadcd66f8b89fe7b3e66daee5de0f919cb
 DIST typescript-5.6.3.tgz 4174590 BLAKE2B 1de80bd262ceed3096801365222592ef64b1c112a90d5cbba4ba54f86f8d78464bef64f5f2d92a9880261b0924ebc41cfbf693e60c1edeaf4175669c0f159a4c SHA512 863712d6685fbb28b8596f085ad8cfedbac3ac6d9cb8366e932ad8ad26aea1718d831d12ef371e3f4eda758909c9c12be7a04e51334fcdb227a2888dddf9f5ab
 DIST typescript-5.7.2.tgz 4231797 BLAKE2B cb399f4d52613796145f8426bc526b2f9cc5f740ca946036252a26e0599a6466e2487c9ebb00ee9c5d207347de7b33a466afad3b563547948eb678a9b06b21b8 SHA512 8b9b7ae911f10ef54de341df0ddd4fb044e118d9e5302313de3314ba887dff44daa967af3689ed69cba75b2374d8b03dfdf21b11695c1d97204ca6fd42868b7e
-EBUILD typescript-5.6.2.ebuild 834 BLAKE2B 13bf8179a7547e7ff3fd95dfca44a4c489abea30d9e434ef9014b4e86d46c0c137bd835c5cd52997397fa062d249fbd59a2a6068c36050180cbff3abcf5faeb0 SHA512 da16160de58078dcf3f16a5a5916a5dc8ce338dbe6c910adf1375acb9bca3ef4937d3acb6787d47ef4070708dce4f221ad34be37b839bcc33945d6ae9ee1fbe1
 EBUILD typescript-5.6.3.ebuild 834 BLAKE2B 13bf8179a7547e7ff3fd95dfca44a4c489abea30d9e434ef9014b4e86d46c0c137bd835c5cd52997397fa062d249fbd59a2a6068c36050180cbff3abcf5faeb0 SHA512 da16160de58078dcf3f16a5a5916a5dc8ce338dbe6c910adf1375acb9bca3ef4937d3acb6787d47ef4070708dce4f221ad34be37b839bcc33945d6ae9ee1fbe1
 EBUILD typescript-5.7.2.ebuild 835 BLAKE2B f249d34a3332cc3134c6ec8e17c6aefcb7283cc336422e22609450dcd3483b5f056e2bc428c56e16432214fbf7b9d121dd2320a5608593082495743ba5aba961 SHA512 997e629a64d5969fdccd0a1f6c28007b566c37a5bdfda5fa51e45235ec3ed32b540f6596e54da1329e93ec4214fa18cb904ebe048839f29f97d50ab9f2747b1f
 MISC metadata.xml 733 BLAKE2B 903d85acefa054dd979ac181106cd604c351e4b81e18be7ad0f370501864f6789895244a797ec20041158d8c716907a06fa75c2ba4ea192e798719bbe73b1d45 SHA512 95806f8f442b0246867f0ba0ed70c093dfd772a558ae499be7e22bfe99cb3bc54debc7479ca9b4ac81a54156d3b8745cbb448e412f31ed2d5c43f76cbc642d72
diff --git a/dev-lang/typescript/typescript-5.6.2.ebuild b/dev-lang/typescript/typescript-5.6.2.ebuild
deleted file mode 100644
index ebdd7db72e65..000000000000
--- a/dev-lang/typescript/typescript-5.6.2.ebuild
+++ /dev/null
@@ -1,43 +0,0 @@
-# Copyright 2021-2024 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-DESCRIPTION="Superset of JavaScript with optional static typing, classes and interfaces"
-HOMEPAGE="https://www.typescriptlang.org/
-	https://github.com/microsoft/TypeScript/"
-SRC_URI="https://registry.npmjs.org/${PN}/-/${P}.tgz"
-S="${WORKDIR}/package"
-
-LICENSE="Apache-2.0"
-SLOT="0"
-KEYWORDS="amd64 ~arm64 ~ppc64"
-
-RDEPEND="
-	net-libs/nodejs
-"
-BDEPEND="
-	>=net-libs/nodejs-16[npm]
-"
-
-src_compile() {
-	# Skip, nothing to compile here.
-	:
-}
-
-src_install() {
-	local -a myopts=(
-		--audit false
-		--color false
-		--foreground-scripts
-		--global
-		--offline
-		--omit dev
-		--prefix "${ED}/usr"
-		--progress false
-		--verbose
-	)
-	npm "${myopts[@]}" install "${DISTDIR}/${P}.tgz" || die "npm install failed"
-
-	dodoc *.md *.txt
-}