gentoo auto-resync : 06:10:2023 - 17:57:58

10 files changed, 43 insertions, 527 deletions

diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz
index 242bc2b2ade5..288affabfbb5 100644
--- a/dev-lang/Manifest.gz
+++ b/dev-lang/Manifest.gz
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest
index 342cd6239b60..055c050a79c6 100644
--- a/dev-lang/boogie/Manifest
+++ b/dev-lang/boogie/Manifest
@@ -1,3 +1,4 @@
+AUX boogie-3.0.4-disable-analyzers.patch 764 BLAKE2B 965f6a8007a4324aa95b165109dcbc85f7bba5696d04772c53cfb1e456d0c60d2d3dce9103df641fe7f565d2a2d4e04a5d02aba43ac1ccc4527dcaae90b7b28b SHA512 b8c7b9172cd2f45be84058babd33c75f37dcb08f6c1a0b7c79b0ae2bd8afec70b29886f23d0a5553a00e1d3761a7788db0444d06788ee32aed2d1c2cd7cb9554
 DIST boogie-3.0.4.tar.gz 2024651 BLAKE2B ccd6892aef048f7e031d8101ead979eb8aeb09d14954e62d862cf60ef35bb34f70449b20ac4182f6eb253cc30f7fda6d17dc3206b50e1d0762d2be39fc28d12f SHA512 ff9f9fd9d143c79ddba146ed834aa68ef78b95a54445b8ae3ed89c2a55ca84106a4e0ba18f3b640ef1052ceb3b1ca166e6fb46242d9789a11d71a6d197e6f30c
 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
@@ -190,5 +191,5 @@ DIST system.xml.xpath.4.0.1.nupkg 250135 BLAKE2B d6f211f98f33f6b8959b918cff8e676
 DIST system.xml.xpath.4.3.0.nupkg 250182 BLAKE2B 8a4177d47af56bc7a6289ed8f2cac41d504dee212a858ed221277b3f523b1ce38ccb47bc3ce4d59a2c7cfd77f00f3c9693a9c257c90adb38096ee77a860f10cc SHA512 2bd0979a2020579fb32ad374b89929a272e763ee1233ed9a215408c0a1f9f82a5fdb74330c1c55a6102e0dfdb8b7b59ed25fdf6454bf3de146152ea779f366e0
 DIST system.xml.xpath.xmldocument.4.0.1.nupkg 86933 BLAKE2B 4c03b5a9433c2c954e75d212f9026885aa7514574b73a54880c3d55baee6bd5517abb46b67b22b9b6e63de92a8bc5ab4ff37e3f7e6454a5c5137ae2be6574b75 SHA512 81041a08d3b9158c43dfb48d42f13ec9950d7c2b7f63e1600a779a77786edfb46c522c32d9cc6a44358fbfe11efba0e539e578ef169261867a1905b8121a045d
 DIST system.xml.xpath.xmldocument.4.3.0.nupkg 138523 BLAKE2B ba53f3b5ac0f2d1d1e9120940b302e6960690ed4a44b96ba15b03e16f9159f2c57d6004aa55b796ba2327009d23fc2f10d4d09e948b88eb6af36efa5f76e401b SHA512 f75b6f7c75874ab6053e8942c1662a6e9a3561aa01502437b8d67f3bfcebd1ebf906792801326889ed7acb094c55469766d7d27cd10bc61b46ddaaa94dfc11e3
-EBUILD boogie-3.0.4.ebuild 9094 BLAKE2B 88bef8c92381d28c28f4af607ef053f3696d7205bd80bdcc06ee2cd48907c818fb171b05efee748be3a35a2b5b36cc07e8ece20e7e47c4120535a9bdf2df51bc SHA512 416f7d18c85b1697fc733cdee967fce288d5ff8d2c933e2b4b295dee08e06be61c8b0b2fd4b9a4eed2cfe513398e195d4496aa3dff465baf504b39bb8a7606bc
+EBUILD boogie-3.0.4.ebuild 9075 BLAKE2B 021445a49ed9491900c263f87617622cd1cf70f3303417def910dd6f98ce555996411972ef789a516f7c7194811333e687e0f24ad56d0097f149be9a7923ebec SHA512 504a9327b071c53aa3eb2924c8543854cf323fa216634679d65be571223a345454dfbe8807f333584b210da047822917c618d34fd9e38f48346c9fb4b38575a7
 MISC metadata.xml 1102 BLAKE2B 215544658792715aae72787f7c949ed89df9c05ceab5a919a861c02b7938c0d1ee228e0ede55008287b616faf70992a8c1f2854e6e5e1fc909718ae682996bb8 SHA512 b6a626c485e2a5db3390da62c629507a60417eda8b508d7ed8d1c017ac337743d2c4fe0e8554b103f989176dcd2969cc8579e91532b07a22c1b66328ef241e8d
diff --git a/dev-lang/boogie/boogie-3.0.4.ebuild b/dev-lang/boogie/boogie-3.0.4.ebuild
index 4a65a8887995..fd4d8b31113f 100644
--- a/dev-lang/boogie/boogie-3.0.4.ebuild
+++ b/dev-lang/boogie/boogie-3.0.4.ebuild
@@ -210,6 +210,7 @@ if [[ "${PV}" == *9999* ]] ; then
 else
 	SRC_URI="https://github.com/boogie-org/${PN}/archive/v${PV}.tar.gz
 		-> ${P}.tar.gz"
+
 	KEYWORDS="~amd64"
 fi
 
@@ -229,9 +230,10 @@ BDEPEND="
 	)
 "
 
+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:WarningLevel=0 )   # Extreme amounts of warnings.
 
 pkg_setup() {
 	check-reqs_pkg_setup
diff --git a/dev-lang/boogie/files/boogie-3.0.4-disable-analyzers.patch b/dev-lang/boogie/files/boogie-3.0.4-disable-analyzers.patch
new file mode 100644
index 000000000000..65bc3a988c1a
--- /dev/null
+++ b/dev-lang/boogie/files/boogie-3.0.4-disable-analyzers.patch
@@ -0,0 +1,18 @@
+--- a/Source/Directory.Build.props
++++ b/Source/Directory.Build.props
+@@ -16,13 +16,13 @@
+   </ItemGroup>
+ 
+   <!-- Use StyleCop to check for consistent code formatting -->
+-  <ItemGroup Condition="'$(Configuration)' != 'Release'">
++  <ItemGroup Condition="'$(Configuration)' == 'Disable'">
+     <PackageReference Include="StyleCop.Analyzers" Version="1.1.118" PrivateAssets="All" />
+     <AdditionalFiles Include="$(MSBuildThisFileDirectory)stylecop.json" />
+   </ItemGroup>
+ 
+   <!-- Configure StyleCop analysis rules -->
+-  <PropertyGroup Condition="'$(Configuration)' != 'Release'">
++  <PropertyGroup Condition="'$(Configuration)' == 'Disable'">
+     <CodeAnalysisRuleSet>$(MSBuildThisFileDirectory)StyleCop.ruleset</CodeAnalysisRuleSet>
+   </PropertyGroup>
+ 
diff --git a/dev-lang/dafny/Manifest b/dev-lang/dafny/Manifest
index 20574c95e92b..937ec7b5aba7 100644
--- a/dev-lang/dafny/Manifest
+++ b/dev-lang/dafny/Manifest
@@ -19,7 +19,6 @@ DIST castle.core.4.4.0.nupkg 916004 BLAKE2B 7404f946c140bc4c22132282a4a12694328b
 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.2.0.tar.gz 5589047 BLAKE2B 897d62806d6949b7b0b3aa3c76575c72cb0c6f4e59916f356acbab654b5386056dcb4378e43517c6a9610dc355bc411e9234807a9ace6ebef3ff4f734bb7db08 SHA512 defe196c0488b74a1b98425a0bbf6b2fb1bc589a318663a34255c15bab2aaf5c5588205734c98c8a036315eaa571fd9b8d392327772721aa2c89f66e0dfea289
 DIST dafny-4.3.0.tar.gz 5922075 BLAKE2B ba5888f64c194fefaabe4e817422d87093de373920fa66ed6ef9bce5471fa2b32681aaf16bcd7b6a1933fd822747843da9f3208c8a9ea9e8e5b9463e3abb12d9 SHA512 2989c7c7030ca6dd3df0a43e2c099e3d0b383ac23058a1f6a6a7579e764c2842f241f17594f3b385945b4f59aa17039b5c34a9165be86a15d8441dc3ea09ca58
 DIST diffplex.1.7.0.nupkg 69699 BLAKE2B 9c7d6eab09e7df1d791183bbfc4cc46b7bea8dd4b5d09fd3e7e3dc1734e6a8973f92a34387e1a2a0e3a4cbf11ffb89f8138844b2b46d2e94010932ed47158911 SHA512 a0f7a30c59889d71eba97db9bda2efbf1b458ca439d129b52ba3eae32626325e73ec13d46018603a81a33cf18a25a5b08a1b2e6a89c7e716faa47eb9db6d6474
 DIST humanizer.core.2.2.0.nupkg 104728 BLAKE2B 6c383abbbed9250f2a7eeec4478ead8f23ad53aa62a5b0f22e71fed9157aa6644a9a7518842d637885b7b63a4300754e1a7e9f3f9968725607ad30bf18e27a21 SHA512 e232459f914c8e7fc3f8dee69a85e66beb8c44515d4c83a976ee24084a91f32aae61c6f845ff38edcae02d0bcab44f9ec253277dccf2f4ae7e82235047bc6ade
@@ -357,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.2.0.ebuild 16065 BLAKE2B 96c7438d40881e91b1d9db5b4298088a060772fd688e2a74d144ba2b9d0cc097ef2b0197f6b964f19841db47837434c2d0a1ebf84941340838dded62e05fd1dc SHA512 34a6b47b0f6b29b22e2379a58a40c74406dfac2f070cfedbfc4cb170360d8b2d97befd18367147569230f7d1c5d6e27ecb467b07f355a86861058b16f3ceb387
-EBUILD dafny-4.3.0.ebuild 19223 BLAKE2B e9d3da1c7833c6c17edff212527b518bb6ae8c58c90b4ec081b3fc19b48277f09bb870ca0fdf1a99d78f9d2082a8a2c7d3ed7335511c672f19b3557bc5bc054c SHA512 b3ef1635a355c1f6413b9e70b0ec14d263e084179d2ac149807b001a4bc6451b5a0e3d7d15f912dcd70b0b9804fc9f362926ff63477d42816c7fa8af7e0ce6a8
+EBUILD dafny-4.3.0.ebuild 19345 BLAKE2B dbae137a53f87ab18390d5161324a03b688c56cfbc833581e57f86a096c2ea7c5d5cdbaa12d0a3b4f63be8a4844bb35b885e0a6d9989036d25d3ad32ccca8aa7 SHA512 9bd9ce6094ddd9f821d981968750f1301c4954e70a91ed6743b8b1d1116cf5fabcfcda1395d2f58e167518d0d93776178a9cadea22aab7e918dd5ed2544528d4
 MISC metadata.xml 1884 BLAKE2B e3a53cfd90a4edf1d9fd9f567ac3c23fd88cc46602cfe6aea31ddc40585ebc89ab82833dcd21c82083671a54454d62f162f45d56d6b0ec9c202148b3d5ea2c6d SHA512 4cffb9c237ed85097ce1496a72f5aa9c5a0f5758402fe66ff745a3b1dbc3f8d9a40fecc9140ee1b9418f09b62794f7e0a47f908e6ba01b370087d4df62bfa46e
diff --git a/dev-lang/dafny/dafny-4.2.0.ebuild b/dev-lang/dafny/dafny-4.2.0.ebuild
deleted file mode 100644
index 24f9f2259878..000000000000
--- a/dev-lang/dafny/dafny-4.2.0.ebuild
+++ /dev/null
@@ -1,516 +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
-commandlineparser@2.8.0
-commandlineparser@2.9.1
-coverlet.collector@3.2.0
-diffplex@1.7.0
-jetbrains.annotations@2021.1.0
-mediatr@8.1.0
-microsoft.bcl.asyncinterfaces@1.1.1
-microsoft.bcl.asyncinterfaces@6.0.0
-microsoft.codeanalysis.analyzers@3.0.0
-microsoft.codeanalysis.common@3.7.0
-microsoft.codeanalysis.csharp@3.7.0
-microsoft.codecoverage@16.9.4
-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.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@5.0.0
-microsoft.extensions.logging@5.0.0
-microsoft.extensions.options.configurationextensions@2.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.test.sdk@16.9.4
-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.targets@1.0.1
-microsoft.netcore.targets@1.1.0
-microsoft.netframework.referenceassemblies.net452@1.0.2
-microsoft.netframework.referenceassemblies@1.0.2
-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.testhost@16.11.0
-microsoft.testplatform.testhost@16.9.4
-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.6.0
-microsoft.win32.systemevents@6.0.0
-nerdbank.streams@2.6.81
-netstandard.library@1.6.1
-netstandard.library@2.0.3
-newtonsoft.json@13.0.1
-newtonsoft.json@9.0.1
-nuget.frameworks@5.0.0
-omnisharp.extensions.jsonrpc.generators@0.19.5
-omnisharp.extensions.jsonrpc@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@2.10.0
-system.appcontext@4.1.0
-system.appcontext@4.3.0
-system.buffers@4.3.0
-system.buffers@4.4.0
-system.collections.concurrent@4.3.0
-system.collections.immutable@1.7.0
-system.collections.immutable@1.7.1
-system.collections.nongeneric@4.0.1
-system.collections.specialized@4.0.1
-system.collections@4.0.11
-system.collections@4.3.0
-system.commandline@2.0.0-beta4.22272.1
-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.tracing@4.3.0
-system.drawing.common@6.0.0
-system.dynamic.runtime@4.0.11
-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@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.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.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.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@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.csp@4.3.0
-system.security.cryptography.encoding@4.3.0
-system.security.cryptography.openssl@4.3.0
-system.security.cryptography.primitives@4.3.0
-system.security.cryptography.protecteddata@6.0.0
-system.security.cryptography.x509certificates@4.3.0
-system.security.permissions@6.0.0
-system.security.principal.windows@4.3.0
-system.security.principal.windows@4.6.0
-system.security.principal@4.3.0
-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.regularexpressions@4.1.0
-system.text.regularexpressions@4.3.0
-system.threading.channels@4.7.1
-system.threading.tasks.extensions@4.0.0
-system.threading.tasks.extensions@4.3.0
-system.threading.tasks.extensions@4.5.3
-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@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
-tomlyn@0.16.2
-validation@2.4.18
-xunit.abstractions@2.0.2
-xunit.abstractions@2.0.3
-xunit.analyzers@1.0.0
-xunit.assert@2.4.2
-xunit.core@2.4.2
-xunit.extensibility.core@2.4.0
-xunit.extensibility.core@2.4.2
-xunit.extensibility.execution@2.4.0
-xunit.extensibility.execution@2.4.2
-xunit.runner.visualstudio@2.4.3
-xunit.skippablefact@1.4.8
-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"
-)
-
-DOCS=(
-	CODE_OF_CONDUCT.md
-	CONTRIBUTING.md
-	NOTICES.txt
-	README.md
-	RELEASE_NOTES.md
-	docs/DafnyCheatsheet.pdf
-	docs/DafnyRef/out/DafnyRef.pdf
-)
-
-pkg_setup() {
-	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() {
-	# Clean the environment.
-	unset NPM_CONFIG_USERCONFIG
-	unset _JAVA_OPTIONS
-
-	# 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 "/^testDafnyExecutable/s|=.*|= '${dotnet_exec}/TestDafny.dll for-each-compiler '|" \
-		-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 () {
-	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-${PV}.jar" dafny/*
-	cp "DafnyRuntime-${PV}.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
-	local 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/dafny-4.3.0.ebuild b/dev-lang/dafny/dafny-4.3.0.ebuild
index 1e7294b7512d..216aec617ebc 100644
--- a/dev-lang/dafny/dafny-4.3.0.ebuild
+++ b/dev-lang/dafny/dafny-4.3.0.ebuild
@@ -430,6 +430,15 @@ DOCS=(
 )
 
 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
@@ -449,10 +458,6 @@ src_unpack() {
 }
 
 src_prepare() {
-	# Clean the environment.
-	unset NPM_CONFIG_USERCONFIG
-	unset _JAVA_OPTIONS
-
 	# Remove bad tests (recursive).
 	local -a bad_tests
 	bad_tests=(
diff --git a/dev-lang/qore/Manifest b/dev-lang/qore/Manifest
index ffa778d13c08..8300b4440030 100644
--- a/dev-lang/qore/Manifest
+++ b/dev-lang/qore/Manifest
@@ -1,5 +1,5 @@
 DIST qore-1.19.0.tar.gz 3932880 BLAKE2B 8987a818e4fef495d9e07477715f18ad70541c81108bbc3aac56660e4d2ee9349303654ba07a849a7bfb43952d0ee8b868224f029254c83f435aa024def08669 SHA512 5264db098644ba39316e7825f1ed8243240c506a22c15836fcfa9500b173807ee9c4d213577d3a9eee7220d5d15ad171f05f75a431fb0537c95ab3dc761cbba3
 DIST qore-1.19.1.tar.gz 3933768 BLAKE2B 8e3002a55f1cf15f22ff604b1ceaf71995727510e365ae6ab03b71a91ddc1a82c5d6d89514b989a3509a5b39228fcf8fe11b6d88df8af784cace9b56b9d22482 SHA512 bf2203f8fe81cd4a604e06859380664f5cf635f5496e1ce6b6d5760d4cba82e510c78acef7ced4fdacd6df722f6eb305307106f12df3201003858a5a55256d9e
-EBUILD qore-1.19.0.ebuild 1269 BLAKE2B 02ecd5f0da47fb5188de0f38105d11db9bb7c41741134778858f9d1196ed45e68242e9ec9f17b1aa6bdc0450dc49b8ab6b960659cb4c2f402cca345ff4524791 SHA512 d4d2c02419681293bf8e91034bddd64015cedc76c1df223cd4d86c24e0821ec5c1d829a54d3498aef6da50f344178bba8e70e2acb0342bd354039ed93e56ee2a
-EBUILD qore-1.19.1.ebuild 1269 BLAKE2B 02ecd5f0da47fb5188de0f38105d11db9bb7c41741134778858f9d1196ed45e68242e9ec9f17b1aa6bdc0450dc49b8ab6b960659cb4c2f402cca345ff4524791 SHA512 d4d2c02419681293bf8e91034bddd64015cedc76c1df223cd4d86c24e0821ec5c1d829a54d3498aef6da50f344178bba8e70e2acb0342bd354039ed93e56ee2a
+EBUILD qore-1.19.0.ebuild 1330 BLAKE2B ef97569c496585dce76260b37c4168f5732251fa1aa5a380e7f5f9dd170dd055f9da71c4666bdf913992d67fe28377610e78aac99b9d971dce5fa0e398b801de SHA512 24f3a62d7c3dd0e2eff6ae295bdd5054bd57f0f532fc6dc409489e84562e52ad3ff4608a77277f44d3377e76c50cf444e4da2b6079e6467155906cea91f317c9
+EBUILD qore-1.19.1.ebuild 1330 BLAKE2B ef97569c496585dce76260b37c4168f5732251fa1aa5a380e7f5f9dd170dd055f9da71c4666bdf913992d67fe28377610e78aac99b9d971dce5fa0e398b801de SHA512 24f3a62d7c3dd0e2eff6ae295bdd5054bd57f0f532fc6dc409489e84562e52ad3ff4608a77277f44d3377e76c50cf444e4da2b6079e6467155906cea91f317c9
 MISC metadata.xml 988 BLAKE2B 3a74a6ca601e603b3fd02afac98ac66a2918537ad2c2d44620a2bf458a246c9c0e26bd733a5af26b7baca9c3bd69949f0ae7332bf5efbc184a3714580c545322 SHA512 39372b45ba7b12127a355ced7e18b2c537bd09127e0db503fb0e3dbb3584f2095a77f69f000473451ce73b0f1dc38243478d34312def725c9936c49485607638
diff --git a/dev-lang/qore/qore-1.19.0.ebuild b/dev-lang/qore/qore-1.19.0.ebuild
index 5ca2ae1bc341..470c8707dfd1 100644
--- a/dev-lang/qore/qore-1.19.0.ebuild
+++ b/dev-lang/qore/qore-1.19.0.ebuild
@@ -47,6 +47,10 @@ src_prepare() {
 }
 
 src_configure() {
+	# Needs "bison" and "flex" exactly.
+	unset LEX
+	unset YACC
+
 	local -a myconf=(
 		--disable-optimization
 		--disable-profile
diff --git a/dev-lang/qore/qore-1.19.1.ebuild b/dev-lang/qore/qore-1.19.1.ebuild
index 5ca2ae1bc341..470c8707dfd1 100644
--- a/dev-lang/qore/qore-1.19.1.ebuild
+++ b/dev-lang/qore/qore-1.19.1.ebuild
@@ -47,6 +47,10 @@ src_prepare() {
 }
 
 src_configure() {
+	# Needs "bison" and "flex" exactly.
+	unset LEX
+	unset YACC
+
 	local -a myconf=(
 		--disable-optimization
 		--disable-profile