gentoo auto-resync : 14:10:2024 - 04:04:03

11 files changed, 404 insertions, 32 deletions

diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz
index 42889bb41df3..db566eb974e1 100644
--- a/dev-lang/Manifest.gz
+++ b/dev-lang/Manifest.gz
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index dfbdd8631da8..f17080d8dcb4 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -2,6 +2,7 @@ AUX boogie-3.0.4-disable-analyzers.patch 764 BLAKE2B 965f6a8007a4324aa95b165109d
 DIST boogie-3.2.4.tar.gz 2067404 BLAKE2B 3c7edfa3c78335f587e9b3216599c2ffef639ba78103889d1a08236824b04a501a6def08393e08e506eadf1805a8a7310b252b03762f737d28bbab978364710c SHA512 a7d87a980b9b23540102276857621e24c020b6a66762e57c008ab2aa0f82255ba7c0c03b13e7e8ab6e94088e031b23ff2463ef2a96c3e2f572651030b89ce286
 DIST boogie-3.2.5.tar.gz 2067333 BLAKE2B 2014351c53fa9a7fcea6cc11f8d236b398b9f44acf0ff388e45a9e3b3e306963b939c45619c4227d398100ab52d6deebaeb5a5d668047cd6d5e631b058f89a07 SHA512 92896489f82ee158b851b3579b363e43dc69c3490815e9f1ba17da115fd6f6f7264e4fcf8388b5dd1891c8ff63514df6ec037454029fb80c5db71381c4d4e8a9
 DIST boogie-3.3.0.tar.gz 2072702 BLAKE2B 1731c4e32ddbc3d311f3eea5d12946008060fb7fa99b16b40699e0126417b18d6bc9f66343d8870b699a39a7dd9f7fca10d7e1660c5d154193a7d87206c6fc95 SHA512 4c9c19c7b7188a0ff39bb9fd56625d5b3ef97d857e5686fc850ea060470aaef3fafc5bf50e1eb8cde13b6b1d01a2e3450db38c77bd79ca48f663e42464c1bad1
+DIST boogie-3.3.2.tar.gz 2071625 BLAKE2B 2a9dda5e44c283279b3affe97963ba00434a9fcc235e375b8ddfaafa31c2ee2d81a3f0226155ef1759f368a45c72102b62f8cc6389040df21acce9f50d7751d4 SHA512 15023fedad93750d03b15a5baeca3374d8ad711a5020933e9c4217840c851cc1710ca1c77476afe1487521f02eebc5c5bd12e6044aaa369636c3d4ccffb816df
 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
@@ -195,4 +196,5 @@ DIST system.xml.xpath.xmldocument.4.3.0.nupkg 138523 BLAKE2B ba53f3b5ac0f2d1d1e9
 EBUILD boogie-3.2.4.ebuild 9626 BLAKE2B a2ddffedfc66c1264361324380ce46cc7a8726383dd01b03a8d6dac77284cddbb36e4a7bf0e502121c49b08b3f251c34d09d64c819841b18b2b744aa0f886a21 SHA512 6ce9dbe28b8177ca232da791d3151a966ecb78824e84b59b5b5f87b4d2758f1a471ec2c42a3661966bbc4dd317f8aff5c61bcb0a8ca073619739121ca51d1993
 EBUILD boogie-3.2.5.ebuild 9627 BLAKE2B 6e94bbf75ebf930941f9d4a118af4ef2a894518555f3b4792a48d10f6683ddf55598a105231c8ef20c7152bd5f09b95bfadd33d050fde885e0d0133e9dbcb9f7 SHA512 f2514c888d9e1437ca0a83baf66e6a4f60ef00bd864b8c142fa5d9d75408456efa1e4f525cbcf63e8653e8db46f63343fe890dc161752e4035ba96618a2c63e0
 EBUILD boogie-3.3.0.ebuild 9599 BLAKE2B 5f5ab10f20e8c6205247564d07838f4d6d8fe7490a44135559647cfaf43ed94d07e67151fb02f215f75af9dc8365d7b836c54f9703ae2a607c0beb6c6ebaf0da SHA512 73fa3ba805dc6592f1bf9614e3f375d5beaad9a51f381b802962935f4caec4355f523c1ecd413b15d5faf10d39d8b660bf46e008d9621dd4419959cfbe8149ef
+EBUILD boogie-3.3.2.ebuild 9596 BLAKE2B 31ca8c08e10e5823e0ce0ca4c97816f52e8ece1d0ad9a1bc0b23149b3410c91a2e625c5d32934ee9da69bfbb5cbf3c67033ef223583c1d9b9bc12375b949f85c SHA512 34cd8cb925affd7bd7f2d39dd130bd9ba3181c4a3b711b2488326275a2ab76dc707892deb58654a4cd9cc4d3fcb9bea356dd4a55d9ed07798afad8621ebe6179
 MISC metadata.xml 1102 BLAKE2B 215544658792715aae72787f7c949ed89df9c05ceab5a919a861c02b7938c0d1ee228e0ede55008287b616faf70992a8c1f2854e6e5e1fc909718ae682996bb8 SHA512 b6a626c485e2a5db3390da62c629507a60417eda8b508d7ed8d1c017ac337743d2c4fe0e8554b103f989176dcd2969cc8579e91532b07a22c1b66328ef241e8d
diff --git a/dev-lang/boogie/boogie-3.3.2.ebuild b/dev-lang/boogie/boogie-3.3.2.ebuild
new file mode 100644
index 000000000000..421465ebecee
--- /dev/null
+++ b/dev-lang/boogie/boogie-3.3.2.ebuild
@@ -0,0 +1,309 @@
+# 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/verified-ft.bpl
+		civl/paxos/is.sh
+		civl/samples/reserve.bpl
+		civl/samples/treiber-stack.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/nim/Manifest b/dev-lang/nim/Manifest
index 8cad63dbd032..ad88253a4dbe 100644
--- a/dev-lang/nim/Manifest
+++ b/dev-lang/nim/Manifest
@@ -1,8 +1,9 @@
 AUX nim-2.0.6-testament-skipfile.txt 2594 BLAKE2B 58af9e632d595e1dc8f6b4fadacf55f10697d75a1ff21a2a6be2feb14eb7e86c27d5fb10737614b2dad3eb7ee3b4a8d76d30ef1c7117e1b7738ca00960450c4c SHA512 940b9ad7eb1debee502568abf30f81970fc431785c3f9b00d8322eaa686f17e6b641e66baaecc7a6ec288076139d180f87978dec24a9ac949e14b5051829228f
+AUX nim-2.2.0-makefile.patch 308 BLAKE2B 2984a3487838dd65f067eaab54f7ea6ed18f000c97098f735f26df2609b8485fe91c3d1cb2711ca1c987a955f5b340cf90ceffbbc2e5663794fe5ab3239d3c80 SHA512 5de4b4990d050fff655249d8ad11ba316640bb301854c526f7772146289a7505ec3cd59a6b7811a78b4d03b0bca7e70d0c6264ea06b2b59d11a790cbea3dfb0b
 AUX nim-sets.conf 162 BLAKE2B 976422f31cf8a64e1fad537f4db38a07e0022b9460936c63e0220cb3858ba02704857841d5010ad8c7bde0e6192c4c3c1329aeca8080a48a728e8b288cefc0fb SHA512 61a07de9973fc77998515bbb62498ffd1de991241bf32805f4acc0e4325e39d767ac862f2546757763aa8d0a7f35b95a9e1df91e6aa6f241eed6e93c8e3c46f0
 DIST nim-2.0.8.tar.xz 7617556 BLAKE2B 96ab3e92c7c9d3dcb54de6528f2ae788f3ff4a927d693f2ca4917231441d85d12c8bda44c41c8f363979dbd0d8db54098648512caf7780bdc40e393c4f7803ec SHA512 e64abc379c046a9432515d1c8074a7e10ff72a1076663a5b7bdd39ae92852c98ba2cab96aa5e968fc31ca393e778e70b2392d6ab56bca7ac956d0176b4b69a83
 DIST nim-2.2.0.tar.xz 7896912 BLAKE2B 671b1f5551e093933519797bbfe2875c1726a0cdd1b33288a9ab189fb966fdb21583027345e58ab13d7e7e85479aafc52340e8ddecd062aca4b4b8de6466b88e SHA512 56374815770b1b92bef3521471a3b1a8b810646eb7f978ff329075d64d231a7d1591a928c28407aa507f1b59375d539fc81b678b84f6b8b4a88ed274048ebf21
 DIST nim-atlas-0.8.0.tar.gz 59097 BLAKE2B 231b238ac3b15cc2c2d9ad927f80ae72d8ae4c649277515f32df6cc04275ccd38db5307d627572af547501e6522c06c86dc279dc3e13b5385f14e24032f6fe69 SHA512 747c13e2c5bd45a1dc6c1426f8c7637f638ada9dd4c9aa3edf4ef8367060e73226dc4bcde6380fac25ed47ebf4097fd223c72fadc3cceba8c71dd0f0571e47eb
-EBUILD nim-2.0.8.ebuild 4515 BLAKE2B bb5d9853831522b70bcdac9b1af83436e334b87d317656bcb80c23df088e0b7c12cc8b3fcaa07e782d26d0022e318cb905a495c5dc60ab84bb57fd245aa7d94f SHA512 c180a6712575768784b025ce79d9f863e5372244a956f30d5de6bb4b71622c845b010501c07a7bf62a4a26c55b6c59127c7dcf6651f98a5d06a504996105ae9b
-EBUILD nim-2.2.0.ebuild 4494 BLAKE2B 0b2d9c26072adde1ca4e10c209116333ebe53d031ad1be1b1c2cb2e80827b2562a857724bd65839d26a2c529ba08e58770e1a34297a899ca6f4ba098f5c79861 SHA512 472386983567d071fe1fafcab347163fa3b0cfbb6e9a356fe9219a637d728b5f4206997be848d3703dfa59202886d5928a7be4156380e2f3672882780f699bba
+EBUILD nim-2.0.8.ebuild 4516 BLAKE2B 07206721451f39505ff611379f04fdcae8eb6fba3d880aaad16fe1df117cd78cabb6c04697f8774c21a425206469e81336070d728a7dc8919c8f3bcd4abd6bb1 SHA512 b5441992666d3c6b33364942bb557c97e6724a57b591daa2f4bff457ad1cf6250c6b92991411a561e38bfac8df41847248e0da3768906d630deb4df35b8c8734
+EBUILD nim-2.2.0.ebuild 4495 BLAKE2B 14aa3f9749c4c2641d677a97b96e88d5b931cd1d2cdb760c60e4c8acafff1b20fa90906d015f2d57b5e51ea4f30b7927c6583b26eda3e17461a461a355a8b48d SHA512 b6049dde621b18077f29873fced28c5cf72ee384a1dafca393369e3a5a57f830939253de1d72ae8d29cc32f727e12a8268ba732538c50262616d6620afe2347c
 MISC metadata.xml 2093 BLAKE2B 250d27e71538be674ff7f32fe55089fca33f0d6ab55fdbe2b0f858f3d4373e729f273c16b2bf0bc3265be4289e7de1438096bf60e69bd0100e126fc5cc6173eb SHA512 74a188f13cc0653aa30d0c18126ed1cfb11d4325d71ffca6af03ad62b135796cd64d269e2ea85280cd1e486b527947b287eee4db648600451336e323882ff0e3
diff --git a/dev-lang/nim/files/nim-2.2.0-makefile.patch b/dev-lang/nim/files/nim-2.2.0-makefile.patch
new file mode 100644
index 000000000000..e16b54b998c2
--- /dev/null
+++ b/dev-lang/nim/files/nim-2.2.0-makefile.patch
@@ -0,0 +1,11 @@
+--- a/makefile
++++ b/makefile
+@@ -3,7 +3,7 @@
+ # To regenerate run ``niminst csource`` or ``koch csource``
+ 
+ CC ?= gcc
+-CFLAGS += -Ic_code -w -fmax-errors=3 -O3 -fno-strict-aliasing -fno-ident -fno-math-errno 
++CFLAGS += -Ic_code -fno-strict-aliasing -fno-ident -fno-math-errno
+ LDFLAGS += 
+ binDir = bin
+ 
diff --git a/dev-lang/nim/nim-2.0.8.ebuild b/dev-lang/nim/nim-2.0.8.ebuild
index 02819c44e274..d922c4ede0a2 100644
--- a/dev-lang/nim/nim-2.0.8.ebuild
+++ b/dev-lang/nim/nim-2.0.8.ebuild
@@ -42,6 +42,8 @@ BDEPEND="
 	)
 "
 
+PATCHES=( "${FILESDIR}/${PN}-2.2.0-makefile.patch" )
+
 src_configure() {
 	xdg_environment_reset  # bug #667182
 
@@ -83,22 +85,19 @@ src_configure() {
 }
 
 src_compile() {
-	local -x PATH="${S}/bin:${PATH}"
+	emake CC="$(tc-getCC)"
 
-	edo ./build.sh --parallel "$(makeopts_jobs)"
+	local -x PATH="${S}/bin:${PATH}"
+	local -a nimflags=(
+		-d:release
+		--listCmd
+		--parallelBuild:$(makeopts_jobs)
+	)
 
-	ebegin "Waiting for unfinished parallel jobs"
-	while [[ ! -f "bin/nim" ]] ; do
-		sleep 3
-	done
-	sleep 10
-	eend 0
-
-	edo chmod +x ./bin/nim
-	edo ./bin/nim compile -d:release koch
-	edo ./koch boot -d:nimUseLinenoise -d:release --skipParentCfg:off
-	edo ./koch tools -d:release
-	edo ./bin/nim compile -d:release ./tools/niminst/niminst.nim
+	edo ./bin/nim compile "${nimflags[@]}" koch
+	edo ./koch boot "${nimflags[@]}" -d:nimUseLinenoise --skipParentCfg:off
+	edo ./koch tools "${nimflags[@]}"
+	edo ./bin/nim compile "${nimflags[@]}" ./tools/niminst/niminst.nim
 }
 
 src_test() {
diff --git a/dev-lang/nim/nim-2.2.0.ebuild b/dev-lang/nim/nim-2.2.0.ebuild
index e2962efd86a9..a61554bf2851 100644
--- a/dev-lang/nim/nim-2.2.0.ebuild
+++ b/dev-lang/nim/nim-2.2.0.ebuild
@@ -39,6 +39,8 @@ BDEPEND="
 	)
 "
 
+PATCHES=( "${FILESDIR}/${PN}-2.2.0-makefile.patch" )
+
 src_configure() {
 	xdg_environment_reset  # bug #667182
 
@@ -80,22 +82,19 @@ src_configure() {
 }
 
 src_compile() {
-	local -x PATH="${S}/bin:${PATH}"
+	emake CC="$(tc-getCC)"
 
-	edo ./build.sh --parallel "$(makeopts_jobs)"
+	local -x PATH="${S}/bin:${PATH}"
+	local -a nimflags=(
+		-d:release
+		--listCmd
+		--parallelBuild:$(makeopts_jobs)
+	)
 
-	ebegin "Waiting for unfinished parallel jobs"
-	while [[ ! -f "bin/nim" ]] ; do
-		sleep 3
-	done
-	sleep 10
-	eend 0
-
-	edo chmod +x ./bin/nim
-	edo ./bin/nim compile -d:release koch
-	edo ./koch boot -d:nimUseLinenoise -d:release --skipParentCfg:off
-	edo ./koch tools -d:release
-	edo ./bin/nim compile -d:release ./tools/niminst/niminst.nim
+	edo ./bin/nim compile "${nimflags[@]}" koch
+	edo ./koch boot "${nimflags[@]}" -d:nimUseLinenoise --skipParentCfg:off
+	edo ./koch tools "${nimflags[@]}"
+	edo ./bin/nim compile "${nimflags[@]}" ./tools/niminst/niminst.nim
 }
 
 src_test() {
diff --git a/dev-lang/nprolog/Manifest b/dev-lang/nprolog/Manifest
index 17ff928da440..ecf2160d6486 100644
--- a/dev-lang/nprolog/Manifest
+++ b/dev-lang/nprolog/Manifest
@@ -3,8 +3,10 @@ DIST nprolog-1.94.tar.gz 128172 BLAKE2B b3a2de8e5e247bce55fc6eabbd06dddee1d42d8d
 DIST nprolog-3.22.tar.gz 586822 BLAKE2B ac2e3e468de38c9d503c4670fd6aa5c61b93cca3f44fbd8f3668cd070563615d3567e009141f52577352a231d8f8d2713f2fc85979ff7ebd383817e8bbd0a610 SHA512 5f80d4fc9d08172d8555c57c4dd466037b0c878ff13c20b413f45859a614c1fed8ed3e4c75f68a2b9309fd09601d1ca56fb66a3f2a14d6378d194e85f8873cad
 DIST nprolog-3.30.tar.gz 593861 BLAKE2B 878082729facd8dc74e1d0c8c9c7158b40446172f449915c1799fe1061c9d812fad61fe89d9f6da4e5a51f0dd8e9fed571e8b36f3342b7906de79be34697bee4 SHA512 7837a43328b5285f8184147f93add1135331ae768ceccf6259ce9d694f6bf0f0fea9ca004ec6f7c6d3c43d3c58be61eb016dbb5834fa3fd685ebb3c600c6342d
 DIST nprolog-3.31.tar.gz 594055 BLAKE2B e83b3ef0a77851c93a5b549ef35ea1974f12ea16854c264295ac69a249a1b3c51c11902a7f94d85c829c8584e442588b78e236d10869ee1824f5f577dbe1d5c1 SHA512 5bcf5f42ccf0fdc3731f58618295bb18249012f5b4bb73612ca70f088c6f6a9bb515a8c0e3b365cc201486c2e191e0471d7b94beed055a848bad382f0c068a55
+DIST nprolog-3.32.tar.gz 595875 BLAKE2B e703cf1851cc1f1e6b07fdbb2f28e42c42f3f11cf1f64dbace2d3a264177c80454fda2457b8ba6f49af025ec05e6cfc0fa00b110cb0d70a39e820c7c621e2eb8 SHA512 21114f89e0e29cd0a08b45580f29eb490abdadbedd5ff500aeef2ee73f5ca321ec3617f27770072e72e71bf5e682db6759802d0590ed51b638e0e00c6a198ad0
 EBUILD nprolog-1.94.ebuild 634 BLAKE2B 822935947e92f30d24d24df388dc6510d81d110a797308305a95192caf1ce0204228e392d5044b553dc1662df5ac263d59b06e06bc3d85d0111524feb29341be SHA512 7cf886165103e200e8acb05903df2cde5457bf0daaebe83c7098edc003cafa21ff285eff13bfd24eac6ffd142c334c5ef0abe18fe14e58752f1bfeb5bf9f760d
 EBUILD nprolog-3.22.ebuild 889 BLAKE2B 8b9ac031e349ee93be59b36a8654e718ac65954258ec03138b0e6e8c9b6ece5ef9378e7a6e641e716b2be75de337ef8d1e765d06ee2f5e685c5015cacd445523 SHA512 c3fe6314b02f2a6d9f6bc8ded5973f65e46061563a99a53a7aa8b7b7c134d95246ca6a70ac0cb51e6f8e56c23bb67d11809f05130795eb3f4659b219017d70fc
 EBUILD nprolog-3.30.ebuild 889 BLAKE2B 8b9ac031e349ee93be59b36a8654e718ac65954258ec03138b0e6e8c9b6ece5ef9378e7a6e641e716b2be75de337ef8d1e765d06ee2f5e685c5015cacd445523 SHA512 c3fe6314b02f2a6d9f6bc8ded5973f65e46061563a99a53a7aa8b7b7c134d95246ca6a70ac0cb51e6f8e56c23bb67d11809f05130795eb3f4659b219017d70fc
 EBUILD nprolog-3.31.ebuild 889 BLAKE2B 8b9ac031e349ee93be59b36a8654e718ac65954258ec03138b0e6e8c9b6ece5ef9378e7a6e641e716b2be75de337ef8d1e765d06ee2f5e685c5015cacd445523 SHA512 c3fe6314b02f2a6d9f6bc8ded5973f65e46061563a99a53a7aa8b7b7c134d95246ca6a70ac0cb51e6f8e56c23bb67d11809f05130795eb3f4659b219017d70fc
+EBUILD nprolog-3.32.ebuild 889 BLAKE2B 8b9ac031e349ee93be59b36a8654e718ac65954258ec03138b0e6e8c9b6ece5ef9378e7a6e641e716b2be75de337ef8d1e765d06ee2f5e685c5015cacd445523 SHA512 c3fe6314b02f2a6d9f6bc8ded5973f65e46061563a99a53a7aa8b7b7c134d95246ca6a70ac0cb51e6f8e56c23bb67d11809f05130795eb3f4659b219017d70fc
 MISC metadata.xml 657 BLAKE2B 9331358542d57958385bc1218b4a1c5d38185ab0822d0cc68e51bcc5f8b00645a523a1a4f60d30188efc3ed7cb934f0a6a964d27bf0915c5956c69774c734590 SHA512 972ae4d1f2179887f77d8805f2e5482c17767e38b078fa9d9ee65a2f43e0b56b76fccd0166f4c5121de9a7cead4faa7683bd8e9076c257ffb2d1deb673eb276e
diff --git a/dev-lang/nprolog/nprolog-3.32.ebuild b/dev-lang/nprolog/nprolog-3.32.ebuild
new file mode 100644
index 000000000000..39a1d076726e
--- /dev/null
+++ b/dev-lang/nprolog/nprolog-3.32.ebuild
@@ -0,0 +1,49 @@
+# 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 to be compatible with Arity/Prolog32"
+HOMEPAGE="https://github.com/sasagawa888/nprolog/"
+
+if [[ "${PV}" == *9999* ]] ; then
+	inherit git-r3
+
+	EGIT_REPO_URI="https://github.com/sasagawa888/${PN}.git"
+else
+	SRC_URI="https://github.com/sasagawa888/nprolog/archive/v${PV}.tar.gz
+		-> ${P}.tar.gz"
+
+	KEYWORDS="~amd64 ~x86"
+fi
+
+LICENSE="BSD-2"
+SLOT="0"
+
+PATCHES=( "${FILESDIR}/${PN}-3.22-ncursesw.patch" )
+
+DOCS=( README{,-ja}.md document )
+
+src_prepare() {
+	if [[ -f edlog ]] ; then
+		rm edlog || die
+	fi
+
+	default
+}
+
+src_compile() {
+	emake CC="$(tc-getCC)" CFLAGS="${CFLAGS}" LDFLAGS="${LDFLAGS}"
+}
+
+src_install() {
+	exeinto /usr/bin
+	doexe npl
+
+	insinto "/usr/share/${PN}"
+	doins -r example library
+
+	einstalldocs
+}
diff --git a/dev-lang/python/Manifest b/dev-lang/python/Manifest
index 438f57333650..60857f9edab6 100644
--- a/dev-lang/python/Manifest
+++ b/dev-lang/python/Manifest
@@ -31,7 +31,7 @@ EBUILD python-3.11.10_p1.ebuild 16633 BLAKE2B 9341f71a960b419b368c9c3caec0623f37
 EBUILD python-3.12.6_p2.ebuild 15655 BLAKE2B 9ceebbb512c0bf287463638291ef71da965cbcc8e57064fc9b05fb0b8e220c96a27b3af336909c72a430c20e4e5b34f7b4467b41b18ceac67938f8eb08631efd SHA512 f4a9ae7f3a2d7c8e4050a291145d32b8e76847d8f73886d9fbedca63061fdf7bd8f8b6337831bca14c5f49eb48a128c8642b8f0c19e34c08ff385d3f8a9b2f27
 EBUILD python-3.12.6_p4.ebuild 15592 BLAKE2B 4fd16b8532f833fb4d5773041932412eed943284d9da8b2ddc7f9c93eebba68843ec226c839185b59d4c5ed71c37284ba2cb3e705fbbbc46c92d28b6cf0f4e17 SHA512 a8a5104fe2c488b36a62c954307c0f56594c7c678351647686542d2e29965ef40ad107779ffb6639c02ed2f7bda3b31182039b06ba1ade3be6917796ec737ca4
 EBUILD python-3.12.7_p1.ebuild 15599 BLAKE2B 7cb1e514a919f133e531973903e6f4045c78c1f16a243e8bd4b994bad2178f215605cbcc86187c1b65b543baeda5b4f1f1a063f7bbff5e86db442604157e89ab SHA512 04aa7ffd26bbf691f4536e6cb243643670e30060c302bd002b5af87000156a235987268b07ed70fcc603c1f6330d015d08e1dfee8db884a05252c99c7ff39d99
-EBUILD python-3.13.0-r100.ebuild 16969 BLAKE2B a2eb00a4cc741187427095069f87904b79ec3b5465444278bf418da61f6f0b0f2e8bb851f91a02bb19089a972afdaba51ded296868be99b42d85ae46214cf92a SHA512 0652dac9338fe0242068ebecc51113f9d75d8220c8ef4e20b6a5306ba146cd3b8b629431c9182683b3065a0d2d448ae1687f0555af927528f3af9eb54e7230fb
+EBUILD python-3.13.0-r100.ebuild 16971 BLAKE2B b9b86f390a824d1f06f13a340fc553e7783337b6955f40ec0fb21de152f89be02a53f89328bf2291eb0f77cc0240f2415b8b15aac18eebf2ee07b92440af6a2c SHA512 ebc9a643520ddbed7c11d306e69d78324f5cfbc5174d382452278421f190ca7d0d2d9abcdf2b442aa7adfe5a118e058efbec39c077eaf1d112f4711ffe91ad46
 EBUILD python-3.13.0.ebuild 17281 BLAKE2B 22734ff4c613afae90118343996fff5ce89af755230342a3b192ce722ae00b3cfdbdf36cca09d019a96fe2b1a762c49ca4b56f08a7df06b1a3e27a3b265bd3db SHA512 6f547fb3f6468622698bc7a8e50f0cfa7b46264c0b29444c342b45e32c871758245dd8c6df6d7e893cdc7e49685c77af445f12e1dd8da303bcc71d0da57e9e2a
 EBUILD python-3.8.20_p2.ebuild 13269 BLAKE2B faa45db39b14c07e619a746dfc65ac8369390b67e763357b9dd1806af89d880a5007cdc9c8a13c6979cce2d59bd2b3be725c440ee4c2b83e7fd166ba26645695 SHA512 e64f3ea4d4f867c6a8cd7c1cf6f60e791c0c20ca98cda97dce06a73fc83de54e9f6572f5005822c3b82f2d56630678864b8896d485080a220bf7121fc2e83eaa
 EBUILD python-3.9.20_p1.ebuild 15295 BLAKE2B bf70dacfc1078c4a29a243cbb33aea78bb51580e3a706a34a6b50aadb0d40530e28872b2155c0b87d6e283c3832c2c49491e06c045442acb32fb12a17619448d SHA512 e23bb214a15d8353c47bb305893bb2f86109f648bcd0fff60bf29e4047d527cb6a873168c73203661c803bd1ff53e8ed88527a4e4d7de8a13d399bc4a290879d
diff --git a/dev-lang/python/python-3.13.0-r100.ebuild b/dev-lang/python/python-3.13.0-r100.ebuild
index 2a2a04b6739e..6c78c5cb367b 100644
--- a/dev-lang/python/python-3.13.0-r100.ebuild
+++ b/dev-lang/python/python-3.13.0-r100.ebuild
@@ -110,7 +110,7 @@ VERIFY_SIG_OPENPGP_KEY_PATH=/usr/share/openpgp-keys/python.org.asc
 # large file tests involve a 2.5G file being copied (duplicated)
 CHECKREQS_DISK_BUILD=5500M
 
-QA_PKGCONFIG_VERSION=${PYVER}
+QA_PKGCONFIG_VERSION=${PYVER%t}
 # false positives -- functions specific to *BSD
 QA_CONFIG_IMPL_DECL_SKIP=( chflags lchflags )