gentoo auto-resync : 10:02:2024 - 17:34:25

10 files changed, 4 insertions, 983 deletions

diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz
index a0b779182fc3..203d2ffec3e8 100644
--- a/dev-lang/Manifest.gz
+++ b/dev-lang/Manifest.gz
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 6cc78a988782..36ff97717498 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,7 +1,6 @@
 AUX boogie-3.0.4-disable-analyzers.patch 764 BLAKE2B 965f6a8007a4324aa95b165109dcbc85f7bba5696d04772c53cfb1e456d0c60d2d3dce9103df641fe7f565d2a2d4e04a5d02aba43ac1ccc4527dcaae90b7b28b SHA512 b8c7b9172cd2f45be84058babd33c75f37dcb08f6c1a0b7c79b0ae2bd8afec70b29886f23d0a5553a00e1d3761a7788db0444d06788ee32aed2d1c2cd7cb9554
 DIST boogie-3.0.10.tar.gz 2045614 BLAKE2B 47b709a9842055f489ddab50d1661c4abe5d5c72c3b968c80d4895797409cbb1b480d18ca514da4eb66797706213310baf284e2ad736714defcd03baff1bfc60 SHA512 7ab6c99cbb9e737208519fa86f87f942d4d898adb0ee1f08978e6ae59fd0be0b7cb0eb8e288ad787cf7d851920830f16bfac4881ea0c37af872f5e4a74a1f5fe
 DIST boogie-3.0.11.tar.gz 2044740 BLAKE2B b8c1cde7ad4b10deabb9ca9edbf226f580512a3817e9a19a947c7bd5d26808c08e907237aad2209ec06e645fa7ef40c8d73fec812437585b27adf4e125d5b1a0 SHA512 fe59fb1ed2708a5d988a569dd14148e308966ca6382da8502a2c679d67121b39f60e03e9ed6f7efa80c079c818db008c99e1f5e6bc28ba617fe33ae6289c2cce
-DIST boogie-3.0.8.tar.gz 2041785 BLAKE2B 0e6343ccf9f1432a19420d8358eea8aed754583f7a5e2343d47515f5377856d288088238d9f1d61a4cb05b3bff1a860dfdb654344007da5517b9c3f30d33b071 SHA512 31e80bb657f8b8dbcc127b1a6ed0a3a789b1de762b3db7d3d2f002d52a81486d716204816ff5bcc5680a76b8edb0b99651f996193bbdab40746f437bb20a3d46
 DIST boogie-3.0.9.tar.gz 2044403 BLAKE2B 80062b0de01899902a591debe68d8557897295f79535804d5c029f916aad3eb286681b011d30313090444ce73db5e76c9703583f9b3929dd157a0625215de599 SHA512 78e7fac6fa98a39c0c19b0d805d8dc6ff273bda26088616eb8277778224213ac00faf145527d22d6c3941b25d197ce9be19278e97a8fc4c2d222b1686dc125f1
 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
@@ -195,6 +194,5 @@ DIST system.xml.xpath.xmldocument.4.0.1.nupkg 86933 BLAKE2B 4c03b5a9433c2c954e75
 DIST system.xml.xpath.xmldocument.4.3.0.nupkg 138523 BLAKE2B ba53f3b5ac0f2d1d1e9120940b302e6960690ed4a44b96ba15b03e16f9159f2c57d6004aa55b796ba2327009d23fc2f10d4d09e948b88eb6af36efa5f76e401b SHA512 f75b6f7c75874ab6053e8942c1662a6e9a3561aa01502437b8d67f3bfcebd1ebf906792801326889ed7acb094c55469766d7d27cd10bc61b46ddaaa94dfc11e3
 EBUILD boogie-3.0.10.ebuild 9280 BLAKE2B bb1915fb5a1d3318be070296679189b8a536ded67d996b0336726da0ef2c38e7fdd1c55074a13957ba69046a20a67aa619eb0d8abd9109b6f44c337b65db0652 SHA512 c334bc36710f68d3e91cd165d5f5d8fffee37da0bc4a03eca923302f685e23c6166854e6425d034268cded5638fc51324aec9541dbb568a560c354e4719c3e92
 EBUILD boogie-3.0.11.ebuild 9258 BLAKE2B db8f9164f461500832f944480307fd8502077377f2fde0a1b97f2156451b7423543ea8922c56c19730f1422e628bd76a191aafa9805dbdf29469eec7edaeb940 SHA512 e2eeb3cd484ac7cfea57cdf274731ecbfb0f06d7ac9b684ca4bd91873338230e632e94bbc52e1f0e7e1718676ef88b2d7490512869db99adbbfbddcce1c139e0
-EBUILD boogie-3.0.8.ebuild 9235 BLAKE2B ad9b4153f27c0539aab880a91cba5c2e4074c260adddd6dbfd40d109427fba25553a15813c5d6d0142c0b53b2f1ef1102c14edf036aafa86bdccde3f6d5c0e2a SHA512 2ffe8b9ec4f637273846e7c3029ef60b42c935620915575661b4b4b7e48f0d91ce45647086fb8015de3d48f9f28382f71fdc3323cfa58d3f1c09c03e5276a4be
 EBUILD boogie-3.0.9.ebuild 9257 BLAKE2B 96f5e3a404392ba026fc3e6c89aaf160e43b59f416ebb05d962f8410cfbbe197454e8125064c6fa4e7094e2b7089972111046f9b3431364b3efb3e3fe8492cb4 SHA512 ddfc00b75fe2d70da8e4a79f0531688a91ba0f0cd1c7d40534beed508db1909deb818f45e00d3945bc83ca2aed56e3cf5fa9582cfb46771accce9e4d6b87a185
 MISC metadata.xml 1102 BLAKE2B 215544658792715aae72787f7c949ed89df9c05ceab5a919a861c02b7938c0d1ee228e0ede55008287b616faf70992a8c1f2854e6e5e1fc909718ae682996bb8 SHA512 b6a626c485e2a5db3390da62c629507a60417eda8b508d7ed8d1c017ac337743d2c4fe0e8554b103f989176dcd2969cc8579e91532b07a22c1b66328ef241e8d
diff --git a/dev-lang/boogie/boogie-3.0.8.ebuild b/dev-lang/boogie/boogie-3.0.8.ebuild
deleted file mode 100644
index b06fbe0900e2..000000000000
--- a/dev-lang/boogie/boogie-3.0.8.ebuild
+++ /dev/null
@@ -1,299 +0,0 @@
-# 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/lit
-		dev-python/OutputCheck
-	)
-"
-
-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/PingPong.bpl
-		civl/inductive-sequentialization/paxos/is.sh
-		livevars/bla1.bpl
-		prover/cvc5-offline.bpl
-		prover/cvc5.bpl
-		prover/z3-hard-timeout.bpl
-		prover/z3mutl.bpl
-		test0/MaxKeepGoingSplits.bpl
-		test15/CaptureInlineUnroll.bpl
-		test15/CaptureState.bpl
-		test15/CommonVariablesPruning.bpl
-		test21/InterestingExamples4.bpl
-		test21/issue-735.bpl
-	)
-	local bad_test
-	for bad_test in "${bad_tests[@]}" ; do
-		rm "${S}/Test/${bad_test}" || die
-	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
-		--verbose
-		--workers="$(makeopts_jobs)"
-	)
-	edob lit "${lit_opts[@]}" "${S}/Test"
-}
-
-src_install() {
-	dotnet-pkg-base_install
-	dotnet-pkg-base_dolauncher "/usr/share/${P}/BoogieDriver" boogie
-
-	einstalldocs
-}
diff --git a/dev-lang/dafny/Manifest b/dev-lang/dafny/Manifest
index b183cfcdc2bf..a40c14cd0fc0 100644
--- a/dev-lang/dafny/Manifest
+++ b/dev-lang/dafny/Manifest
@@ -1,40 +1,24 @@
 AUX dafny-3.12.0-DafnyCore-csproj.patch 1022 BLAKE2B 6f1d895027a5991192e410f4fa6f4da36dd558d6477869e9554c21a5c0f5cde338f2b7e43b1d89eb3781b80b480f6bec8bb0fd54301205a54251b541d5aace71 SHA512 c49ffd681ef6da9b7c708414d86ac670c7c1cad67a05ace872e6baa9b4f441cb164add6bc92a5f693a3609c48f63011fefc5266eb97a8fc0b619b1d6cc013c93
 AUX dafny-3.12.0-DafnyRuntime-csproj.patch 865 BLAKE2B 33d94935c9aba72b3ef23e878d40d9b533b945c35e1aa339ef2762d75b7e50fafff70a857faac7309b500c3b48fbc5a3cc32e518d2a39f15fa2e2136c926a200 SHA512 eee2c28f577989a4ebdde70df1c4195d6e53ca083eebd1d080073e479bcd490fe495089b4771c84abdf658b87c5dc7ff7d7f9a2ac41ce58982a777f207f86244
-AUX dafny-4.1.0-lit.patch 329 BLAKE2B de07a7ce2047a2dcac6c17ec00ee08772a40c6b3f0371679ee194333abf7740b56d0d4efbeadbfcd3a895343be0d01e85c7195b6c2a43ac6ea428db0bc567af7 SHA512 c67290732332feb81718a84ddcffbda74f8af60f203decb1af30aa922ae0567a3ce5df8dad896d1c917707111423c62fa2f2fd03a77dc616eef3f6b875cab7fc
-AUX dafny-4.2.0-lit-use-system-boogie.patch 531 BLAKE2B a9b37e00fcbd204e525caecd37bd47a1697229f0b84fb4565e456fa98fcfe9dc9dc0b6f7201091dd447136ea68aaae0788e863db385d3362c9d694016516f99f SHA512 299f8b85418dd3db27709e29ca7528d9f04eff79b6c72a41c21387f1efd50abd000a5296257d311c3d2421692b3e9485da0a5e19df6a5dcd4dcbe4693555c71f
-AUX dafny-4.3.0-net6.0-upgrade.patch 949 BLAKE2B 3ea7a94a6786193c35228ed721140b1304b706ae14398e718d55a7d1a6469af63534b82d24ed52c34e12996d89ef196472b322c10fdeef16fd922cd17f920734 SHA512 f5fb2dcb40078038b26525e986004612c6d161904ffb3379d15e4c4082a1d9e04218ab4a6800e095e11636f1b0f2743415b91fb2b0ce9ec1aa797257782e103c
 AUX dafny-4.4.0-lit-config.patch 421 BLAKE2B 70c442fd505fbe350e31212ee23746d2b43c8f713de004a8ea0c801d46be5bf98f7a2feddad94ed91661621003ae6d20c10e57b3c8a7ecd8699a012507535740 SHA512 9c010d990ebfc6ba046c61489a138f4047ed7e17121f093fac19bee274baa40fc1fbff11d6f637aaf93e55de69c30709b53291fd3991adf9938d811f6c1f9599
 AUX dafny-4.4.0-lit-system-boogie.patch 623 BLAKE2B e10f224ad87ce64af785b8f2409395d69824c921be51b6271c2c1beaf3d2020a293dadd5b2735aed32d25737431bd6d4307ac7ee28cfd3753393ac262d88395c SHA512 97e06ec2ad1f1086aeb8726f90a0316ff1d1ccfd6aaaeadd00f913d79c5e88abaa7f6ea7899a0f37ae521ad27f674bb4cbce9b7f25a1b5ee462c06adf594d146
 DIST bignumber.js-9.1.2.tgz 79226 BLAKE2B 3d2ff19d73a6fcfbcc0d03d1e9808796baae639e19973cbe0c26af4b514abc299129b8a7bc3e4e803c61af44b76f4381b1965d8fa331ea43e8a4c8fc7f98d8e7 SHA512 dbf98ac991fd2bce5bcce11f8570c11594c6775093b3ee481e9785428f65ba2046ee1821742f39d4f8f658085be84dd1e9bf6d663fd72a16e0e1fba6f8a7a9ba
-DIST boogie.abstractinterpretation.2.16.8.nupkg 29244 BLAKE2B 0e8deed122c8109b145bd2fe8f4134dbb9dfac1b934081b45e5ce89ce9147d47e6b26f6408fe47a9fb3228f8eaf783e289062991d07580d21b4092b36e6571e7 SHA512 04dcf0db58ced0f65ded090a7429bb213c9f45c7387ea0cf20f4c37ecd7630d03ead35e8029cd416296df6c5e9d2ca0cbd1c329b90fe96c19669cbf0be8828e6
 DIST boogie.abstractinterpretation.3.0.9.nupkg 29646 BLAKE2B 20b0e150d3a9a6ed11a24cd9920a97971d515207d86864a9b1cd4d554b2b3c34e27778051a9bf6d8b3178352a6cfbb33c363b2d69958f6503e17e366ca3e1147 SHA512 26b75a409b4bfe5dd4ac982ca2c1b03df2118254a9becaab74f4d44b652746faa0448ab943ee9177f6a0fd105f8ce015a4403b6ff58df12201b542c50618b222
-DIST boogie.basetypes.2.16.8.nupkg 25567 BLAKE2B d4bbadd546e856f7eb308555f9cf14e5e60e97a442ba38b4f7cc563f41f2f8c33c441b34df65a05823c91201056f391dfeb89f268697475ec8cb0666a4a1a68f SHA512 34854b8ddaf94fc88ce459b8eb7164e1aa0b8fc1274b5772f44bbafd70996f1b68fc06d1c0575492ec6cb7d9878574dc0ceb27b6345b66b224cca1da5de7fa3d
 DIST boogie.basetypes.3.0.9.nupkg 25717 BLAKE2B c1e549c6d7c675fd3b1acbe1a39fb5854d182b70ebab734350439dfd0cfd2be879b1d2b9c91ad832dae8e6f695fbc41510285bc7573b11fd51a170d4bbc50780 SHA512 d561f66a89af09cc07596bd1079993010a325ab2f22f2cc85408d12fd1286b15b0d7774b2e4037465a3b78aa829205f77b8b0b2efae9b9f3145eca6e82ced4d0
-DIST boogie.codecontractsextender.2.16.8.nupkg 17326 BLAKE2B 8b530bcc0d090f79d0dc24ddc89079468e7718c90f198dbe014b80a34a112253d35fcb7cd77495059bba71a1b30c8c86d27ae4902a76f20a57c53bd8edaa4dc5 SHA512 da0a8ed7bff2aff245a5c9fd1e2600cc4813e7f87ba9d135df57ee2ace433611f4a2007c860662f330b785add73939302d27623482feaf400eb0aa40fae6b1ef
 DIST boogie.codecontractsextender.3.0.9.nupkg 17455 BLAKE2B 6a6f060e16942750e52bb72630b306cb591212ddd9960ac9778efe44239300f19b5793bb0cb94cb66e01a16f0337bf77bc6f39d2ce680f5ae94c566e2420331b SHA512 b15d7b0d24d5464189daf797e02b7e6342841de5c7cc3a15c954ee270d805afe0dfc3e5268dba5abbb636e2de2c859bf7a3f442180fd3a7cd2f70ec227fdfc24
-DIST boogie.concurrency.2.16.8.nupkg 93380 BLAKE2B 5c156974dd56e4cdb1162f99fd7af6d2440877139be008ebf812cd394b52396eb0dad2afd02718248246b6adbb8a497e31faf96aa5239c99eac37d31acbd550d SHA512 fe2f4890f462508d71d440ebc07ac00b7717ceb16ebf6689f5f684f6bfa7e589a36a73fefb751aa129092dbf81dd7052a1c74c1186d5b7e28325e93a7f38fefe
 DIST boogie.concurrency.3.0.9.nupkg 93215 BLAKE2B aa8e969eea49750503249b1f196ed3c4f388fae2a39c46c61c4dcc343feb15b3d98d0b87065afe1f82fa0d8bbeea895b3362bc2ecca26daba0b0316ab8fad648 SHA512 618e4e3c06354b8ff8e6c23341915f1bd92366aa99dd8f9ef217110191f653be2a4d30cb83d004d4a34dcd7244e9f0603179859d1371109f1ae7706046643cbf
-DIST boogie.core.2.16.8.nupkg 201194 BLAKE2B 05e543b5dd70bdf78eab971a8648d5873a386c9b50574d011a7e815f45c95d506c8a1d1416f571a6dd418a9c4165d4e55f17c89ea55e6eb10cc83da1f2c29d74 SHA512 7a2969b3be2cee011f2683b190a4d1e7db254ba9078963d3f77e8d6de091c8e3f67be25b89d123f33266818834072ebfc853f9d384c626400215e8353fab324c
 DIST boogie.core.3.0.9.nupkg 208520 BLAKE2B 180b099ac167eb4cdc2b96ebfecc0e70789d0bcb01fe2842b69520b1757efbc8cf0ca56846dee6ab17d5a88c38920273368803d646a143f4010926de81c420c1 SHA512 eaa0289840caed37aee889a66b60e0389729f2233b568c58de22790fd3eb3e93478b17d58d290c1622ccb7bf788f8a98cb942ed6124c8aa3efe5beb44889fbe0
-DIST boogie.executionengine.2.16.8.nupkg 83164 BLAKE2B 90af3c4ef8da9ad0bb38ffe82257b7615ed11d6f42c8c77534f91b4cf137819640b686898170725f7efbfa1277e8f8a2d7138a6980f09498af17f02b7ce50101 SHA512 c58be956eed537d8f1455ec70b4845982201595cf4c75f60437cf2edc1ab31e67fb9cd718c86c5bd311049a4f5c4305ba32f66595992e2e24c45c808a1fde709
 DIST boogie.executionengine.3.0.9.nupkg 83903 BLAKE2B c3b8caf6097ab8f2b81b72593d7802674a8f6069f5601431a709095e0c785dea07c8b7b4033954ee7786e518973c9fe275d59be698918bcb5177bd90e3583525 SHA512 d80374d6df8f663ddef0a2bf004e9f414ca9d79e02861344f5878a1033db17a7d5102f92c4299e16ad5d1cf421a7cec4702dc320a5969a7699bcd2c31e933a1e
-DIST boogie.graph.2.16.8.nupkg 27805 BLAKE2B c76003c7d961103766957f46f0730cec6a888b942840c0f8e4b2a8b5d2e49e13c734849671c150e80027179b5c0bf132b8af3f5f88e8975e656c13b92dbea461 SHA512 89c80a4a9f3810a3d42578c4576a63fc3d735710f7da62776ba6272c8ae2dbb44fd92dadc152a718af6200a1b7bcdb32b4fe0c2ebdb6f2eccad565ae36de5a78
 DIST boogie.graph.3.0.9.nupkg 27933 BLAKE2B 5ba929366367792f0288655c5f304ac6ad88d3a89c84df5082d78939306bd6e3441a1c517a060fd1c32eaa7d25e14a3eccf7c40873d413b68a5c36a109353ba8 SHA512 1b65fbf349c9516a18e2cdb876a343ee037096ee528933edc2565e43c5e79bcb2dcc56b7e095b150f6c70aa55b217789d04e6c4109e369cd2e9d96c465fd76f8
-DIST boogie.houdini.2.16.8.nupkg 52498 BLAKE2B aa93321fd931d5bcaa37f1a71dd07da904fe0a508a1455a049873b6b79bc8c34429e828260f4a15939c915c73cc2e811cc4a46e06f7e569d9fe6001247e45dfe SHA512 c32a7763f398499282115dfe83e9424c453a4f54dd43d4aab6bfdc082f2011e588d850ab6de95b59ceb069f12bd3a24c6ac67a96d510b7c21dee0b18d0b08fc5
 DIST boogie.houdini.3.0.9.nupkg 52700 BLAKE2B 686c532de540e11d70be62bf95f6398c21e12ff9386a295b21d58882d105933068524d865b93eba8996bc29f80b05285196a2253493ddcaee13217797b0506ba SHA512 6ea2874623a582529e2e6921ca4c05e76602e6bf11f53323dbb5269e6201b1e1d2ec9bba7641a4918a95fb64f5a488841fab92da8ecc7c3fb033d0e286a4d0a9
-DIST boogie.model.2.16.8.nupkg 26750 BLAKE2B 2ea73b107c2261de30bd9f97985af96fad15506d3694f4eca83ae6a0e634a77c6aeea56f6587fe7e8ed6f2edf8f7ad487ec189deed86f9f553ec517fd734b73f SHA512 a4b780baddb8760843cdb55816ad8328e427cd6e6af3fb314e634291217a0fb30a1083b8a66e6e21cea5cd655cbabec68230fd2af919c7e1c03fab9e828d789e
 DIST boogie.model.3.0.9.nupkg 26904 BLAKE2B ebc9e26fe815a7133e87febf8e4bf7af5af4b565e099dc2dfc45515e4e1a4559643d189c1ba5d0d21d230be958e3751306735c533fc99ed95acca740b22887ca SHA512 54a13e45ff1d53eed7cd372997525008c49075783df30a6159958c319c0ae661599bf08ec6bf9ebcdc45c85c97e2ca1d4cb33139db78a5abc50bd018a55c125b
-DIST boogie.provers.smtlib.2.16.8.nupkg 70449 BLAKE2B 18dfb53301792e6f1c300251c2dbb0e97305302e6a37b8d265c46089e9454cc27836542a1a1e4cb53663973c8a5052cfc01500ffa6bb33f27c855d31fe05e4f4 SHA512 c02db395a05d85595e8ce03a4cb114cc67722c2083f7a9f4c9c794edc8f664db1c5d9094ab1a831f7da723fdc953bff9e39e756b320f46853698c165f6ac3d33
 DIST boogie.provers.smtlib.3.0.9.nupkg 70598 BLAKE2B 49195c7478a7c82fef6e15fb57bea2ddc891f5145fb7e655fc5b84fa4989d209aa0eff6bca8d57da9d08f6df026ee8cfb14d37953267048f5e191ad0520dcd74 SHA512 1c290058568cb170c0774779c8264f5e05700784bf21369852c0b0dd581665e64f9d23f98cd2ee22124b5a2866af56ad59fa56925212eae5b7ba26833d7034f1
-DIST boogie.vcexpr.2.16.8.nupkg 73410 BLAKE2B a47f0badc0881fe6e200992e04ec1b8e153ae20fe9f10c5967ef8c2437c322e942b396c2d10c1ae867d9259739eec4070b9235008666c39ec4f1bf3aeee5d530 SHA512 826fdb450d0e362edf79b9149eb2d9c999eab3c8236f2fb566b0af0f8cedf4b30ed24a4e181a409af004edf5bac23e2ffa7b218c55ca95f89b90eafb92fd6bb3
 DIST boogie.vcexpr.3.0.9.nupkg 74092 BLAKE2B 978887817f7d48d26d999b2f0a37adee927506aa6eb2e7a93b78567b8fc67411e1cd56e0ee0876d95473edc0dc5068f69524093f8ffd7b4f109490c815a28b80 SHA512 024e898e35c933e4b1c55547624d5a3c531245ac1a8b9c03a2d5955d702bc1d51cbfcac0aaf214e9f0f3decfafaab02761490b02bc6ec5c385c2a20778c33de2
-DIST boogie.vcgeneration.2.16.8.nupkg 89218 BLAKE2B fdd76f0946962ac7d4c71498592f7309d706f932301ba5d2dd19a609426691c3ca8294845dadf47d6f33fb8ca54b915793174a3fbcf58cb2c2eb6f2b32460e49 SHA512 8cc9b1d373dd1e52141c32170de058474037eac398e2b3a3bc3de1cb4ae71776ad4a6cf6d486ece9a64ce48850295210b1d244081bf1f70c2f9eff83e7c811b7
 DIST boogie.vcgeneration.3.0.9.nupkg 90650 BLAKE2B 435902e5892351f6aba902d3e3cf89c719c68ccff2075500fab607b6af64dda7837864284a3c44fc3a3ac17201355c1249c5ac2ed4ed61a2f1c3867b1338f18d SHA512 a9bb6155275f6f86ef5be7d26be560c8fd1f6f976da552cb038dd7eb41331ebcfb694f0b6367f73a778550e0545dd695c8a35d568cd0c9bd78fcf30c894cc490
 DIST castle.core.4.4.0.nupkg 916004 BLAKE2B 7404f946c140bc4c22132282a4a12694328bac2f37f3cae06c595076068dbedc808465e352f083450cea3e3869698f91b7a5b2b55c08f29f4a9feba7f15abf74 SHA512 7626c347f82038bc29b0b2ae399937047aead260ed85ff8c107d36adbe901d729be59cd89a5f98ef45da2d1883c8374b6f286c81c044a5a2b69ab4b5dde9ce98
 DIST commandlineparser.2.8.0.nupkg 475554 BLAKE2B e55eda3a96441169220e5b081f432d8445d719cbcf8e86527920d44085e6e97934e20aa0266bc5dbdc16ba1a6daa6ece55bc2c63266c9d733ab4992f2fe3e0a1 SHA512 8c276513dfe91e5bc72cfb3b96a0d24411ee3bd2e9832d423f6ade3f3964a011dbb977ca90601750fa133a0a25fe72f66955be7f69a72f5d6b73c7f313094b5f
 DIST commandlineparser.2.9.1.nupkg 496069 BLAKE2B e2c4b38841f83d6bc10432b8055af90369f1fe0a10105a58b51b44cd48e5d84cb0b5e4b19f444d8c81b38646a62c7c4d11cbd710e92fea68be3ebea6ab98e3f1 SHA512 4f364e45c9668c7e7cc6a922b488f3fa523033c20d7a432694f0a6af05ce528ea0481d8375e2f4f1032c6990347b4803ce9a0e48068c6fe15ec46fb1254f085d
 DIST coverlet.collector.3.2.0.nupkg 2209480 BLAKE2B 175bcfcb9d6e5177d44f2d607f2411cbe77d6009d096bbc84372e33d7be972d3e39ec39d7f2669b4b91f4bcf44f6ddd46bc91541c0cc4843426e2dd1073bf5c2 SHA512 b63d02a5d3233805b42f0b8cc76f40c8d9f5a0117beb6bdb2ab147f5521bb99919b29d51ff91767ce0bfcab92d25fc8fe794133cadc60da3e009ae18d10fc920
-DIST dafny-4.3.0.tar.gz 5922075 BLAKE2B ba5888f64c194fefaabe4e817422d87093de373920fa66ed6ef9bce5471fa2b32681aaf16bcd7b6a1933fd822747843da9f3208c8a9ea9e8e5b9463e3abb12d9 SHA512 2989c7c7030ca6dd3df0a43e2c099e3d0b383ac23058a1f6a6a7579e764c2842f241f17594f3b385945b4f59aa17039b5c34a9165be86a15d8441dc3ea09ca58
 DIST dafny-4.4.0.tar.gz 6241907 BLAKE2B 43f5b6bed5ea0bc6f8de04650b2f97c0092df1df47aba9bf0c6b9210677077427c67cc80364f659305b7d851c178439a1536864dfb7c6396b4ac6517789fc83d SHA512 33789f10b75a1946aab552f11f40296682156bab7cb08cae431f00f6fdb6b12d3211ec2f423a42adb78a3245b19ab8f772dafca4d1448cb30077268680f73534
 DIST diffplex.1.7.0.nupkg 69699 BLAKE2B 9c7d6eab09e7df1d791183bbfc4cc46b7bea8dd4b5d09fd3e7e3dc1734e6a8973f92a34387e1a2a0e3a4cbf11ffb89f8138844b2b46d2e94010932ed47158911 SHA512 a0f7a30c59889d71eba97db9bda2efbf1b458ca439d129b52ba3eae32626325e73ec13d46018603a81a33cf18a25a5b08a1b2e6a89c7e716faa47eb9db6d6474
 DIST humanizer.core.2.2.0.nupkg 104728 BLAKE2B 6c383abbbed9250f2a7eeec4478ead8f23ad53aa62a5b0f22e71fed9157aa6644a9a7518842d637885b7b63a4300754e1a7e9f3f9968725607ad30bf18e27a21 SHA512 e232459f914c8e7fc3f8dee69a85e66beb8c44515d4c83a976ee24084a91f32aae61c6f845ff38edcae02d0bcab44f9ec253277dccf2f4ae7e82235047bc6ade
@@ -372,6 +356,5 @@ DIST xunit.extensibility.execution.2.4.2.nupkg 353652 BLAKE2B f10e20d43b8030f51c
 DIST xunit.runner.visualstudio.2.4.3.nupkg 809588 BLAKE2B ce18ac895657d1efa9752e44148812a452401fa06eba913dad716cfd6743d85a09ffbc0be52276a4b90d039ab76077cca7ab5316b73009aeff2b2fe77dc465f1 SHA512 d8b0d124425db24f98335b332fe55e1a08b39af55d8834dd4a2717fd4be45f3a06ae6cb16427a17adfb31e215dab622856152bb2da715acb1946ec9e935299f4
 DIST xunit.runner.visualstudio.2.5.1.nupkg 348549 BLAKE2B 530ffc6b699a1589ad6a7fb5aa826d7238b63ea8dcd13ce5705a3d29a0ba70edeac2d9950cd1a00a13a779add761e4e14335689051a43b4cd662a330734e4df7 SHA512 0cc7887e7c7c3315db31aab79df236db9b5542e0234c27543dd5b11cf917674a8fdebc384e7331663b08d586fcf20628479a20ad7edbed4e61667903e812c6f0
 DIST xunit.skippablefact.1.4.8.nupkg 44542 BLAKE2B 3c9b09d5196e8901770099b2e5078d9373e8ebc2da058a9071707d6fee56eab7c876578734f3be5b088db6ae83c8ad81a3aadfcab38e1fd2b28bd25601fe5463 SHA512 a2c680223bda4f9bfdbd751c8d6a5319e0a4611533272860ca0a396b26c473a13065301a5d8973074ea2bb5119caaeec5a67d547a96ae5d762dc09f337f51ad1
-EBUILD dafny-4.3.0-r1.ebuild 19287 BLAKE2B 3d9e22094a7fc2f6ec8117760a1d009cf338f42c2a81becdffcbb17a828207473a11e7cb42d4e5e8013629ef77473b691240bb9cc06a76b869a3114428189bd7 SHA512 854890a61314c76b55bc823f730979f9d06d4f67abb65012f4ad2d2fbdf826d5845a268a0239f33169c8d6aae34acadbe85877358cb9eaaf0fb796d93c79cc13
 EBUILD dafny-4.4.0-r1.ebuild 18791 BLAKE2B 82082f5eeadc299a7854a17896199a6feb084b95ca383fa1cf55d402a3a2099e038cb48f8502a5abdbc1f8f31fa985f4c376dc88889c39e5c2743907f4d50d19 SHA512 f50a039842519acd5c93d5f29d563fdbfdf4615344b4b1cfb6493a1a3a54d7dd646c8db49ebaa2541f482156b6660ab72f9315a4d47107fd5bb650acd9ebc472
 MISC metadata.xml 1884 BLAKE2B e3a53cfd90a4edf1d9fd9f567ac3c23fd88cc46602cfe6aea31ddc40585ebc89ab82833dcd21c82083671a54454d62f162f45d56d6b0ec9c202148b3d5ea2c6d SHA512 4cffb9c237ed85097ce1496a72f5aa9c5a0f5758402fe66ff745a3b1dbc3f8d9a40fecc9140ee1b9418f09b62794f7e0a47f908e6ba01b370087d4df62bfa46e
diff --git a/dev-lang/dafny/dafny-4.3.0-r1.ebuild b/dev-lang/dafny/dafny-4.3.0-r1.ebuild
deleted file mode 100644
index 77736aeb8863..000000000000
--- a/dev-lang/dafny/dafny-4.3.0-r1.ebuild
+++ /dev/null
@@ -1,609 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-PYTHON_COMPAT=( python3_{10..12} )
-
-DOTNET_PKG_COMPAT=6.0
-NUGETS="
-boogie.abstractinterpretation@2.16.8
-boogie.basetypes@2.16.8
-boogie.codecontractsextender@2.16.8
-boogie.concurrency@2.16.8
-boogie.core@2.16.8
-boogie.executionengine@2.16.8
-boogie.graph@2.16.8
-boogie.houdini@2.16.8
-boogie.model@2.16.8
-boogie.provers.smtlib@2.16.8
-boogie.vcexpr@2.16.8
-boogie.vcgeneration@2.16.8
-castle.core@4.4.0
-commandlineparser@2.8.0
-commandlineparser@2.9.1
-coverlet.collector@3.2.0
-diffplex@1.7.0
-humanizer.core@2.2.0
-jetbrains.annotations@2021.1.0
-mediatr@8.1.0
-microsoft.bcl.asyncinterfaces@1.1.1
-microsoft.bcl.asyncinterfaces@5.0.0
-microsoft.bcl.asyncinterfaces@6.0.0
-microsoft.build.framework@17.0.0
-microsoft.build.locator@1.4.1
-microsoft.build.tasks.core@17.0.0
-microsoft.build.utilities.core@17.0.0
-microsoft.build@17.0.0
-microsoft.codeanalysis.analyzers@3.0.0
-microsoft.codeanalysis.analyzers@3.3.2
-microsoft.codeanalysis.common@3.7.0
-microsoft.codeanalysis.common@4.0.1
-microsoft.codeanalysis.csharp.workspaces@4.0.1
-microsoft.codeanalysis.csharp@3.7.0
-microsoft.codeanalysis.csharp@4.0.1
-microsoft.codeanalysis.visualbasic.workspaces@4.0.1
-microsoft.codeanalysis.visualbasic@4.0.1
-microsoft.codeanalysis.workspaces.common@4.0.1
-microsoft.codeanalysis.workspaces.msbuild@4.0.1
-microsoft.codeanalysis@4.0.1
-microsoft.codecoverage@16.11.0
-microsoft.codecoverage@16.9.4
-microsoft.codecoverage@17.1.0
-microsoft.csharp@4.0.1
-microsoft.dotnet.platformabstractions@2.0.4
-microsoft.extensions.configuration.abstractions@2.0.0
-microsoft.extensions.configuration.abstractions@5.0.0
-microsoft.extensions.configuration.binder@2.0.0
-microsoft.extensions.configuration.binder@5.0.0
-microsoft.extensions.configuration.commandline@5.0.0
-microsoft.extensions.configuration.fileextensions@5.0.0
-microsoft.extensions.configuration.json@5.0.0
-microsoft.extensions.configuration@2.0.0
-microsoft.extensions.configuration@5.0.0
-microsoft.extensions.dependencyinjection.abstractions@2.0.0
-microsoft.extensions.dependencyinjection.abstractions@5.0.0
-microsoft.extensions.dependencyinjection@2.0.0
-microsoft.extensions.dependencyinjection@5.0.0
-microsoft.extensions.dependencymodel@2.0.4
-microsoft.extensions.fileproviders.abstractions@5.0.0
-microsoft.extensions.fileproviders.physical@5.0.0
-microsoft.extensions.filesystemglobbing@5.0.0
-microsoft.extensions.logging.abstractions@2.0.0
-microsoft.extensions.logging.abstractions@5.0.0
-microsoft.extensions.logging.configuration@5.0.0
-microsoft.extensions.logging.console@5.0.0
-microsoft.extensions.logging@2.0.0
-microsoft.extensions.logging@5.0.0
-microsoft.extensions.options.configurationextensions@2.0.0
-microsoft.extensions.options.configurationextensions@5.0.0
-microsoft.extensions.options@2.0.0
-microsoft.extensions.options@5.0.0
-microsoft.extensions.primitives@2.0.0
-microsoft.extensions.primitives@5.0.0
-microsoft.net.stringtools@1.0.0
-microsoft.net.test.sdk@16.11.0
-microsoft.net.test.sdk@16.9.4
-microsoft.net.test.sdk@17.1.0
-microsoft.netcore.platforms@1.0.1
-microsoft.netcore.platforms@1.1.0
-microsoft.netcore.platforms@2.1.2
-microsoft.netcore.platforms@3.0.0
-microsoft.netcore.platforms@3.1.0
-microsoft.netcore.targets@1.0.1
-microsoft.netcore.targets@1.1.0
-microsoft.testplatform.extensions.trxlogger@17.0.0
-microsoft.testplatform.objectmodel@16.11.0
-microsoft.testplatform.objectmodel@16.9.4
-microsoft.testplatform.objectmodel@17.0.0
-microsoft.testplatform.objectmodel@17.1.0
-microsoft.testplatform.testhost@16.11.0
-microsoft.testplatform.testhost@16.9.4
-microsoft.testplatform.testhost@17.1.0
-microsoft.visualstudio.threading.analyzers@16.7.56
-microsoft.visualstudio.threading@16.7.56
-microsoft.visualstudio.validation@15.5.31
-microsoft.win32.primitives@4.3.0
-microsoft.win32.registry@4.3.0
-microsoft.win32.registry@4.6.0
-microsoft.win32.systemevents@4.7.0
-microsoft.win32.systemevents@6.0.0
-moq@4.16.1
-nerdbank.streams@2.6.81
-netstandard.library@1.6.1
-netstandard.library@2.0.3
-newtonsoft.json@11.0.2
-newtonsoft.json@13.0.1
-newtonsoft.json@9.0.1
-nuget.frameworks@5.0.0
-nuget.frameworks@5.11.0
-omnisharp.extensions.jsonrpc.generators@0.19.5
-omnisharp.extensions.jsonrpc.testing@0.19.5
-omnisharp.extensions.jsonrpc@0.19.5
-omnisharp.extensions.languageclient@0.19.5
-omnisharp.extensions.languageprotocol.testing@0.19.5
-omnisharp.extensions.languageprotocol@0.19.5
-omnisharp.extensions.languageserver.shared@0.19.5
-omnisharp.extensions.languageserver@0.19.5
-rangetree@3.0.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.3.0
-runtime.native.system.net.http@4.3.0
-runtime.native.system.security.cryptography.apple@4.3.0
-runtime.native.system.security.cryptography.openssl@4.3.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.apple@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
-serilog.extensions.logging@3.0.1
-serilog.settings.configuration@3.1.0
-serilog.sinks.debug@2.0.0
-serilog.sinks.file@5.0.0
-serilog.sinks.inmemory@0.11.0
-serilog@2.10.0
-serilog@2.12.0
-system.appcontext@4.1.0
-system.appcontext@4.3.0
-system.buffers@4.3.0
-system.buffers@4.4.0
-system.codedom@4.4.0
-system.collections.concurrent@4.3.0
-system.collections.immutable@1.5.0
-system.collections.immutable@1.7.0
-system.collections.immutable@1.7.1
-system.collections.immutable@5.0.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.commandline@2.0.0-beta4.22272.1
-system.componentmodel.primitives@4.3.0
-system.componentmodel.typeconverter@4.3.0
-system.componentmodel@4.3.0
-system.composition.attributedmodel@1.0.31
-system.composition.convention@1.0.31
-system.composition.hosting@1.0.31
-system.composition.runtime@1.0.31
-system.composition.typedparts@1.0.31
-system.composition@1.0.31
-system.configuration.configurationmanager@4.7.0
-system.configuration.configurationmanager@6.0.0
-system.console@4.3.0
-system.diagnostics.debug@4.0.11
-system.diagnostics.debug@4.3.0
-system.diagnostics.diagnosticsource@4.3.0
-system.diagnostics.tools@4.0.1
-system.diagnostics.tools@4.3.0
-system.diagnostics.tracesource@4.3.0
-system.diagnostics.tracing@4.3.0
-system.drawing.common@4.7.0
-system.drawing.common@6.0.0
-system.dynamic.runtime@4.0.11
-system.dynamic.runtime@4.3.0
-system.globalization.calendars@4.3.0
-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.3.0
-system.io.compression@4.3.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.pipelines@4.7.3
-system.io.pipelines@5.0.1
-system.io@4.1.0
-system.io@4.3.0
-system.linq.async@6.0.1
-system.linq.expressions@4.1.0
-system.linq.expressions@4.3.0
-system.linq@4.1.0
-system.linq@4.3.0
-system.memory@4.5.3
-system.memory@4.5.4
-system.net.http@4.3.0
-system.net.nameresolution@4.3.0
-system.net.primitives@4.3.0
-system.net.sockets@4.3.0
-system.net.websockets@4.3.0
-system.numerics.vectors@4.4.0
-system.objectmodel@4.0.12
-system.objectmodel@4.3.0
-system.private.uri@4.3.0
-system.reactive@4.4.1
-system.reflection.emit.ilgeneration@4.0.1
-system.reflection.emit.ilgeneration@4.3.0
-system.reflection.emit.lightweight@4.0.1
-system.reflection.emit.lightweight@4.3.0
-system.reflection.emit@4.0.1
-system.reflection.emit@4.3.0
-system.reflection.extensions@4.0.1
-system.reflection.extensions@4.3.0
-system.reflection.metadata@1.6.0
-system.reflection.metadata@5.0.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.extensions@4.6.0
-system.resources.resourcemanager@4.0.1
-system.resources.resourcemanager@4.3.0
-system.runtime.caching@6.0.0
-system.runtime.compilerservices.unsafe@4.4.0
-system.runtime.compilerservices.unsafe@4.5.2
-system.runtime.compilerservices.unsafe@4.7.0
-system.runtime.compilerservices.unsafe@4.7.1
-system.runtime.compilerservices.unsafe@5.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.numerics@4.3.0
-system.runtime.serialization.primitives@4.1.1
-system.runtime@4.1.0
-system.runtime@4.3.0
-system.security.accesscontrol@4.6.0
-system.security.accesscontrol@4.7.0
-system.security.accesscontrol@6.0.0
-system.security.claims@4.3.0
-system.security.cryptography.algorithms@4.3.0
-system.security.cryptography.cng@4.3.0
-system.security.cryptography.cng@4.7.0
-system.security.cryptography.csp@4.3.0
-system.security.cryptography.encoding@4.3.0
-system.security.cryptography.openssl@4.3.0
-system.security.cryptography.pkcs@4.7.0
-system.security.cryptography.primitives@4.3.0
-system.security.cryptography.protecteddata@4.7.0
-system.security.cryptography.protecteddata@6.0.0
-system.security.cryptography.x509certificates@4.3.0
-system.security.cryptography.xml@4.7.0
-system.security.permissions@4.7.0
-system.security.permissions@6.0.0
-system.security.principal.windows@4.3.0
-system.security.principal.windows@4.6.0
-system.security.principal.windows@4.7.0
-system.security.principal@4.3.0
-system.text.encoding.codepages@4.0.1
-system.text.encoding.codepages@4.5.1
-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.json@4.7.0
-system.text.json@5.0.2
-system.text.regularexpressions@4.1.0
-system.text.regularexpressions@4.3.0
-system.threading.channels@4.7.1
-system.threading.tasks.dataflow@4.9.0
-system.threading.tasks.extensions@4.0.0
-system.threading.tasks.extensions@4.3.0
-system.threading.tasks.extensions@4.5.3
-system.threading.tasks.extensions@4.5.4
-system.threading.tasks@4.0.11
-system.threading.tasks@4.3.0
-system.threading.threadpool@4.3.0
-system.threading.timer@4.3.0
-system.threading@4.0.11
-system.threading@4.3.0
-system.windows.extensions@4.7.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.xdocument@4.3.0
-system.xml.xmldocument@4.3.0
-tomlyn@0.16.2
-validation@2.4.18
-xunit.abstractions@2.0.2
-xunit.abstractions@2.0.3
-xunit.analyzers@0.10.0
-xunit.analyzers@1.0.0
-xunit.assert@2.4.1
-xunit.assert@2.4.2
-xunit.assertmessages@2.4.0
-xunit.core@2.4.1
-xunit.core@2.4.2
-xunit.extensibility.core@2.4.0
-xunit.extensibility.core@2.4.1
-xunit.extensibility.core@2.4.2
-xunit.extensibility.execution@2.4.0
-xunit.extensibility.execution@2.4.1
-xunit.extensibility.execution@2.4.2
-xunit.runner.visualstudio@2.4.3
-xunit.runner.visualstudio@2.5.1
-xunit.skippablefact@1.4.8
-xunit@2.4.1
-xunit@2.4.2
-"
-
-inherit check-reqs dotnet-pkg edo java-pkg-2 multiprocessing python-any-r1
-
-DESCRIPTION="Dafny is a verification-aware programming language"
-HOMEPAGE="https://dafny.org/
-	https://github.com/dafny-lang/dafny/"
-
-if [[ "${PV}" == *9999* ]] ; then
-	inherit git-r3
-
-	EGIT_REPO_URI="https://github.com/dafny-lang/${PN}.git"
-else
-	SRC_URI="https://github.com/dafny-lang/${PN}/archive/v${PV}.tar.gz
-		-> ${P}.tar.gz"
-
-	KEYWORDS="amd64"
-fi
-
-SRC_URI+="
-	${NUGET_URIS}
-	test? ( https://registry.npmjs.org/bignumber.js/-/bignumber.js-9.1.2.tgz )
-"
-
-LICENSE="MIT"
-SLOT="0"
-IUSE="test"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
-	!dev-lang/dafny-bin
-	>=virtual/jre-1.8:*
-	sci-mathematics/z3
-"
-DEPEND=">=virtual/jdk-1.8:*"
-BDEPEND="
-	${RDEPEND}
-	dev-dotnet/coco
-	test? (
-		${PYTHON_DEPS}
-		dev-lang/boogie
-		dev-lang/go
-		dev-python/OutputCheck
-		dev-python/lit
-		net-libs/nodejs[npm]
-	)
-"
-
-CHECKREQS_DISK_BUILD="2G"
-DOTNET_PKG_PROJECTS=(
-	"${S}/Source/Dafny/Dafny.csproj"
-	"${S}/Source/TestDafny/TestDafny.csproj"
-)
-PATCHES=(
-	"${FILESDIR}/${PN}-3.12.0-DafnyCore-csproj.patch"
-	"${FILESDIR}/${PN}-3.12.0-DafnyRuntime-csproj.patch"
-	"${FILESDIR}/${PN}-4.1.0-lit.patch"
-	"${FILESDIR}/${PN}-4.2.0-lit-use-system-boogie.patch"
-	"${FILESDIR}/${PN}-4.3.0-net6.0-upgrade.patch"
-)
-
-DOCS=(
-	CODE_OF_CONDUCT.md
-	CONTRIBUTING.md
-	NOTICES.txt
-	README.md
-	RELEASE_NOTES.md
-	docs/DafnyCheatsheet.pdf
-	docs/DafnyRef/out/DafnyRef.pdf
-)
-
-pkg_setup() {
-	# Clean the environment.
-	unset NPM_CONFIG_USERCONFIG
-
-	if [[ -n "${_JAVA_OPTIONS}" ]] ; then
-		ewarn "Cleaning _JAVA_OPTIONS because when set compile and test may fail"
-
-		unset _JAVA_OPTIONS
-	fi
-
-	check-reqs_pkg_setup
-	dotnet-pkg_pkg_setup
-	java-pkg-2_pkg_setup
-
-	# We need to set up Python only for running test tools (called via lit).
-	if use test ; then
-		python-any-r1_pkg_setup
-	fi
-}
-
-src_unpack() {
-	dotnet-pkg_src_unpack
-
-	if [[ -n ${EGIT_REPO_URI} ]] ; then
-		git-r3_src_unpack
-	fi
-}
-
-src_prepare() {
-	# Remove bad tests (recursive).
-	local -a bad_tests
-	bad_tests=(
-		# Following tests fail:
-		DafnyTestGeneration/TestGeneration.dfy
-		DafnyTests/TestAttribute.dfy
-		auditor/TestAuditor.dfy
-		benchmarks/sequence-race/SequenceRace.dfy
-		dafny0/Fuel.dfy
-		dafny0/JavaUseRuntimeLib.dfy
-		dafny0/Stdin.dfy
-		examples/Simple_compiler/Compiler.dfy
-		separate-verification/assumptions.dfy
-		server/counterexample_none.transcript
-		unicodechars/comp/Arrays.dfy
-		unicodechars/comp/Collections.dfy
-		unicodechars/comp/Comprehensions.dfy
-		unicodechars/expectations/Expect.dfy
-
-		# Following tests are very slow:
-		comp/Arrays.dfy
-		comp/BranchCoverage.dfy
-		comp/Collections.dfy
-		comp/CompileWithArguments.dfy
-		comp/Comprehensions.dfy
-		comp/Extern.dfy
-		comp/MainMethod.dfy
-		comp/Print.dfy
-		comp/TailRecursion.dfy
-		comp/UnicodeStrings.dfy
-		comp/Uninitialized.dfy
-		comp/compile1quiet/CompileRunQuietly.dfy
-		comp/compile3/JustRun.dfy
-		comp/manualcompile/ManualCompile.dfy
-		concurrency/06-ThreadOwnership.dfy
-		concurrency/07-CounterThreadOwnership.dfy
-		concurrency/09-CounterNoStateMachine.dfy
-		concurrency/10-SequenceInvariant.dfy
-		concurrency/11-MutexGuard2.dfy
-		concurrency/12-MutexLifetime-short.dfy
-		dafny0/RlimitMultiplier.dfy
-		dafny0/Strings.dfy
-		dafny1/SchorrWaite.dfy
-		dafny2/MinWindowMax.dfy
-		dafny2/SmallestMissingNumber-functional.dfy
-		dafny2/SnapshotableTrees.dfy
-		dafny4/UnionFind.dfy
-		dafny4/git-issue250.dfy
-		expectations/Expect.dfy
-		git-issues/git-issue-356.dfy
-		git-issues/git-issue-Main0.dfy
-		git-issues/git-issue-Main4.dfy
-		git-issues/git-issue-MainE.dfy
-		hofs/VectorUpdate.dfy
-		metatests/ConsistentWhenSupported.dfy
-		separate-verification/app.dfy
-		traits/TraitCompile.dfy
-		unicodechars/comp/CompileWithArguments.dfy
-	)
-	local bad_test
-	for bad_test in "${bad_tests[@]}" ; do
-		rm -r "${S}/Test/${bad_test}"					\
-			|| die "failed to remove test ${bad_test}"
-	done
-
-	# Update lit's "lit.site.cfg" file.
-	local dotnet_exec="${DOTNET_PKG_EXECUTABLE} exec ${DOTNET_PKG_OUTPUT}"
-	local lit_config="${S}/Test/lit.site.cfg"
-	sed "/^defaultDafnyExecutable/s|=.*|= '${dotnet_exec}/Dafny.dll '|" \
-		-i "${lit_config}" || die "failed to update ${lit_config}"
-	sed "/^dafnyExecutable/s|=.*|= '${dotnet_exec}/Dafny.dll '|" \
-		-i "${lit_config}" || die "failed to update ${lit_config}"
-	sed "/^testDafnyExecutableCompiler/s|=.*|= '${dotnet_exec}/TestDafny.dll for-each-compiler '|" \
-		-i "${lit_config}" || die "failed to update ${lit_config}"
-	sed "/^testDafnyExecutableResolver/s|=.*|= '${dotnet_exec}/TestDafny.dll for-each-resolver '|" \
-		-i "${lit_config}" || die "failed to update ${lit_config}"
-	sed "/^defaultServerExecutable/s|=.*|= '${dotnet_exec}/DafnyServer.dll'|" \
-		-i "${lit_config}" || die "failed to update ${lit_config}"
-	sed "/^serverExecutable/s|=.*|= '${dotnet_exec}/DafnyServer.dll'|" \
-		-i "${lit_config}" || die "failed to update ${lit_config}"
-
-	dotnet-pkg_src_prepare
-	java-pkg-2_src_prepare
-}
-
-src_compile () {
-	# In 4.3.0 the DafnyRuntime JAR has mismatched version, by mistake?
-
-	einfo "Building dependency-less DafnyRuntime JAR."
-	local dafny_runtime_java="${S}/Source/DafnyRuntime/DafnyRuntimeJava/"
-	mkdir -p "${dafny_runtime_java}/build/libs/" || die
-	pushd "${dafny_runtime_java}/build" || die
-	ejavac -d ./ "${dafny_runtime_java}/src/main/java/dafny"/*.java
-	edo jar cvf "DafnyRuntime-4.2.0.jar" dafny/*
-	cp "DafnyRuntime-4.2.0.jar" "${dafny_runtime_java}/build/libs/" || die
-	popd || die
-
-	# Build main dotnet package.
-	dotnet-pkg_src_compile
-}
-
-src_test() {
-	# The test "dafny0/DafnyLibClient.dfy" expects to use "DafnyRuntime.dll"
-	# from the "Binaries" directory.
-	ln -s "${DOTNET_PKG_OUTPUT}/DafnyRuntime.dll" "${S}/Binaries/" || die
-
-	einfo "Installing bignumber.js package required for tests using NodeJS."
-	local -a npm_opts
-	npm_opts=(
-		--audit false
-		--color false
-		--foreground-scripts
-		--offline
-		--progress false
-		--verbose
-	)
-	edob npm "${npm_opts[@]}" install "${DISTDIR}/bignumber.js-9.1.2.tgz"
-
-	einfo "Starting tests using the lit test tool."
-	local -a lit_opts
-	lit_opts=(
-		--order=lexical
-		--time-tests
-		--verbose
-		--workers="$(makeopts_jobs)"
-	)
-	edob lit "${lit_opts[@]}" "${S}/Test"
-}
-
-src_install() {
-	dotnet-pkg-base_install
-
-	local -a dafny_exes
-	dafny_exes=(
-		Dafny
-		DafnyDriver
-		DafnyLanguageServer
-		DafnyServer
-		TestDafny
-	)
-	local dafny_exe
-	for dafny_exe in "${dafny_exes[@]}" ; do
-		dotnet-pkg-base_dolauncher "/usr/share/${P}/${dafny_exe}" "${dafny_exe}"
-	done
-
-	dosym -r /usr/bin/Dafny /usr/bin/dafny
-	dosym -r /usr/bin/DafnyServer /usr/bin/dafny-server
-
-	einstalldocs
-}
diff --git a/dev-lang/dafny/files/dafny-4.1.0-lit.patch b/dev-lang/dafny/files/dafny-4.1.0-lit.patch
deleted file mode 100644
index c64dab367664..000000000000
--- a/dev-lang/dafny/files/dafny-4.1.0-lit.patch
+++ /dev/null
@@ -1,14 +0,0 @@
---- a/Test/lit.site.cfg
-+++ b/Test/lit.site.cfg
-@@ -215,9 +215,9 @@ def find(name, rooot):
-                 return name
-     return ""
- 
-+import shutil
- solverPath = \
--    find("z3-4.12.1", binaryDir) or \
--    find("cvc4", binaryDir)
-+    shutil.which("z3")
- 
- if not solverPath:
-     lit_config.fatal('Could not find solver')
diff --git a/dev-lang/dafny/files/dafny-4.2.0-lit-use-system-boogie.patch b/dev-lang/dafny/files/dafny-4.2.0-lit-use-system-boogie.patch
deleted file mode 100644
index 68c3157f6809..000000000000
--- a/dev-lang/dafny/files/dafny-4.2.0-lit-use-system-boogie.patch
+++ /dev/null
@@ -1,11 +0,0 @@
---- a/Test/lit.site.cfg
-+++ b/Test/lit.site.cfg
-@@ -107,7 +107,7 @@ testDafnyExecutable = 'dotnet-bin-6.0 exec /var/tmp/portage/dev-lang/dafny-4.2.0
- defaultServerExecutable = 'dotnet-bin-6.0 exec /var/tmp/portage/dev-lang/dafny-4.2.0/work/dafny-4.2.0_net6.0_Release/DafnyServer.dll'
- serverExecutable = 'dotnet-bin-6.0 exec /var/tmp/portage/dev-lang/dafny-4.2.0/work/dafny-4.2.0_net6.0_Release/DafnyServer.dll'
- 
--boogieExecutable = 'dotnet tool run boogie'
-+boogieExecutable = 'boogie'
- 
- config.suffixes.append('.transcript')
- 
diff --git a/dev-lang/dafny/files/dafny-4.3.0-net6.0-upgrade.patch b/dev-lang/dafny/files/dafny-4.3.0-net6.0-upgrade.patch
deleted file mode 100644
index 5c43ca90ae0e..000000000000
--- a/dev-lang/dafny/files/dafny-4.3.0-net6.0-upgrade.patch
+++ /dev/null
@@ -1,22 +0,0 @@
---- a/Source/DafnyRuntime/DafnyRuntime.csproj.orig
-+++ b/Source/DafnyRuntime/DafnyRuntime.csproj
-@@ -6,7 +6,7 @@
-       <GeneratePackageOnBuild>true</GeneratePackageOnBuild>

-       <GenerateAssemblyInfo>false</GenerateAssemblyInfo>

-       <DefineConstants>TRACE;ISDAFNYRUNTIMELIB</DefineConstants>

--      <TargetFrameworks>netstandard2.0;net452</TargetFrameworks>

-+      <TargetFrameworks>net6.0</TargetFrameworks>

-       <OutputPath>..\..\Binaries\</OutputPath>

-       <LangVersion>7.3</LangVersion>

-       <PackageLicenseExpression>MIT</PackageLicenseExpression>

---- a/Test/comp/separate-compilation/Inputs/producer/TimesTwo.csproj.orig
-+++ b/Test/comp/separate-compilation/Inputs/producer/TimesTwo.csproj
-@@ -2,7 +2,7 @@
- <Project Sdk="Microsoft.NET.Sdk">

- 

-     <PropertyGroup>

--        <TargetFramework>netstandard2.0</TargetFramework>

-+        <TargetFramework>net6.0</TargetFramework>

-     </PropertyGroup>

- 

-     <ItemGroup>

diff --git a/dev-lang/mond/Manifest b/dev-lang/mond/Manifest
index 003e3a5d69cc..076ba702d425 100644
--- a/dev-lang/mond/Manifest
+++ b/dev-lang/mond/Manifest
@@ -71,5 +71,5 @@ DIST system.threading.tasks.4.0.11.nupkg 840020 BLAKE2B ec5b6bbd3c912d3552922acd
 DIST system.threading.tasks.extensions.4.0.0.nupkg 49355 BLAKE2B 898f05110ec79e3518937d10df244782ae19e36a11228b427785f367e1974135836046a6a0445c87b206550c11fd23b6d22b0dd399992ae5ac20b3d5c3060056 SHA512 f294f1a4179f53d59f91f01a372cc7896bf8c322e9827299cb1aa3ae2b1f809e98034834f5ccd4cb3fa1c30735082d244fff6584dab6e8870ad409b55e8a4986
 DIST system.xml.readerwriter.4.0.11.nupkg 1363068 BLAKE2B b151c0560022d796720ce342c6c47189d5cb5d292bdc62eb0439deb87b05e80d9c57cb38267a9e153e0d4513e8edf503d88926e9956eba118b5d00d488e2fc78 SHA512 d40d6e9d55e57acdf04132bcb8ae8abf1abb3483620cde969c78c6c393a9936abf742c1dcf66288e6e9dffcb399a880ee3c11540ac140cb32e20b41365aaf35e
 DIST system.xml.xdocument.4.0.11.nupkg 591353 BLAKE2B 8373fa19c6aafbe6e347db7bb1ec304dd8ce77df415acf0c3ee04ea2dcfce050f59d6e72cdeb14c4e54d29c1c07fc9eb0ef8045fb09830b48fb1a8e90dcb09a8 SHA512 f8ae902901963f2636f39c0652d82daa9df3fb3e3d5a60493c39f6cf01ed07c7d57f175a2d2895f4a872d4e92527e5131522218d1a67da2fd491e162273a8527
-EBUILD mond-0.9.4-r2.ebuild 3592 BLAKE2B 7e836c77a0d825e3547943aba2d1bbae6bd4a7406c32b4f82b37e2093731688d5b380bed375c1681e6020004e6ae71f24eed70251571ae6d14c1f786f5efd84d SHA512 e42832146b94b14f12ffb37a0e767d8b6741877d25c3a39f588bd4d2f9a68dfd94327d866dd0d9d9a7f6bfa0c16b5a2f8ebd3ccd9086d7c0d92bf271c057135a
+EBUILD mond-0.9.4-r2.ebuild 3329 BLAKE2B bad98d3c66d330349d7886451532caa9052025c2296aa614b0eb21d0f6187252751e11138f4fe4c461e279b8343d2f9a85b6fbd179f0f1bdbea32545906d2ddf SHA512 c86a3cf5674845f1299e3195bbb21d750ccc7bd71dddcefe2bd7ff8ce7fbff2a37d4092b1fa2e5d4b556acc542c03dd8cccbd513d3eba2b2d2f94dc51a0e9a86
 MISC metadata.xml 407 BLAKE2B c23e1813bba6b1e7beb547a075e0b283941571270493902195fd370854963ad07e1a6e30673dc7733b542d02839d84aa6f554d806aa0e8021d44570b655ca1fd SHA512 ff0fa87463543a559675a8397a7c1dceea2b59faa76435569cb996ad43ad123d2c5272642a73a35f4c7a132b8a3cb6bff6bc5a1114bf62887ef2f0461967eb5f
diff --git a/dev-lang/mond/mond-0.9.4-r2.ebuild b/dev-lang/mond/mond-0.9.4-r2.ebuild
index 81202e70121b..4ee2c86a1af1 100644
--- a/dev-lang/mond/mond-0.9.4-r2.ebuild
+++ b/dev-lang/mond/mond-0.9.4-r2.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -103,16 +103,11 @@ LICENSE="MIT"
 SLOT="0"
 
 DOTNET_PKG_PROJECTS=( Mond.Repl/Mond.Repl.csproj )
-DOTNET_PKG_RESTORE_EXTRA_ARGS=(
-	-p:RollForward=Major
-	-p:TargetFramework="net${DOTNET_PKG_COMPAT}"
-	-p:TargetFrameworks="net${DOTNET_PKG_COMPAT}"
-)
-DOTNET_PKG_BUILD_EXTRA_ARGS=( "${DOTNET_PKG_RESTORE_EXTRA_ARGS[@]}" )
-DOTNET_PKG_TEST_EXTRA_ARGS=( "${DOTNET_PKG_RESTORE_EXTRA_ARGS[@]}" )
 
 DOCS=( README.md Examples )
 
+dotnet-pkg_force-compat
+
 src_unpack() {
 	dotnet-pkg_src_unpack