gentoo auto-resync : 30:09:2023 - 17:40:25

5 files changed, 700 insertions, 6 deletions

diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz
index ae21d0e13686..e7ef2acc3f3a 100644
--- a/dev-lang/Manifest.gz
+++ b/dev-lang/Manifest.gz
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 897a57daa155..25a588343614 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,7 +1,7 @@
-DIST dafny-3.10.0-x64-ubuntu-16.04.zip 76468200 BLAKE2B d3b35260fca709f1808ec47874f5566dd2fc42af9a43354a97b86b8962b1b15c95df10f25fa8f0d6a12c83f5c12569aa981d56b796aeb1fd7563fc59c62d4259 SHA512 3f8e669025fd655a7709334876652176b3dce1eb980f1f797cf829fa53b125129a66a175d3a4fcc56aa276e28661c6d795ccc01901d0e457bdac754b29382ca3
 DIST dafny-3.12.0-x64-ubuntu-16.04.zip 76588835 BLAKE2B 144928b5e9a32c770d4552be31373defd1153a7ce481aa3948c5fe6c30ff2ce5f20b3d057a587c7762f3c37d63f683275fcf60bbd4ca3754f8713132b3bdfdc9 SHA512 2ea5f97b4fe0f8aaeefd16f739306482824f76ae6c5a37038fedda60bacb2496abc02715c0973a05f845972fd81aeb06e62c3c41d6908c2cf7416006ce8519d4
 DIST dafny-4.2.0-x64-ubuntu-20.04.zip 62475183 BLAKE2B d8be842c80bf0cbaaf6fb6b56c8a57f5a45b54dd1b1020fb5062a01ce4d5366bf2ff7a7847d1bdcd9a1217300cded0af0c88d1c6871d4b039178517c8f618dc3 SHA512 86a91592af1b386130855ed73bfb60ec2362bdcadacac43b27a4b2cc36dd6f0894508242357659f7a5120c66ba6438fe23acaef3a65dfbd0912d2438c851a7ca
-EBUILD dafny-bin-3.10.0.ebuild 1193 BLAKE2B c17cc73039e3cec436a191c7e6f3be7e55c25176899866c1b702a4b4d092ada411f97d8a81acc03d6d255d251499b219cc5fa3e48f13cf527533928ad44cfd49 SHA512 03c99063f86d1f8eeeb015053f47e825593461ea5f0fd32a114f35fef31d5f6905d22ed7691e176d700a2015bb53efd1d28bdf8e21fd628869ec31d541cad0c1
+DIST dafny-4.3.0-x64-ubuntu-20.04.zip 62691627 BLAKE2B edbff278472e5b0494fac38907adefa8fcfb94c3675df828e9ee022429d9595eed398d95333b223a70040ed69f07682e8aeaf90978f7466f4b9a412207d54d58 SHA512 14a861a6b0b55ee71db08f4c73e741fd92e5433d62411a2b17b177470b23148e288d835f80c2bdb388297f37be249b8a47bd3f83c2268082248f27d218b9cb9a
 EBUILD dafny-bin-3.12.0.ebuild 1193 BLAKE2B c17cc73039e3cec436a191c7e6f3be7e55c25176899866c1b702a4b4d092ada411f97d8a81acc03d6d255d251499b219cc5fa3e48f13cf527533928ad44cfd49 SHA512 03c99063f86d1f8eeeb015053f47e825593461ea5f0fd32a114f35fef31d5f6905d22ed7691e176d700a2015bb53efd1d28bdf8e21fd628869ec31d541cad0c1
 EBUILD dafny-bin-4.2.0.ebuild 1249 BLAKE2B e25e6e96b29c5ae6dbe22070f3a7e3245ccc63b066cb877c01f22088c2a0d784e7438efdac5b591bb53c91d7b4f61d934bbe6dad24a4526d58bd6afbed2e6e6e SHA512 11faa5f2152608d35ad6576fdfb972b91bda58677679697a349e237e73e1dac768c8b1224811561d51fa75c5db4fbae366d2018a3eddd2657c2add46431f6040
+EBUILD dafny-bin-4.3.0.ebuild 1249 BLAKE2B e25e6e96b29c5ae6dbe22070f3a7e3245ccc63b066cb877c01f22088c2a0d784e7438efdac5b591bb53c91d7b4f61d934bbe6dad24a4526d58bd6afbed2e6e6e SHA512 11faa5f2152608d35ad6576fdfb972b91bda58677679697a349e237e73e1dac768c8b1224811561d51fa75c5db4fbae366d2018a3eddd2657c2add46431f6040
 MISC metadata.xml 1826 BLAKE2B 66f000cee8fbf3bcae05da9249d5bc3388f9c05f32c45e96dd51b035aea220a9d49af25cb89b8b8a64a691408373c1ea02d0f345f9a4a554565f708a894664d5 SHA512 0cc12d9c49360bbc08bb8eccd3f7139ec149a9b731f0283b0f95a8506dd93458eb93f3347a978e55a86279ad85ee3233c1b87bfee36f22c9e40bdd14c0aef6c5
diff --git a/dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild b/dev-lang/dafny-bin/dafny-bin-4.3.0.ebuild
index 5e486ad54705..0f5cd85b46af 100644
--- a/dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-4.3.0.ebuild
@@ -4,22 +4,24 @@
 EAPI=8
 
 DESCRIPTION="Verification-aware programming language"
-HOMEPAGE="https://dafny.org/"
-SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-16.04.zip"
+HOMEPAGE="https://dafny.org/
+	https://github.com/dafny-lang/dafny/"
+SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV}-x64-ubuntu-20.04.zip"
 
 LICENSE="MIT"
 SLOT="0"
-KEYWORDS="-* amd64"
+KEYWORDS="-* ~amd64"
 REQUIRED_USE="elibc_glibc"
 
 RDEPEND="
+	!dev-lang/dafny
 	dev-libs/userspace-rcu
 	dev-util/lttng-ust:0/2.12
 	sci-mathematics/z3
 "
 BDEPEND="app-arch/unzip"
 
-S="${WORKDIR}"/dafny
+S="${WORKDIR}/dafny"
 QA_PREBUILT="*"
 
 src_prepare() {
diff --git a/dev-lang/dafny/Manifest b/dev-lang/dafny/Manifest
index 143e5fcd782e..20574c95e92b 100644
--- a/dev-lang/dafny/Manifest
+++ b/dev-lang/dafny/Manifest
@@ -15,19 +15,39 @@ DIST boogie.model.2.16.8.nupkg 26750 BLAKE2B 2ea73b107c2261de30bd9f97985af96fad1
 DIST boogie.provers.smtlib.2.16.8.nupkg 70449 BLAKE2B 18dfb53301792e6f1c300251c2dbb0e97305302e6a37b8d265c46089e9454cc27836542a1a1e4cb53663973c8a5052cfc01500ffa6bb33f27c855d31fe05e4f4 SHA512 c02db395a05d85595e8ce03a4cb114cc67722c2083f7a9f4c9c794edc8f664db1c5d9094ab1a831f7da723fdc953bff9e39e756b320f46853698c165f6ac3d33
 DIST boogie.vcexpr.2.16.8.nupkg 73410 BLAKE2B a47f0badc0881fe6e200992e04ec1b8e153ae20fe9f10c5967ef8c2437c322e942b396c2d10c1ae867d9259739eec4070b9235008666c39ec4f1bf3aeee5d530 SHA512 826fdb450d0e362edf79b9149eb2d9c999eab3c8236f2fb566b0af0f8cedf4b30ed24a4e181a409af004edf5bac23e2ffa7b218c55ca95f89b90eafb92fd6bb3
 DIST boogie.vcgeneration.2.16.8.nupkg 89218 BLAKE2B fdd76f0946962ac7d4c71498592f7309d706f932301ba5d2dd19a609426691c3ca8294845dadf47d6f33fb8ca54b915793174a3fbcf58cb2c2eb6f2b32460e49 SHA512 8cc9b1d373dd1e52141c32170de058474037eac398e2b3a3bc3de1cb4ae71776ad4a6cf6d486ece9a64ce48850295210b1d244081bf1f70c2f9eff83e7c811b7
+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.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
 DIST jetbrains.annotations.2021.1.0.nupkg 122595 BLAKE2B 59b994b58df9c4ef12d130543ae85ae0a368b92fae8c1d106675bcb4a55da9a13ee6da5fd5940b51c2a101470226007b05a1670b085d0f2f0b66f143e67f3051 SHA512 3b17599f6fc4413dd3811a32216f742596da5c6d8709134d85d292cd28ace7dc72aecef8a2bf64a5dfd31796787468e70e3936ea2eb9ed0505c7c6130d66db17
 DIST mediatr.8.1.0.nupkg 75947 BLAKE2B 6e2500efb9ad78ca3725f76d2bca5a7f448558dbb817fcb361ae0442d5e04a3cdc2d16c1862a4b9489b1d58eedaf373888d5d463c6d31b7fe265275d230f2f39 SHA512 848b0b607eb50b8cef169ebf95328b5e5517eaca5187578c463ba6c309feff7d14e16966f04d7615de4f32fb20948fbadec0b2fbc7af66848b57639571a3f462
 DIST microsoft.bcl.asyncinterfaces.1.1.1.nupkg 93574 BLAKE2B 7d2ac06afc4cf6484ecf6978e8f2dc649d3cef441b709b5194abf7466e3c9e0239c1fce954fc45502e5f9be488aaf6b5eb448e37501555862402ab9466a81e98 SHA512 4cce7ecad99baae70b1f815cd047431f284a466342e4456f929bef24891f45d600d90037f0d45ca97b1b8a453b51145dc215b9807ac1ce8b2b8cf45630334204
+DIST microsoft.bcl.asyncinterfaces.5.0.0.nupkg 74074 BLAKE2B 8e27e56988f0120d2b8e17e05dc6b801bfcb237b700dab5054049473db34d6a2fa4f59eeef7c857c31002488a882910ea7f44be2187b85dd5d1a96edcaddd234 SHA512 cea6febc03e3ddd6fc8ad31ebe92fc3f7134f81cc1fef8fb079ec3cd72f8a31120e836c8c39bf16109abd2253919371e2462b9570a2fd6525ad9dfd1f9929a28
 DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003 SHA512 221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be3dddd96edaf9c0852a9c23d7b099
+DIST microsoft.build.17.0.0.nupkg 2853063 BLAKE2B 9dc6e6d820b7adf5f659bad3a79846bcced9b453af25b5bf3798f0751ab22f092ae51f0a91f7ca51c46a527ba1d23b07d6c9eb1fbdf4f8f3ffc20b0b9b01099b SHA512 9524fb68f17d8473cb414ad6925146411f879f5be6ee9874506aae8bac9772651a0d716a7427ef8d6001f8aba6131a7a6fdccec7d08efc93b57f57a2c5bd7923
+DIST microsoft.build.framework.17.0.0.nupkg 524714 BLAKE2B f0c6ba39a33aec69eb9774986c3c4cfbda91ee9a1c50cf865a8850f806e7131011e1432b3aa43be4992230c2c27e5380b4d9a3ef071900cb2e413d8e683bff86 SHA512 1af19c6218b13e4fb09769172e408227a134665d573c71861aef9ba2df1a72e54bd3c6688ac4dcb7c9e3026bcf57ab1e8cbc8cd70e47cde96cb566ea625fa85c
+DIST microsoft.build.locator.1.4.1.nupkg 65071 BLAKE2B 314d0751e80851dd0412c12736506cb2575eca5beac275f75c777cc66b096c9026db9f7be8a9fb97b055a7b71cfc4b1030c6f545e90605324393392fbee0490a SHA512 43e2dbae0beba68d88ec7c4a150d875d6e59df289af2f4f27ea6de590503bfb69c37b7d819ca75cd526e53a67bf0b6c00303eb72e3950e00eb803240742add6a
+DIST microsoft.build.tasks.core.17.0.0.nupkg 1525828 BLAKE2B 8cb89c89e8c953dc1b4315cb31629310ae7635a4e6405f46f21d0d906fa98768885b22bc1a1b8a224ea750593086930cf04acc518e39540de20a4b35d58e1b6b SHA512 e60fe5854f0317f807c719e7534d8793f8e11265101532e3cf7e5783dbf9acb85ad793274469b19146095faf9ade1d36dd673361c882a975828fb28472d708e9
+DIST microsoft.build.utilities.core.17.0.0.nupkg 582099 BLAKE2B 0bdde1ccdfd62c043eec61c47fa73d085ff39241f7bd1a5ac0bc02b8b5ad0b6fcc2cb91d9aa30b86d390a624a27b4458960b28e2c429c6262eefd12f1bc9727e SHA512 3b9ed3ab36f6fb7107d22a2ec208763689cdc02e5123e967f65b1fcb8ef45b7e09de0f16d1a224dd4c0017c14f59d57f31e21f5a8dd225924fec9e6f548a9057
+DIST microsoft.codeanalysis.4.0.1.nupkg 28566 BLAKE2B a599779e9b306d99c97bff6858811394dffda0e02bbea10ad861b254cfc7d89011fa586503be6d81b677fa4b7f0db0467b3952c54cf00527720e510cd25271fd SHA512 039f31cfb139dd2d2d0993682628b808429036976c939d6f493b6a9d9b2094d0780024ebb9a37494220e3850ccaddb1b99c343cc683a9ee954df36f07c488c16
 DIST microsoft.codeanalysis.analyzers.3.0.0.nupkg 887910 BLAKE2B 486aad9a22a77f4dde4fae3c5521c2fc066e9121aff7c7557af53b72469318fb0c16c30ccdde853fcabca3c493d9ac1297a00d7e6445d83c65e3618ecc94a15b SHA512 4c9e880c1c84f79b038c065cacbe090d50be18bda894904dcf03e030cee960928a749c16df849766f06a77697b90ff9391cf6b31820dc5762aad8ccffcf43e88
+DIST microsoft.codeanalysis.analyzers.3.3.2.nupkg 1001624 BLAKE2B c8ec28a23a7b628c2efbe1d3b7b3163f6dc5dd8aaf4650042bc380ec90409ce28a81d20f4d5c6bef2146f88859274cbe2107b0f840ca577af13ce8f7390e2338 SHA512 9a2806f43e3c3e7ee6d3a7c0cc996cf4196420169db58092e79b5e656666d2c1cbb448b53ce0ff280a3b3ab1cb9458f60993ec43df6fa7d2574eb4d86eedc430
 DIST microsoft.codeanalysis.common.3.7.0.nupkg 3671881 BLAKE2B be37b6a9eeca96e2780febc1d26c362f01b0b3414e833a1950120f50a3dc7c376deee58468174297e8103a26a7eb8b8edf408859f0506296e2674f926259b6dc SHA512 dd84125c6c46cc622b2394bde5f09d8996c84285fac1c0b924de43e6ebc6542206b5d9bedbc3df27297c3176a5ebebc1a11538a1c80b55d3b0b69e131eeae5c0
+DIST microsoft.codeanalysis.common.4.0.1.nupkg 4472019 BLAKE2B 2a649895cd6ffd9b506bda09812ae298b5038baa83ddf9b96fe2750d1eb037feead4fd4c937e66bd8ec400655468a978c5be56d3f380decdcac13dfd3c014559 SHA512 27dc41d25ec9c2048a34552854f88db11874f3f4d847c826af2d382e9fcd59b8518c522f44a0296801c1c9fe630e513bc59526a20ebaf37146d064868272cc82
 DIST microsoft.codeanalysis.csharp.3.7.0.nupkg 9001004 BLAKE2B 4058305ca69b0b4cad3f66468e8660d39de457b245acd2601c379b322b71d128079271f6f34843252445512503973a2afecf3b3eb0ebdd23f4d0705a6a417224 SHA512 7ff499ed8b730ddb4b982c2f96c359ee0fc194b56904348d39977cadd8ea5c079d86ed561403b19ae2f0c8da4e5c84c03349bb7e3e1ae600918f54599de04aa4
+DIST microsoft.codeanalysis.csharp.4.0.1.nupkg 10536054 BLAKE2B 998c2b8197cd921e4a0d10287a160bf48d62b43ab052194e52fe959f291fcf0d44c40c6036d66a924d8c61482c0d4d6cf9ffa0b083290d3b8c7a84d59d7fad0c SHA512 534149bfdf25a3fcafd5f31dda0c6f08413345d7e70b5ddc794c92473e1de024f353d5cfc975ac6e33c4f336e3890548f7ba506e425a85ba140654a764440ad3
+DIST microsoft.codeanalysis.csharp.workspaces.4.0.1.nupkg 1244920 BLAKE2B bb7bea26b6a3ae009e8dc936e505a6ad0fc773eb19418194365bd30eda5e1eb365abf34eed4d53be5d542c388e94add01388b0c896bdc69d0d7a359d73c5517f SHA512 41acc42d60587bc7e1288864429b90b8fa6eb655519f8267df2c05e78e5d30e349442849fa09113ee926b7b9f87abbaf94eedd7e9bf4f12dce13ef22190789b8
+DIST microsoft.codeanalysis.visualbasic.4.0.1.nupkg 8481810 BLAKE2B 8ffd8f17759647a2ae9df9d1b663d689ef5a0e33a9a6052447f075aa48e7cb4941a43f90525cf9e7bde24bce6e9d391b83fd3427512589d509dff915143f9679 SHA512 b8bcc53db7b9af61015a816e2876525423f8bcd25253083176e59f4607559e8ee6b424bf856bf598f2615979a762c05fdbae869712d0f81b0303e4735ebce88d
+DIST microsoft.codeanalysis.visualbasic.workspaces.4.0.1.nupkg 1264227 BLAKE2B 490fd64bce0b83811d54ba0074a3c30d117e0326878ee74cf8433a118d13b6e1a699e7f0fccdd7492f8af5ee03ad848dc93b95e7214b89488f5c977ad7f3815f SHA512 6d2dcdb2b94d6fdfcf96adf1348f1c6f8f9946d6467414183e97947fc6f16b6da40ff55a9f27681c6cf7697cf83248dd8cad1b875ce1871a6069f4c927ac6ec0
+DIST microsoft.codeanalysis.workspaces.common.4.0.1.nupkg 4768673 BLAKE2B 41973d5da84330c8eed54c44f0036662308df1b2d4a89697e92fc52102fc169d4656fb539d03e11b48408855094647670e2f8a29e3c0999a335b89438d4c4677 SHA512 a1ce70d3a1c845c789c6fda7cb9bfcdc0303e8320d5069bc1c8dbc45b839c70bc45fa8877b450778d397876b93db6f528b356a5f6d04f1c1f3d720f51ca9bfb3
+DIST microsoft.codeanalysis.workspaces.msbuild.4.0.1.nupkg 442086 BLAKE2B 68ed83c66ff30a9f7c6f953a588c5e8ea375f139696985957b98e735bd81ea3dacbfe089f8d62d551e6d481e172f4c6aceda3a1982cfd43f910b24a5bb417e2f SHA512 a2886b70ba36a70c3a7eb2d76876ff60f02cafafce067ecc86ec1f35e6df930d06a9be9338c112bdbf58b4aa6c82449c81a9082fb9c0390a0c9f19f3f54f7087
+DIST microsoft.codecoverage.16.11.0.nupkg 6555498 BLAKE2B af38676c45bd6bf373af459f5fd568fc6caecb60f6f1cb9e2f8dcc9ecac1981af4484b55f029deefe46b1e1c4d3889bd6c67023b0728b61d7acb3334f91d143e SHA512 ddafda2e157025c7299f452884c6802f347e446139e6b503b843e9f5b2301e4bcc5a74d7b8a89fb128d30a7960bddbdab879c0aa79fa6cd56b99e916fb891a88
 DIST microsoft.codecoverage.16.9.4.nupkg 5160070 BLAKE2B 763611edf9c40b7dcf90477c05e7178d5c5dea4a3ee910edd0738b70ee846490467c1bdbfe4821670ee35e1ffeeec3bdf2ed75920b210402d2fb2646d3c19514 SHA512 f404d780d660db99c92ae3d9bf22ec28e6afb5417ce4f16518525fb1b65cb37268be69c5e2ae153d103de2d6b43f02bd98d8413a9d3b01489ee73dc4a2b31d57
+DIST microsoft.codecoverage.17.1.0.nupkg 7323516 BLAKE2B 180dee79c4e252fc066ba9d15d9cf5f0267668d3c2f31d8bda59b13b263a7fbaf0ca26700cd04e3dbaf84f24d56cc8ca03ee1cf8c51fc91ada47df2a432a28c8 SHA512 385d2c29f2c28f35f438973182f5c48b33a18fccdf59ab9141b6fd8138d114d493bd7fcf7a33448022445e07ce5c5332b85a914aade079656c2a34c0e761c7e4
 DIST microsoft.csharp.4.0.1.nupkg 462346 BLAKE2B 209ccebc9103b803d26ea1f0232245c3cd231078b03a83a0011a2a79a1a8a324a72c5b3fda94b2686fff170932f366e165f81a36a70df590a39c45d70778e4be SHA512 c0e75a9162f28ba4c4572c8fac4fd4c8c97d6d3505a37683646ba5f7e5f6ac0da69d5200d2646054de90e8e08f893a10e514591b69b8273640842b2cf90bddec
 DIST microsoft.dotnet.platformabstractions.2.0.4.nupkg 38925 BLAKE2B a085c6126767a2783ff8c6ef9b854cf2e419761167a48b9b2825b85fc784c72afd46eb73d1b38627c0e9b35fbfb0c0b1aba057f075135912fef75439854b360c SHA512 c7023268028c81bc38a4c410eef37721a0cace55db6e99842e3b17a641ef23b88c08351d9a3ca87722a6f75d6f3e333b14a25f9c3165485785a15e797ab5c1ed
 DIST microsoft.extensions.configuration.2.0.0.nupkg 28054 BLAKE2B 4f6441da406ff895531bce146270cf272d1a6b09d3ea37ec74ec0b3af9a16dfaa0ab194f2b2881fd15e2112a036617589f4c97c139de128e0f94a7227e8f1cd9 SHA512 2c17cb315e6f2a4c57eb133c5944f462b21850182b71f28cb895fdb9f21973bbd7de9d35eace53678cf2d882a99fca799051b7d4be80651a4f7875be53cc019b
@@ -35,6 +55,7 @@ DIST microsoft.extensions.configuration.5.0.0.nupkg 74486 BLAKE2B fa019730e1ee72
 DIST microsoft.extensions.configuration.abstractions.2.0.0.nupkg 25272 BLAKE2B f06df1e89a1a95668426e8034bd28ed302f9be80a141ede35a1ef99df69df748a77eb581e3452c3a3067e66d32135d9a6112d2ad618bf7769bff7f9db7e150b2 SHA512 35818457877053d38f899715ee90b7a672d5b6b95fdaa6b0fa28e5da10e0b349a3239b3dfe9782a58fe60faa5ba4e8695765e96effd23b9df02adc5ec6c516c7
 DIST microsoft.extensions.configuration.abstractions.5.0.0.nupkg 63258 BLAKE2B 46350180fd0f9df20687101105536f6831ba131417a50f5019d4a3fc66ea7adab144a1c3316c41d81f36781942eab8123124aa86f1741cb19a12389adf4a5012 SHA512 99b45204f3256ee1fcc207d56be0a9aae760bf824b3d1d56f6ce555dc9b4e3dfd7d49e0e7cf36eca5a13b46e2d1e47b212e7594a9db6c752c993c000ad6e2399
 DIST microsoft.extensions.configuration.binder.2.0.0.nupkg 26340 BLAKE2B d6b34c6b4cf485bf88db514ee98937511f298e813402e3f4c0bcea0c531daa530562f2909d10013969ecbb93cef47e2f9325c8fdc97849b3f59f7e3c824f0f7c SHA512 d1ff27643232477cda4656aae90659c2cef0ac6edd71ca936c0ad8ec35e6c517083f8397c14c3734fc5c5916e4e7c4787a3875c693ce485209c15beb4c591b2e
+DIST microsoft.extensions.configuration.binder.5.0.0.nupkg 67403 BLAKE2B 62c271786eba1bd8520cc8861ad216cda77c1eab322717aa00ed9f4111eec00c6d6dddda5c2e7f5c032c572aca6888ec1d421fffe7d0546b3c16309657951297 SHA512 8048dc6d0d970cbbf5019eca2ca4a98e158e6e3884d3f08ed253979ccda8192b79c2cf708d78e676bf5239414c68b378e3bbef25697b3b0d7b8f54776efe519e
 DIST microsoft.extensions.configuration.commandline.5.0.0.nupkg 62283 BLAKE2B 9fb024933b538d6a9de7e6a861ff02882c08da8c305405458d57b10837e5fbb749b39033cb30852e2e246b58c34d91f5e85557d6af1c2666c50bce08f093b2df SHA512 a99a3d37ab8fb125cf0314a85e6cd2f5888d583bd776d8653804f0b65f6f2ffc2695d060c9bd3810353cb4957b8612a1fc9bdd7089a8a64979502cff1e433cf3
 DIST microsoft.extensions.configuration.fileextensions.5.0.0.nupkg 66339 BLAKE2B 0de3745b360e69e2eac9b278b5a9dce5c91179c11951d1ba3ee080ede9afa067186f720247776065828a53b9dddd3b5920367b27266894f618c5be23de7caa21 SHA512 2d4e3baa2410b8f2443899ea6137b243e91b5403e0bfc00330b84964a049ac56f0dc6f517debda90cf51c194a6eb3180c78abe87fac9ea93bb7e5f3903edd4c6
 DIST microsoft.extensions.configuration.json.5.0.0.nupkg 78950 BLAKE2B a1ded388b261ee9f88e58050b708cd1b862ba0df31718eef891b017fed976f317e7349d2f8d806f4ed9a30b4cd09a51f6048994efe799e7ac0aaf1bcea5b158a SHA512 d41c945d7baa14a00b56de9296fc2229bcb5ae2a23d1945d80447ed4367367b82e3152fabd45fc2616f2653374113832be8fa3ef38ce6b46dc8beea01ebeb5a8
@@ -46,18 +67,27 @@ DIST microsoft.extensions.dependencymodel.2.0.4.nupkg 96063 BLAKE2B 771c88342f34
 DIST microsoft.extensions.fileproviders.abstractions.5.0.0.nupkg 58743 BLAKE2B 12ce63645eb9433b1fdcf650dd2bcb805eb66b3830dbbd6b67d037ea223433d39d4de994ffc764cf2be236b06f56e651dd1e5791d939238c4483d9850400dd08 SHA512 1d3990aa2b7b31e05f28fca929cf7b9648bec1cd0ea172bdb313dd7b4168e1bf9836e6f9ebdde328e42ca3eb5347dec89c6ecb8a2d918f94d5380f607593a956
 DIST microsoft.extensions.fileproviders.physical.5.0.0.nupkg 81631 BLAKE2B f55ccb31735f7f9e68fc6a9019a82afa3a5e397a294a4a42b1128f789f4b3a053916c3ecb47c906b24ccfaa99019590e3c443f881c7a804c8b2f80c8f9a2ee89 SHA512 5aef088b5b8d21adef4641095c3b2591d3350fcfaa97806dc375d1f347f5a0d5806dd14461c556ada69408943e343139158b3b34ea93e6445ee650d397ca7e25
 DIST microsoft.extensions.filesystemglobbing.5.0.0.nupkg 81671 BLAKE2B bad7bb72b6afe878d77ef848a5f289b015651b7c9731953a6a0df681d9d9716c74936e4c87cc87ba4129ae3f92d0904f7ac921e19c5b6db08d5f802f5f8c16de SHA512 5f55893ad587d0384cd3eddb35cbdb0a8785e93b483d7dce497070fcb33f6447feced96e8a63a46140fb36eeb9d3cc55f6264386361c29455b4fba70002620c3
+DIST microsoft.extensions.logging.2.0.0.nupkg 28826 BLAKE2B a75587f57f7ce4d59fadc3ac0588acd639c395d1fe5eac1ae30cedb936a6ee1480dac68b515a28768111fff39d3b10aeb85d0b3fd00cdb1b5a532def89278e69 SHA512 b5272763201aefd03fc84ffbfd5ae5c397a18609765daac97b7445d3d032f4881b58143416175dc7d2de68030c0918fd4b72cd2a0aa2ae010a64ae183b61fe00
 DIST microsoft.extensions.logging.5.0.0.nupkg 107888 BLAKE2B 8e22ace53b4475820d76296ff5f929b1decc906f5274453e7e5b4ae5fc480166cb7dd1715bc8c65513b8db3bd2cf895d820a768d3a20fc26b1b34525b8e99109 SHA512 1865153feb2bb875e25a47955c53f31958265fc19b890caadc1d54309cc77a50f2c8b8d5b163c1e885e89dee3e98940232f47daec9e9b12c5d4588dbe7e5b245
+DIST microsoft.extensions.logging.abstractions.2.0.0.nupkg 36310 BLAKE2B 579695de50426e77f4f5efdf5f650d5adf92f4be1e67a92496e2096adb662cbb227c27aa3fb2489f32d182d47c8edeee88f8f16696a197b720ad220698b5a160 SHA512 ba16672246f04445e17d7999cf957753ed4f06e28c9278b299461628b18e7cc4036192b375ebf4377a4d1a5ddea8bde3e2ecb7b3604a520dcefd804f6a945981
 DIST microsoft.extensions.logging.abstractions.5.0.0.nupkg 94684 BLAKE2B 7163abec14067723d43e91c76d94bb05e8558a4361d84cb8e365b33517fb08e7d78a810bd8015410f713f2085654a709474764e2a3fc5d96c3504e7a5824fc1a SHA512 aeb566ce865767fa8bff1ae69c0da853be58d9ba92565f722bcb7c5684e77f5002d305d763ea2b9b47823f88268d5ffe878f4200d03df49400886d62e9b64ac3
+DIST microsoft.extensions.logging.configuration.5.0.0.nupkg 60940 BLAKE2B 7e75ef08e3fd43b67c38aef016f0c4db102e4d268288321e95f67563cb20d1510486c9d39faf691968c7d0563371e70f667f48bca8a804db32d050edabc0576f SHA512 ae599425af34a0d8cf082c65b4bae1a2bdbf18f64f4d48685c7ff1bc5c8c106f78607e27ab2fed220de56c2002d83b8d9c3c00100a249b0ca83aafbcb624ddd2
+DIST microsoft.extensions.logging.console.5.0.0.nupkg 116795 BLAKE2B 836fb4179b251126760a468bd9502954e4b4798e62f36d15fa6595c758c2808f1765825edb92153e60d0a0ff3dbd6aed05b3244640a474f9b449fb7d612e056e SHA512 9514184b4f354a4c4b2b927d119b3cad9cb90c121f32c7303a5b714558d358304c1c1c52f4ad6a747327cd58e51903176a7f7904ab711411550e291c406801ae
 DIST microsoft.extensions.options.2.0.0.nupkg 28405 BLAKE2B 71ed8e7abf7827055b4889e2f97ac2be29b2f38de50dc964e6e7005828ce2b6d7bef8c68f5aa4f51744b53652c53e5288e68f409d8311130b9e9572a29a673ca SHA512 afc8ef803afe1d832eb86f023bbbd5dc14b76583ce191338dfb2f7ff030adcec71d35aac194d4efcf0d08e5af572e2205e848fc137f8812f8ca85bde72e11e33
 DIST microsoft.extensions.options.5.0.0.nupkg 126477 BLAKE2B f8dbf9aec65a20cb6529a40650a55a0d9578704be5a05760a39e09ae84021637523cc7f3247beaa9ecf75b03b800e32ea0ad433165a028f5048e8074514a6d39 SHA512 8ff5dfdd1c12047c9afef28d9696e5f2582b9a5f114cbc0eac26187d0e5d7bc113ec06448ba75578e8e07cf197bd19ba30bb9e1fe082b333c782191981c3459a
 DIST microsoft.extensions.options.configurationextensions.2.0.0.nupkg 22680 BLAKE2B 1a84359a7739a728a7fba484aff03143f4f92ef7312256859a4dd2f180ed0a4144381ac97c8e3283fc914aef960d600cad551af751a937f0d5e723f10d5b641c SHA512 38949503f9b3498df33cb42cbcb53fd8a8bdd803ae2c30b21e69133f9657f53447cbb8f587521253153a9031a97601f181ca1582a5ad78ddda8a69588f23b79a
+DIST microsoft.extensions.options.configurationextensions.5.0.0.nupkg 59134 BLAKE2B f75415a3182c70d25df8c0208b00c308e78c75c6bafade420500b4ec0ccc9af550ec55b0917c67d314e2578b910c315790f9fdd5dbba583bb9e4a2841f530e83 SHA512 56c08d56e720c56c2c0d98aa2f591c8921a11127883fcde90da32ad14998beebe4402eaba07d53304001c8b7d5be7f09d13d6de8362e8a3fbc623cb14fa9b838
 DIST microsoft.extensions.primitives.2.0.0.nupkg 32468 BLAKE2B 3e46878f2d97f4eddedf0522b9162ecef826dc1bc696486dee53064b9128df7313cc58f1ca2d110b80eb91359fe46eb2c935a535e68a92826ecfe31583c709fc SHA512 47284b149a0cb337dbbb5af3fe0ce8aaf3ab760b275f193407f3387ca8ec25d6fafc8dedd8c755ab8b35756b3c84e5ca8dcab6ea8bec2cbd543cba304ec69371
 DIST microsoft.extensions.primitives.5.0.0.nupkg 116700 BLAKE2B 06f01aae4531b508a44dfa18395d9ed78f872c3f7544604efd0dcc14a858a0be079ea1be7ffa2eb7de8e9d267fb6df7ec2d917cf1ba212a82ac8e2e5bf30fc3a SHA512 3e51987e26781dd0434517f87ff97d6dfe599a551466f1c931529ef9c8751abbc29ec2bde46925f38c56fd5e7138de9c8c7a9a75d410329da77a0ea330bff7ee
+DIST microsoft.net.stringtools.1.0.0.nupkg 90506 BLAKE2B 9ac047ee7aa66eccbd6f2fe950f8c661510f1eac4200355b9f8ad323d099f75854127bcdfaf44b2d8c7037bd4b64bc14cc89ae7151d2fecb80f1af652db81830 SHA512 32afd8f320fcf7f8fd5aaf48ed7519969b149473ad44dedd20c173c252a913dd3d3d786fb4643353654db8a9fe64dc11929c2a6c77309750172b5cd137d5e517
+DIST microsoft.net.test.sdk.16.11.0.nupkg 40299 BLAKE2B 07661a0ccf19bd035f13df047682f516fc32e12eba4d826a09c001a2b0f46bf94ecd367ec7c62d700e9f709751034b3718729c0c38d9e73c8396744873d9c466 SHA512 59b26a53c90d2d2535222362ca6d2651fdd95224204587df83a0cb01de64cb96e50e4ed52f1f700f16fcb1900bd757d2cbe8150e4b09e8c61d930fd29c77d97f
 DIST microsoft.net.test.sdk.16.9.4.nupkg 40302 BLAKE2B 59313813889fc515dcc9119353234b6f189ec6e128680b304d1d42b7096f9d553671c8a8e21dca6d66825fcb869306ffa9e8b77deb49a80c935f0d014cb446f6 SHA512 e26d86adbe78e86d8b837094556b13cd83b4f02dfd9d1668edd88f723849ee8486d17cec0c35b766a557b9722578cc622d6830e1ec08a29afceae269af98bf85
+DIST microsoft.net.test.sdk.17.1.0.nupkg 40382 BLAKE2B 920cc0c21b9646f9370c0ea321bd96ba1ef8f96857ea01633063e19a4f0cd48130abc62cff65e662344ce53194a77ae33aef9c187b118dc77625ad8635697632 SHA512 9b3e18fe936d2f2dbbf33929a9a83f89ac6a680a59d3f90b7c96f0323207f10b71714e42272651af2d93316bd659708e3cff14599f1042c76cbeae944475bc64
 DIST microsoft.netcore.platforms.1.0.1.nupkg 17876 BLAKE2B 13250226ef4869ad62b8acbe8b8f791f9bca1932562cb7a7e8162c3fa502c02200673cc9839f79953cb2d3a75f64f92d43ed1dcd9081732e4917197483188163 SHA512 5f3622dafd8fe8f3406c7a7ee506a7363c9955b28819ae1f2b067c38eae7ab6e620eb63442929b967c94fc511e47a2b7547ab62b6f1aafe37daa222499c9bb19
 DIST microsoft.netcore.platforms.1.1.0.nupkg 17960 BLAKE2B 6a9fa22d75f5a1c65746dd71a63c3d4e37c393e99c23007c10f5ecce248a04863bf26e7562c7751177a6985eaac266c29cc6a5443a4a853e773f88994ad2a3fd SHA512 6bf892c274596fe2c7164e3d8503b24e187f64d0b7bec6d9b05eb95f04086fceb7a85ea6b2685d42dc465c52f6f0e6f636c0b3fddac48f6f0125dfd83e92d106
 DIST microsoft.netcore.platforms.2.1.2.nupkg 31064 BLAKE2B 6b28f015a1c3c2dbad93fac315a896c4ad116befd618f28b89d451b92f2ab642e414bdd372f46858daa52e72978ad6e4862b6a431d121e331296b0f6a08a1c02 SHA512 ec9eef7881fb32eeb37389655a733b611813bfdf84c3e2569240e3d0aedc11ef30b8503a1d1b7a493b70bb1da0faa8e90d7798796b0ad14437b8881189360722
 DIST microsoft.netcore.platforms.3.0.0.nupkg 29497 BLAKE2B eb1e21bb3a3d3d3a65b134ed766228c6113df472ef99587161ab751b52cd75dd3107caa91338590d09e14ce9b4cdf8a303abeaebd4ae06e1291c68085ea036d5 SHA512 fe939bdc69fbf773b950c7712292901f489124ee34cfdab5335224dc68c1942f8eb7db54d3a4c737a3ec07e072fa24e24e0b7d968e5b0b89a3da4eca38166547
+DIST microsoft.netcore.platforms.3.1.0.nupkg 29544 BLAKE2B 2739d62e92e61677964f9ef380ef2f72ddb6879444d7e744c283a73fdf4ad69c07c36a0b3c4030312b0a4c622aa91dc09cfa828ab8dcd9cf0c5506aa2fac5c8c SHA512 636a1e3768f782ced193b18ec61616c122b5b756395bbec3ede805b172ce62db2d631407deebba73bf136234479be4824f0268a57f52ff4f8d7d37d4370cd966
 DIST microsoft.netcore.targets.1.0.1.nupkg 18189 BLAKE2B d43a064d4c6f836be5164708ff0401913b32fc3340cad7c8fd08f421ea553805ac150a134a0d60a55d41eec124514a5e5197eebcc85aa6595cc6b91e33025d61 SHA512 6ed8e75f945a18651066fe9ee31cf6c8257a5974340fe4d262438903c4959a479f4a515a4d1389e6d3d3ab34f09a3c7bc2009aada2e8a7f697b6655a82d3bfc9
 DIST microsoft.netcore.targets.1.1.0.nupkg 18162 BLAKE2B 419d19e0da934ab4b9db75dd66cc22b83a003f34e93cf7a92feccf4f32d3d695e18b826b1aba13073dd4ec53aa7905a67346921d1055516647ddcde0d79009f1 SHA512 1ef033a68688aab9997ec1c0378acb1638b4afb618e533fcaf749d93389737ba94f4a0a94481becdf701c7e988ae2fe390136a8eae225887ee60db45063490fe
 DIST microsoft.netframework.referenceassemblies.1.0.2.nupkg 20957 BLAKE2B e521646690b142a703d943cb0528552a669ceed16fa71e3a04300da1eb58d5428b168628c85b8e963e963cf0041b0a02d7442414248e6f506ff3d7ae452a85cb SHA512 8bf3922b695856059b8eec696a7ace03a7269d71d4c456cbdfb21bd3f6e69f2a9fa25e46acd5c29ad872829a07cc05ec083c3a6ee942bca21afd47ce3bc533e3
@@ -66,23 +96,33 @@ DIST microsoft.testplatform.extensions.trxlogger.17.0.0.nupkg 361862 BLAKE2B 731
 DIST microsoft.testplatform.objectmodel.16.11.0.nupkg 2966263 BLAKE2B 5bf6464154b639b478c4000dd64e7570d124a446680583bceafee1cf3eafdc6a7bc10cacc665327a562a28fe0268c5d749dad0ef11376880f76310f1e3cb055c SHA512 105ec3c2d2d476abfa9fec73b25a701d815b743512b575e7ee2373ef7e459f767688be7ecdb555849a8342e07e922ab819dfae637e8b23b36ed918655d9a7471
 DIST microsoft.testplatform.objectmodel.16.9.4.nupkg 2224614 BLAKE2B c8b0899000db731c0041f6209e4f85d2bbee5a7ebe3d3addd4405a33e1036bef52098c3fe8146123db262e71868d7bbe541149ef7443c7fc718ca78f916d384b SHA512 a1fc8192007d0d1a852393eadea26b8400df81a50d8a29549f79f726694696b2c361460561a3910f66dc195044b7773addc25642f9c7389b7152489e162f9ad9
 DIST microsoft.testplatform.objectmodel.17.0.0.nupkg 2963393 BLAKE2B 106eddcbc897147fabc6a7c5509e7800ed4af37fcbd7a05771a1fd752e354677d7f8ff4856015b2cb1cd2ad54ed5eba1d0cc62f58962830e0b84d71bb6b049bb SHA512 19ad56cad83f5897c5b93608be9d357c83ddd5f97f2f7751f40fc017236ae2ef3b0517147e4dba2c4395511a9f4f5b262a4f660a25974e7b34f220c275af9c4e
+DIST microsoft.testplatform.objectmodel.17.1.0.nupkg 3191688 BLAKE2B 26be3f32f39257044cf0947aaf68b486befeded4901e5344fc7d1df1bba1f8d8e564d310fc946e5d5d4b3462aba1734bb44274f6f471bc27f1a493e2e0480dac SHA512 fb7333c71906dc2a13a3bdb33363e926d0c6066addd1ef43b2b5067a616b754798f32f515cadc58bc2a9c6e157c05e6d36ef79bf602e9da9b37089644933240a
 DIST microsoft.testplatform.testhost.16.11.0.nupkg 7327788 BLAKE2B eab31bacbbf159a128db837076c2057b4a68b912e4dbc1583f5042b0333bbec78e2718ab2db0a6900c41d984a913115573444695d117f270b272141402db55d9 SHA512 17b0956e03edf7660dc31d59d5cd9fb141b3d002149aeed824a2d3381bab2f6a5ccfbcc2fd6c37e960bfd29e33e734db14cd1862799fadc80154f3d8ac3825a5
 DIST microsoft.testplatform.testhost.16.9.4.nupkg 6913327 BLAKE2B a82e3aa0cc930a12ecb7d2b8baff82dad9357c6a72bdb2b7cff0e36b5b8cc09ff058f016dcdf21eb1803dbce1759a1179405a0756f88579ec2645568b3cc9a8a SHA512 a5f780bc300d9bfc0c08feb978c36cd5e629207e54abc9d1d80202bf366bdeb13c882ef7a29bd52b50b5b9eb4e5a04737e880e817a853aa178d093ec9aefcda3
+DIST microsoft.testplatform.testhost.17.1.0.nupkg 7692160 BLAKE2B 4df352512bf2c7ca38e3fdb351dec4e7c9307bc88d83e242e34a1139a8f37fa60e0d4af58cc52d74ac0b82b557917c90057d30a83b06a5d8c7e7db17771bd285 SHA512 c661a1581faa059af1886e6dd2d02fb4d9417655758fe73c3dd594f6c6f944ea1a81921379fb02c5832a97c50f8124d0032aa99130bc204481707e76d47dd0de
 DIST microsoft.visualstudio.threading.16.7.56.nupkg 989616 BLAKE2B 03e41384a3c1dd2ff4faca011b714d66130fa4f7088eebb925d57b5df0329ba79a3066289e2c1a20ba6daf833671f3ae1c6224e24c2a80f37b05fbf6d7bcce0b SHA512 0b31f9457e9778e3fde9ee612f8dfb065c6b51299b4f9e6af0c75f68e692e53409a064d0d53fcea466c9a41df096f7d121509ffcfcd12039393c30766ace11f1
 DIST microsoft.visualstudio.threading.analyzers.16.7.56.nupkg 502163 BLAKE2B 9bcb2044060ef67d81a1d8b08a7042621dc05113e176b1f2a0fa7c961ad74491c9612e0d115c823655161769b25ddd7afbcbc6a20d2ea0fe16794984b2dabbde SHA512 b2021b6e8bd2bd703bd928fbabfcd9763106c85e4c97e3c7a894da3a23ad9e0a3c8a8c7b0b4c42469c1566f515ba52bae0827f82a29a4a4cfc3bebafad6339ff
 DIST microsoft.visualstudio.validation.15.5.31.nupkg 262234 BLAKE2B 8f4714d3daf386a2b40a04d48077b09a4e0c071f4af3c33ceefb3806d6cef3e068a55e9ae092bf6ca345b6e84d57ea9827cad11b16f6ca58c21d0ea324f71a5b SHA512 2e777e6fa306b87c21efe604a6a7e6911299803895ba7f503e3870a58898ee511a32402d38190f6a971053227904f0e97d994c12687f927b77b26bac536da042
 DIST microsoft.win32.primitives.4.3.0.nupkg 63333 BLAKE2B 132ec29940d4b716110980c4f9a06ba15183d29de638379d09998124605165e51652b2727e3892b57dbc7cacfdc71f9e1b59c9dd5463a524657351f5385d896d SHA512 366f07a79d72f6d61c2b7c43eaa938dd68dfb6b83599d1f6e02089b136fa82bec74b6d54d6e03e08a3c612d51c5596e3535cbc2b29f39b97a827b3e7c79826f0
+DIST microsoft.win32.registry.4.3.0.nupkg 190042 BLAKE2B aebc51a12c2a1722fb2e5cdca662f5205ce84218be139b0b3ccf90686551c6666d7c5df77e4f68c4af09ec2c68d51f0660435be7866862de67ed92cfef12f7f2 SHA512 38702f72eead561e343e77136059292c8b6cc3d3bcb14739f42e1ea92a8477e539ad8eedd3ebbb5e88ba330d9039fbcf2761d4265c08115ab19250c87e7ef9ed
 DIST microsoft.win32.registry.4.6.0.nupkg 377490 BLAKE2B e64a82f1554d55c549df63d62f6f8c4a4bafe9e1d43563621d5b937fa88179dd651476881388087018c73558714c3f44c318ae1514ecf2a5dfd539ddea7dd327 SHA512 0c6a315c87d3e178302e7372fc07a6c65623652d1b2cd5c3480bfdc1fceb1d41ad72bed23fe27d0944c6d19a10c0c4b2d33f859e9f74981d186803d17ff1aef0
+DIST microsoft.win32.systemevents.4.7.0.nupkg 148460 BLAKE2B 07615e6811f9fbfb65b22f70e266ac3af25117bf0e57803c1e19f452ceb71b5feed2d6bd78caae7b0dd87e2a752442ff25e639fbc02831d3c02f6377a1c2913a SHA512 3dc95211fd597cbeb7b8498e79d58c8dc373767d129252f1858f223fe9228bef56c4dd48e613694581fd197e8c1ec428ec8788a451b9c248e2073c7603c994d4
 DIST microsoft.win32.systemevents.6.0.0.nupkg 157768 BLAKE2B 0a5cea49c552a8d3e5aa2e8913fc4929ea318026b02a85c03665fe8bc449d59f838ef9a1044e0e034f6c30c7b63187c02bf6df4106b19e801d6c194ea5641941 SHA512 5e274ace996c3eba63099ed5116f9dc39f69f684f7c1e7623c28c3c73988b75c67dfcc929a50a761f0222df243dd540720a6e588e91dfa784f81bfce7a893875
+DIST moq.4.16.1.nupkg 565511 BLAKE2B 12b6b77c41cad64bc2f8c00ca61a3b82bfb1c48dcf06a4242f1d20ecf4cbb40ec365cfd2e33d2b1e2ef18518d2bc98a0fcf33d2c918d40f1fd794817ef32383e SHA512 a05b7865b9e7f21d0a474c41fb70dd9f0d16393ae2bcda5a9728aa89cf2f531f250339ccd243cf95c84f6681075de2820fb7f4b5a340b688d2a81138cb842083
 DIST nerdbank.streams.2.6.81.nupkg 438160 BLAKE2B 6a7de1956b5dee56275279cd20e5fad851b9a617e516da56f96b6d09246272a1b85f4073f2b4795a318c4013ccd656fe619e28c937318be15368a3a9fc8fa737 SHA512 b957bcea9bef4d4f9f4c5ada9220fbb3b0d67d149b8776150749dfa80bd3e41974eae57831f700b7a68e882aace06bbb4bb84341fab20602183b19499432205e
 DIST netstandard.library.1.6.1.nupkg 17360 BLAKE2B 02badd3473451f83997f0b66d05f1541c741e65b9127b8b27ab391260df7939f235eb6648b11c7c11cc5400489ddf1cd26820b7bdf6fd9f1d8f0dfdfeef96acc SHA512 0972dc2dbb4925e896f62bce2e59d4e48639320ee38ad3016dcd485fbd6936a0ed08073ad5eef2a612dff05dfc390f3930fff9e79d87a06070eeb8128277cbd0
 DIST netstandard.library.2.0.3.nupkg 3146139 BLAKE2B 311e5367398f76c74e78930bc2cd39e450a86bd8626311ded8d58bd84c94a8a84db3c11b2bc10f3eeba20a9d081fe7827981f702ad746b49ae3108c949ba1022 SHA512 e78f0cea69c14895b1b089644077dbce8631a626055d96522f4d29e061d8bfc3e48aa1419e74faf265b998612c03f721f5f0cef4690f824150a5689764dee601
+DIST newtonsoft.json.11.0.2.nupkg 2409669 BLAKE2B b7dd7722f7f62eadf7443ca5a54ce67f5369b557e2e1802e77a288a941dfa21310f6b54bd07d9bf107ed6daaa69abd660a3c9e9cebf4dee8b6461eecfae36833 SHA512 ce76466f0b3b138040f63c4d67b16e888448dc2f61ae06ad5504932a121865834eb9de0ce557c6953622e917583b9b10ade6c5b85fe0f54115de13b10cc5c5e9
 DIST newtonsoft.json.13.0.1.nupkg 2065787 BLAKE2B 000c38ce26a2a00bb25a9c1d6fb069ada521ff089bb624a5c1255b25767c10616cc51821524e7bc3d8b45eb8f8ee54c97454db1db9ae5e5c78eb6300a99f979d SHA512 83731b662eaf05379a23f8446ef47bbc111349dd4358b7bd8b51383fe9cf637e2fe62f78cea52a0d7bdd582dc6fbbb5837d4a7b1d53dcf37a0ae7473e21ee7b1
 DIST newtonsoft.json.9.0.1.nupkg 1613054 BLAKE2B 56918db57c3786cff0548b642195521ef203246a6b2ed010186ccae230af3b0c913ace4b2a3319bf94c6e47647b9c5ad7b017e3b50d35e6654b4d5b987643739 SHA512 da8917a5347051c8106f4ea9bade4bc300a3b60a05a3be3390f92c8dcbcea67223c7b4da8065b9228042000e25b99c75fad7e2221a0daa8888ed8ef3c161b228
 DIST nuget.frameworks.5.0.0.nupkg 215958 BLAKE2B 1deeb9d7d43736c70d11f3bb7a1a44f8a8a407fc18b32f85e252d2a310e1127a8e5a85ced627fc94ab9e034c73211a08da3b6a3fd43be83d95a4e3f5e26d856a SHA512 ebb9444b3b46063522e3b432c67acafe8943da39c866978146f88757f1be5571bf40e9df208824440efa4116b0b47d00f9708a72767a22878a78aca5a9887650
+DIST nuget.frameworks.5.11.0.nupkg 217001 BLAKE2B da1d47fc7a368b03995b311848aac87b5f0336182bf8479615e56042c363e150f3ecbc0a618ecaaa158c682041fc22e3b9efba9ff72849051ae996be6787b2e0 SHA512 1b3b1ad7813654c84d6c0b48d81a60c2eb060307693d993323cd563fac5462b1deba931a1a59e07b67e8208ca42d62a1ffd66349d5d34fabb2790484ed854944
 DIST omnisharp.extensions.jsonrpc.0.19.5.nupkg 1218175 BLAKE2B 121395614f36e6d0deb4237473a82c22e872e46805db064a5d6e806776ca231c3d66296963407b2b5d8e4a8d918f8fbfaaf74ac1d76956cca683782cce1cdba6 SHA512 d108887f1aa50ecbcf1d21c7aa83e72335714b6fd86fa680f06137d27a86696caecd16005c31318cc3babefba7865b65a12efbcb1820089c6006768a27edb764
 DIST omnisharp.extensions.jsonrpc.generators.0.19.5.nupkg 213128 BLAKE2B eef4cdf0ec622a7b0b70522c9b3209e2e9428ed33e02615f61453e9df28dcc29e5a29d10c33e0509464b52d8f39c245380d8466406c410e45539bbf8c167db7e SHA512 9e7f1a247cfddc4b09aacb53e37ee3ed4b80cede0d8c5ec87bd9034d7a7b73c901893ed3f10afc9808c99ecfb4266cda9f50cf68930c0b12a19a219acebfaa66
+DIST omnisharp.extensions.jsonrpc.testing.0.19.5.nupkg 75027 BLAKE2B b6fb9c1f04ee662e2bf1781ffded1f0535015a564c6b3314bb4915ede1c525cec3cea626671381df876cf06044fb9d5cc6130aac379dc5649ff80e61f0b396e1 SHA512 a565c7ce0dc46c60e83277d3836e40d0d8a08be7f5779f819b76f3172265a1a4e82f3918833d82d3523dddce802f0b7349702635a339683e18ea1b2640036f1e
+DIST omnisharp.extensions.languageclient.0.19.5.nupkg 112721 BLAKE2B 1fc195b258d07b002b240199124ab0fb1d4f1a3d07153d50e1f3dbe1d1d8dace2e351cb1614c906dcd301937c59f2f671fa64e4922ddd8d5d37d1a42fc41350c SHA512 20405f66cbcc0dc360ee98ea7220590f1aa1c10c213c883e60f3406ff89000e1f9c07963130d59f4895527bd178ca6c89fbbff1311b9d675fd12333c4b551e8d
 DIST omnisharp.extensions.languageprotocol.0.19.5.nupkg 1082429 BLAKE2B 88fdc392501986f916da254fcf0f17da0b3b8c1965284d5ba18342734f4aa22bfb22cc858284c95d5f170cacc169828b05fcf8dba9c39de1fdf2d8cdf9375901 SHA512 e536068f17eaa46da9e2af8128f65e4f50c5e5a4b15ceae51931fd4f181ab41bbf2e603dbb77f2cdfb3a9ad8d2080f4b66364af195af763c64a8d8cfa91dbf00
+DIST omnisharp.extensions.languageprotocol.testing.0.19.5.nupkg 91489 BLAKE2B d7fbc64265e767d34fe9bda33a1355ab0df2d35e2b6c846d3f29c0b8fe64b2491bb3df3b21f9295e99193d27df79c1f455b085b7db3c081620f62b0c9d266f1b SHA512 0c79a954d06039d06a99ffd22a0d6b1e74aa1cb1472c5328b8080c1db00ddbbddb1a1ee91906709f244c2e4998f15485f3a964e99d40fbe30d0745c9b55b6518
 DIST omnisharp.extensions.languageserver.0.19.5.nupkg 159564 BLAKE2B 4072d575eb5cbb0ca8693e5e8d31b7eac93141a4c49b6c313003f8f256958e49142494a76f5a38194757cbf8b2688a68c65802caea60291948a35052bb80152b SHA512 6c31907f01641716a5a853e5b13e55158fe74ee2237be81aa4df46ff0a841a2f8a69b2ac7b960c9f25deeaa73b7780a2c4f751d46bd3644ba3b1fbe7c0b203de
 DIST omnisharp.extensions.languageserver.shared.0.19.5.nupkg 87423 BLAKE2B 98a93168d7f209d5eb1bbcb1ff36067945003f05b0c2defd7d8b78cba1ee0ea5ef252839020b7e7fac4de68668cbac87537771699a59e912cfa85d27c577a369 SHA512 aba92846e654e621378b15fa1ec16f4ae2f9b62697a80bff007b30235d7dcbb73eca92e58cf4cca38e52e3fe2c8d9ba84551e5d7b376bf57a222b56991b520fc
 DIST rangetree.3.0.1.nupkg 33158 BLAKE2B d185ebf0c29c1818deaada4e557a59e90cc4d31f3510196dc868e0e5ccf4ecc4535b437f566b8e5abd21461555a6509925e896133699120233ae64917a5d3408 SHA512 25002782f880fbd322d4b42734995f3875a3ce928234940d94b22f620c341cf089549c9a2e15c8abed5a3385fb60d53da2bf084a4585eaaf9f2a7061d82853dd
@@ -129,22 +169,39 @@ DIST runtime.unix.system.net.sockets.4.3.0.nupkg 105673 BLAKE2B 06119cfdac3ce590
 DIST runtime.unix.system.private.uri.4.3.0.nupkg 75969 BLAKE2B 82611545be3eba44ccfbef1f104e9b5afade845fd3b30c6cb40171368330f9d4bb2ad8752e415aa3b1678ec140c40f8e72cd4cc3731f42ca64016c1a1dce70cf SHA512 203ebe272791d79ab0c40afe9d0543852ee91b9fb4ae5bc15524d97728bc8bc9d7e0cbcf65d1fab8cfb0aa7a4ae37e7938933eef127aa5ea46f60e57b6ad2d91
 DIST runtime.unix.system.runtime.extensions.4.3.0.nupkg 54075 BLAKE2B f81d86cc15c63aa0b4a3d03546a07649587af7a0285af0de4123734e719fc023fa4227b7abb18307d4fc060e2952c157ec72b3bb85d49ab8508d8167b1aeedd7 SHA512 54b81784c08e934389c59e6e155af6b1855e4bbc41678b01a702c94e6daba87c6ddfd16fe9e2cb61f3097bfa4950dbc37781454d027ce5ba6c50a393cc91b888
 DIST serilog.2.10.0.nupkg 491974 BLAKE2B 27839d2ca6db6b745a627e9b534954633539bd0126872dffeddfff87ffe140167dc04c62cd801a8183dd210c735c9319c2fe76c5ea5a4c0bb37c87aa82b257ca SHA512 9c19964d1126c2e99f546f1da81764644fe39b153e3d8d725473221a6e0855f356776d2f40a8a5d04ece4e420075d5b987650108a4fc9b32b4f56ad3d0792260
+DIST serilog.2.12.0.nupkg 769482 BLAKE2B 178f0796f7a9cd82d60a6d8c1501dd4b5432bdcc9d41061572eb5e0a1e0da924f48c2557dc43e610f9f49da80ba459e2301d43772130b22be5e464764db5e945 SHA512 3546b98340b8399a8ca778b9b82072833ade67b2a016fe261f5a93a3f9afda222a1f432b146dc06edddb68e6bd32bffa4a9aacaae03205c365b43f88044111fd
 DIST serilog.extensions.logging.3.0.1.nupkg 21474 BLAKE2B 8a0987a47939ce9901648f0ebeca3a4b29eb15beda0bd0206fc1ff0217132c574314bef35fa6de87ff4686455a5a24497af1393243b033e4ca1720b20917554e SHA512 65e5b01f8493c5ddf8927221a431a3c2bc2454c12de4392d85bd13f1c0d3cece3f73135d2f81242d14456dae7bf0f99ca0711a6006efa8e2359c86e0847e3f6f
 DIST serilog.settings.configuration.3.1.0.nupkg 75871 BLAKE2B c32066f2850cd49b4d2a4ca2b1ee50fbd509457073109b60b2a3a15d69e784390de1804dc87db33f90adb829e28bb2590d0787da0f00f2290847489267382d6c SHA512 dcf09d92376a4600f039c63ae11d644af88afd2029309e8f9efc2a9854c2840d34be7a34a067bc596b9c4040bdf72f85dfbcb9e51fa8da3b8f40ee1d65d48198
 DIST serilog.sinks.debug.2.0.0.nupkg 52026 BLAKE2B b8b2bc0a1bb2386294ddab0b05c32669ec2b869830e35acf5a9a41577261d6441b6517cafc678a3cca6bbc1fbd4e0c78a7a25f7c61ede1ce0c29e3fc2bbd94ad SHA512 fbddb39441be29aee4077c487e321ab0c3a167adc74f698115a5412d989e4d33c2a8d1cd9fcb96b312c567cb293d23f8431c936d9647691e019600a405c5cc6d
 DIST serilog.sinks.file.5.0.0.nupkg 170448 BLAKE2B a2c58b4b2c43ee9c13e43bd341c4a352214f870d2c6cc6f3fa71138aa8b07f8cafbdf0184a3522d0333480b0ae252d5124e1e3fd5dc26df89474cf9e2a147dda SHA512 e0139b1c37bbc6e8dcf4b44f696fae1212c7793a69d599d3a555f69d2ceaa92f2417a0d4d2845d80ea8be494d4fd994841b916b197f8dc597afb6a6d91528356
+DIST serilog.sinks.inmemory.0.11.0.nupkg 34432 BLAKE2B d41c998144425c42a362a799a98172349d4571d89bea7d1495c0dbc26dece054222b18231e1fdee8c384b906828bfd128b7609fca4dc4f378b2178d0a1be1d41 SHA512 3e922080590064bfec9bdf7ea0c8a0cacde5cd0c8d056d74894c3e1af711f0d45ce52862abadf36843b99a1b317962c77d59df15f52afc7f6c65d777805fb383
 DIST system.appcontext.4.1.0.nupkg 146990 BLAKE2B 7881a5a903a358e19b0de72fe800c70ac9233e7c5e1e4115d69be6f8dbc4fbe86debb79bcd453295730e803ff1da974075c999f52e4c721e085676746c2f9b58 SHA512 f724af13eb14aa57255f82841683a93b427de172b8d31b9fe2c6bc8c21a795e60ecf211b4e49e1c2e285fe1ad498e6bd9c843e109a60a3dc27b49df560106e96
 DIST system.appcontext.4.3.0.nupkg 147030 BLAKE2B fafd6d050e77a265cf41c6d00a3ab3d8db47f2258e10a6cb556031ab183a01a508a986bb495b68c5e8610c05b92b2f3c7b0718f68f508111fd262291684f84c3 SHA512 0d6ea63006304708feae2cc0590d2cdd99327b682210822bb2803ac842fdf4d8d57170d7947c006eec4b5687c942768478a7ec109745472f3946d230732483e8
 DIST system.buffers.4.3.0.nupkg 35171 BLAKE2B 3b274a048ce14845ca957019b3670db00338972f6e11279e47f59ca6b4326aaecab1d11317694ed98e8a27f3de7ef6f90de94d4711ab224f805388d468728392 SHA512 3dcbf66f6edf7e9bb4f698cddcf81b9d059811d84e05c7ac618b2640efed642f089b0ef84c927c5f58feffe43bb96a6bcf4fec422529b82998b18d70e4648cbe
 DIST system.buffers.4.4.0.nupkg 78363 BLAKE2B 3d25c21afaf3f3b2ebe348b55ac9350bc982a2f3a78659ba0a6a2994ae6423ca94c5a0f55bf97ff5041d882dba2403f52efc9a125b8a6250c681e3334d10ea41 SHA512 222d9b79d7781d5cdd76ea5d537e67df28288543e5367ecc0e298139873058d71ed8d8b34357c249a4096354f3bfcd1a32a386a55714e3066bfd77b9d31713c2
+DIST system.codedom.4.4.0.nupkg 213263 BLAKE2B ff2538b2ebb25f675946211e62f8d403e30f341f84af0b7681b6e787fe2bdd029526cadc39727570d90134c982b88f2ebc29add5b8af2e1ba188c075d496ef3d SHA512 13f96f49f3053ed35f94081d33a02e3d4f096d976a752a06a54eba1bb4ab76e0aa76b1723df95aaaa57880dd9dd21ac2069bbdd876a8aa950fe5dfa0f48b5cc7
 DIST system.collections.4.0.11.nupkg 810001 BLAKE2B 7f20413de51be3416862a8e3624fe575740aa35fd0983a694b128587fe05d7a3f869afb893106b02866bd6811dd045e35d0c3f43b55e06ba9f92758f21aa507e SHA512 f61b75329ba5d7c0e688aa9d110b2200c8934c3a1888f6b1b5f198baa7ab93f23835e8380853e8c046f257172b5060578ed86df26e5fe0ef34d8c4408a02c33f
 DIST system.collections.4.3.0.nupkg 810001 BLAKE2B 0079d5834bb3857c002cc686313646895b47be1079e10cf365ce9e67c05f14c2e70e782b122b07a7cd9d5090b57334d0cb2336503cf5059cdbafeb3ef3cc8220 SHA512 ca7b952d30da1487ca4e43aa522817b5ee26e7e10537062810112fc67a7512766c39d402f394bb0426d1108bbcf9bbb64e9ce1f5af736ef215a51a35e55f051b
 DIST system.collections.concurrent.4.3.0.nupkg 502676 BLAKE2B 0d98ffad345254596133bad8a487bb91bd235f2a757573c3ab7999184fac6685b4ec33316bee9b4a4e588ba96aa745a681077cb2e2d2b0a7f5cc113aa75efc2c SHA512 35c1aa3e636216fe5dc2ebeb504293e69ad6355d26e22453af060af94d8279faa93bdcfe127aecb0b316c7e7d9185bcac72e994984efdb7f2d8515f1f55cf682
+DIST system.collections.immutable.1.5.0.nupkg 804405 BLAKE2B f11cab8fc6e1543d09bb65aec905d8a7b56318fc1f6e4ba723fc5ef393340fe3e29cb8f5d3e788d31b61a80661367371af90065432a63b3a954c39b68b8ecf16 SHA512 4f95c64257078443bbe50c77f061825033dd9389ffef2ad1993832e32733cc957c6a53c76b13d4e794c10b6505ae4438d9bbb7e2c64f7cad1d53e9d665438424
 DIST system.collections.immutable.1.7.0.nupkg 481313 BLAKE2B 6c10496bce03924feb03a45d7e0b4e523918d1e52f3a40b35e667d6aa9c765732d05bd418600b00bfc6a4e165ba1bc6762ad44f99e3363e10e7c64e457ba213c SHA512 da02822ffd801e236958e9bd28f616eae0db1f7f948b23f50aa20bc0b163bb5ec8e284aef9126880951e9c37d61fe9dae9aae54be5f34a01fe6237c1a5cb81d3
 DIST system.collections.immutable.1.7.1.nupkg 595037 BLAKE2B 83f95d1b23960b35915e5418b125810d3087e7dd46fd2702907cac9856290bdb02d3c7e1d0a8fc73fb8cab4bdb4e928b717f6b61e7ff8fb3b508f6de49940597 SHA512 d263cc2c90a537edc49bce334490fd09d888a50f5b793e42e89133ad8db9544f356bd5745a735c4b81b7687bc1b8e4df9c8d64e388c8433361a775591ddedd76
+DIST system.collections.immutable.5.0.0.nupkg 623075 BLAKE2B 14724fcb8654455184f8f16f8ac56b7b3c995e632af36e91f307331620b4e9f515a13bc4625d898fbb4b57ff9f017b43cb91ab40b0cebcd7d5eefe32979afa4a SHA512 726f8db7d179714cf0efeb0fc02fcebe7b4755762902e391e77cf78671dd5d5f364c7cf4ce3545b51cc7f37327d12d1500ba19f4b934f0e8bb69a6a347c0bbfd
 DIST system.collections.nongeneric.4.0.1.nupkg 239254 BLAKE2B 0179bcd640e80a53e15f96525ae9dcc67e463936c5e8af88713dc978de525265c7cb33356f56e34003398cf1974fcda377339f41ac0171a83155009d6f988832 SHA512 5c38a3c61b6f4ec205a970773db90fced9319cde2ba3b92876a2d04a0ea63a97d67b088972e7d8215d1580efdf1bd7fbf5c89ceab15faf1b8212d72bbbc573f2
+DIST system.collections.nongeneric.4.3.0.nupkg 239265 BLAKE2B cc987578ab9b0c1dfc8925f2c946876f8c8d6f335d8d6a6a0a30848c6c812a24774d059fe28aa83887b45d924705abe88fd96451dba7b2253dc9b99afc7a75e8 SHA512 dc6abfe778b3ea08e99f50b79112a51728e689f353b082234351b9f5b1be4b601a0b6d38a04c2138d05b5bdd83d6f3d91b53ee86ed119225c15e4683c38bf98c
 DIST system.collections.specialized.4.0.1.nupkg 183457 BLAKE2B 4b886d3db9b40b6ba0372deb97ba84918a2523401b09986bd42b84f7b01d088e75467477f549113396c37db8b4f111987c93e5d6cd4e9a2935656b5c5de67abb SHA512 53d2b256394c9dd1d16930c25f21714dd2d23ab0c9f3d3ac3a3a4552b64f679f2342b03d193984d050d506a22c450dfebb5bc6e404930cfff98ac9c19d7c9d08
+DIST system.collections.specialized.4.3.0.nupkg 183462 BLAKE2B 9297ea15b3d8880a719e4608622793e8883f68887ed2422b287897ad389b41f5301c69707434868c3db88ba3b8819c4cc22b7f5cbb09d2729b0f5e121ddb6921 SHA512 c7a257cbda812d6c0c44b29d8bb5cc4f5cf2d3cb81574eb1dc94a7efde980ac26c5ffadb7cc3521fe7b19437766a046c83cbf2e7ea59a36435c288add8142b57
 DIST system.commandline.2.0.0-beta4.22272.1.nupkg 616636 BLAKE2B 5252560598c4cd67348520cea086c37b4151b984a61238de1984838975340247b16050113422b1765931bdfc1dee38e226789b6427e56ab7c3a36bf07d0bcc20 SHA512 979a7e66ba29e17bc5bec42e926ed15362e23ae403e498c955e09dffc4d3baa14777a06f95e25d591fc9757a0eaa18deb9e4662a1ca1663fa300f509a4a0383c
+DIST system.componentmodel.4.3.0.nupkg 95320 BLAKE2B 8c03f003539d1c0920c4d1a2d0b57a19f93c9c1d7f2e0004035b758b56915da1ba0207d1506cc0cf8af71bb2e58408fb824674941230a0465249752b1dc0df93 SHA512 7c638ac92a132e1553a089c6a711ffb7431b22fecca322ce748d6684ae2baaf161bab2f71704750bd15ec6fda11e795f2ab8491ac769b89341bde77aa9212d59
+DIST system.componentmodel.primitives.4.3.0.nupkg 93137 BLAKE2B abc810f534c991a46cef506df47b66abde687ad65ce16fa8739a05a5c6cd8338ade9961e035f38c559f964c469e47398f537285b63552fb80b4d6b9421993f07 SHA512 ab26d413abce9cfc31b860765d91b21d4048976016d853ce8969f7ba79c039d8846b3c4e2986530f20b62dcb23ff0a769ae5ee37fc078d69eaa962832f2035ef
+DIST system.componentmodel.typeconverter.4.3.0.nupkg 292985 BLAKE2B 732b3362abf534f3a28d6afdf010d9cc52960edbacd19fd70ad49ff1813d31a7f840206773dd5d8661575a0a5b4053a51d58e23fff803e6726bebaf3bedd158d SHA512 0a2b2f3c25de4a6429c6cb9fbb37409e86168921ea71ec58889912742e39e1b67f5cbe764affc3580aa0ef167c7f73a55332a0abf7b043e89185293029d8b087
+DIST system.composition.1.0.31.nupkg 17007 BLAKE2B fb82e901afa39488841dcee7095146547bf0d844f3b00b14f3fcfac812c3773793676c012827f9abe0fa59a03c23bd68ae8b5d9094c67c6164ceebc7e166e141 SHA512 09bcf06e3c53d38554f89cd0b8f3987d40b26f306d6c665da86252f78f367430680476eddd9cf440027f0a3ce99aae7174bfa1856e056167ffdf0ab638255782
+DIST system.composition.attributedmodel.1.0.31.nupkg 44965 BLAKE2B dab81f56845d7b8c9290bbc6e33bcf91bbb399dfd49fee84749e964bda2bfaf614a555429b91f7648655fb3b8f0f84e162d79a50ac28e54005e364af9b90f7fd SHA512 ae165e83e8bbd50d0c663608748a727f328cec4f44b2fcad5f1abe09a67fbd6095d3d65f3276f430e1247cce307ca853a3b5e8a374c99247d32f1f2450296d92
+DIST system.composition.convention.1.0.31.nupkg 73058 BLAKE2B 99ef08b2f09cb7ea7871abd0af763c608d027dc636311ad09428057a5c39a857c9c377cb639eeebce1207bd6fe186e3ebd30209672200a2ccb3ad33be9b7b46b SHA512 f4614921dc20d33afcb362875558158a461f3c9fca9ed1f50fbf59ed5cc2a2f519c0334dabae8c30a90b248382ced5ec80376060a3a9dc1018012452f44bd81b
+DIST system.composition.hosting.1.0.31.nupkg 77495 BLAKE2B 3266407fc975979fdb69353efbabb84cc1637d9b054150984cebc32359efbc860297033598350eed709864b19f266a8a74acbf9b9ed1d4f4cc4e4c69bbffd709 SHA512 2a5678aa469ad69fd4d962abdf9dd7790f5b8ebc41c27f45703e64f56144b95d4c9680cc9d39e1530414ee1d568a0bec098ca4ce845d9c32eadf7c2750fc017a
+DIST system.composition.runtime.1.0.31.nupkg 50571 BLAKE2B 656f0f0265448b521bc4428a068dc48ffd0114d159312ee3f804a832bc8877c9bb9a05adc9ba77b13015115f26cf5cebb4609acac3eff64d4e75afc23bb9d0fe SHA512 8991f7fe0da3b3a7e65776ad376626fe8f9d33664c035180d065dcef49e16c8a8aebb2f6f4b87762b016881972a0e2148cd120800e8be22fbeecf4880f6c0c75
+DIST system.composition.typedparts.1.0.31.nupkg 79671 BLAKE2B 83151935e9541e5ab68b52ad38b63d344676a758800ba4e482b4bd5e0256fcf0798685e4ac66239e89a4ad254c32f4af89417196170f5ccc5dbfa388070efa75 SHA512 1fa7cb5b1172f9ccbe62c1d172f501b24bc3624a43754264cbe1a4a98be2f01ff9726fca210e5054338b2aeba5e0f1c567fc74c9169c4bc0a9637c7f3f188178
+DIST system.configuration.configurationmanager.4.7.0.nupkg 431122 BLAKE2B e1bd9e6c341ae10686a334d9f112b6391354af767b2b9d1191a13f5f213f66c64db5bf1065902200808e0502052aab016f8ebf478a46163f9a2996072da0c05d SHA512 0047bbc7777fa368f0a6f352bf994b44bccb1bef81ef7037065eb976977cffe99e6c964407a7d30961f3a8213dd52cf44a81f47b6fc7d698ea5d54444618f6af
 DIST system.configuration.configurationmanager.6.0.0.nupkg 447998 BLAKE2B 477de26b3619349fe0a42aabe463e3676c112b64af24d755664baf8d8d3d7d80ad3ef0182fcaee91d83a7a3eef38f9fb25171f30572ad39ead5e93081849d927 SHA512 de58cb928d6303a16301fd7aa8edac379dfe6c47e6d80b21665f92bab9dd5ff52b3e244cf6df0f945f1c72e71c92337561dbf2752fc3324174a8c9ecc70c3247
 DIST system.console.4.3.0.nupkg 102397 BLAKE2B c21bc97bbcda781257473768239f775a16fcc399e933df35a5f5c00f75c5088462ea01ecec2d711a803581d5499c8cb15518e790d6c9e74b15a36c3a1f237d19 SHA512 a08a684a583c9b3278ce32be1007dae495f9d87254666392f794ef1203079f333cd7d388c28944ffa36fb49f0c8bb21f42c70f6e1d7c1c03920df6d0d1130c82
 DIST system.diagnostics.debug.4.0.11.nupkg 149779 BLAKE2B 337beed5f06441a09fb704ffdcc3c277e2f99d7b4931e86419e4d4d0925ad44c86276aae0ee1e29f94ecd37257953731e9607bd00de716d3195dc994dbe189c2 SHA512 02f4d0bf969eb1a876def21c1ffd75f8ed5f979aed9a1169f409e60a6e07016854e2154da5c0164fabaeaf6527a18d8e67282db1b69327a1b3581e9c0c742f58
@@ -152,9 +209,12 @@ DIST system.diagnostics.debug.4.3.0.nupkg 149774 BLAKE2B bdb6d5ee3b8ca4f28b241b0
 DIST system.diagnostics.diagnosticsource.4.3.0.nupkg 120125 BLAKE2B 33f203d8ffc39e0c38599eee625053beae160a0aebe6fbfaaafdc85b570c7b82e3aae281092014e90d10fad7083f37afbb546ad5a0c74a94843ae9b1e9fe85f1 SHA512 8f54df5ff382b6650e2e10d1043863a24bf49ff0714e779e837cd7073e46fb2635bcfcdcf99d7c4a9d95f35ebffd86ab0ca068305f4b245072e08303b917b34d
 DIST system.diagnostics.tools.4.0.1.nupkg 67228 BLAKE2B b2b74a8c3164181513c960e79bb2cfd9673af3d864c681d379051361743459ee0604806c09e9154913d016963f20a59aa8b45b4b3c30275709878405085ca690 SHA512 a812ccbbdd0a66eb57075121ea6332a526803ef883ca9f8b06431d6668ad50efd13624fa87dfaf6aed03c652f795c2ffb9fa9d9895a2fafa96eca614cbf86cdb
 DIST system.diagnostics.tools.4.3.0.nupkg 67227 BLAKE2B f03928755ec84fd360b2a8a0de3f39e57322cafc4be9e7fa6b7a67d606de9c0869688f62f6b7c9a2ee2915c424ab20779ac87ff510637a9bba740ba0361e6041 SHA512 164d6977e721cbceb44ede7bfd75b03b8d9771e0426aefa5d40c71867e964092fdc6a6808bcbc5559ed73ec2c532ca657d6476af79a49ca3ad879b8366f13d90
+DIST system.diagnostics.tracesource.4.3.0.nupkg 227705 BLAKE2B a94d8a907a729dd4aa296f1f3bfd924865bc73530552d446e301dfe18632880e6800b1d3eb397c59144424896edb8346021a3254201ac6f647ee4ceba412f8b5 SHA512 0655962fdabf1ca334281cee3923aa7211606b932a9ef90ae666fe214edfe1e7089d2ca0865b3047789bde7c30d6bb8198baed748e5ca02041d87d8096d4c5c8
 DIST system.diagnostics.tracing.4.3.0.nupkg 581864 BLAKE2B e09e616dff7879932b358746a62b530499aa61726c4490c56d2d7a0bf888db5b42d75d89cc5befc9fdb6af231beff998b6b243c2b2a08084da089709e0c82a75 SHA512 d0a5d30e261cd45b7dfab02b7ffbd76b64e0c9b892ed826ea61481c983c0208b05b69981cd79e91cd4e5811e1cd4c3cea06a1afce05811ece58be5e4c20169ea
+DIST system.drawing.common.4.7.0.nupkg 1241693 BLAKE2B 24521499785ca548f724fe07c3410649ab52296e94dbd4d38d6e84aa5ca6c25f4b96fc3681bc782992c603853bceff20c082d529085e72a7e004d008c47bef24 SHA512 5ca48fb9622fbe9c7c52e93902879af730c356bb276b65570d774f8786c59d75e6ad993ce2af477f9611a8e97967c12373afd0a8cb8a9f1d6e63505da4bed334
 DIST system.drawing.common.6.0.0.nupkg 1114589 BLAKE2B bc4dac5dbd2504c355cd745a5559d3b5f2d1c59a9e0535c60ba97e12e84845541c8b606e15db6aa99052329950c0f58604779e5535251f20e960bf7c939ace43 SHA512 d61f0a3e01c3eac15f13fc1ba04a2c7ce4eac956400b2faa361fecabd3836d49d5bd344f3985ee3d94cdc3f6a72b8e07e423cdb2965b4f5ca2222b5de32988e4
 DIST system.dynamic.runtime.4.0.11.nupkg 547813 BLAKE2B a59d9fa95313f269033f7e25e39e499ca4910da5c2c1307a1d3d4d96b07fa25fc6b9223755597727b60a26280e1dd4a8bba0b165c3fae9a3d3d9732b77f3e1e8 SHA512 0b2189a6f50effab44a8b1f883f2a1f9b9b32c448123190e8946a877c28ff46a235aa90af0898d1ccd6da2f3155aa2cf26e57f7f61ee7e3c50dfde2190d781ab
+DIST system.dynamic.runtime.4.3.0.nupkg 548103 BLAKE2B 42ac34ffe9b9b6fe69c984aa2b22f0715f7979685730de048490ca05feefd800349df39aeb2bc6b4c3608cd042abc018714fbdc49475a11b46077a2638824c8b SHA512 54446fee94f432cb8fd38ec10c929a87b307a76f152a2e9da11ba99c41ceb0f65913cf218944990f0e122d4f858945091e9806c84c0285ada1fcc939337d30ea
 DIST system.globalization.4.0.11.nupkg 589139 BLAKE2B a4ee2d6848c249b34a67192dfd32f78d842f4b12f8be137804966d00b2e15dd8b2f9ecc6427f9074c35802d9bc13674c912c80ba405e610324772f9b640dea46 SHA512 66bc21667f5f839bc711eda3b0463863d70e0ad86770fd5410e0123006d6f031755cf7220187fb7cefed69b3f4a9eab8f0868cae765cb1425c8bf60427f395e6
 DIST system.globalization.4.3.0.nupkg 589136 BLAKE2B 7b07f9b68f0744ddcfa3f0db6190c1a0696c2f89f8c5e92922ac20fc4155e22d97e7191bf7866c9b58acec056bff08531b0adacccaec7d4301e1d4b149fa511f SHA512 823d2ba308cb073b40a3146ecccd0d9fd7b1615ac3fbefb16f73d873e411fd81c3bdc87df206d3dc7e2f14c9cd53aafca684a3570c25471280aada8de805ece2
 DIST system.globalization.calendars.4.3.0.nupkg 177689 BLAKE2B b70b5d9e545835e5a3fe4c703b2bd7c857968ba1fcae5299c9c41d550338914f2ad9d168948018fa7da7271d62a3b9d2ad1e696d334ee7d3fdaefd25395aa64c SHA512 e97190231402b393774b925efc02a2bfa41d1d117a17fb87da6e399f5234546962767e9cd8f39970efa408e4f453cd1e6751a2a61e366bc97406e1b0b8a4be86
@@ -169,6 +229,7 @@ DIST system.io.filesystem.4.3.0.nupkg 274316 BLAKE2B 4ba513b503cfcad068c23a82423
 DIST system.io.filesystem.primitives.4.0.1.nupkg 94921 BLAKE2B 32311ebb93e758016ba0971c99f5010080597b630bd6b1aacef03e39d7693c66b7d2531a6af05c7b14cd2dad34b1cd485aa19d77ccbe53e512c4e021e3291f9a SHA512 dce1c4074938391ea4ea01226812982a893bfc910e66ac99ecfe31c9b6fe635f3fbff11dcab222ed5036eb21c4f49cd3f121c310adbf87d22cf3d512bf6a9d73
 DIST system.io.filesystem.primitives.4.3.0.nupkg 94996 BLAKE2B 95fa6178164a7cc6a29c5a3fc55e415419c433b3b74abbcfa4fa5ae1bef40141b9515076b6869e8ed771b0ba6800bdb2fe6fa5d1f773ce52c40753efc0a82be9 SHA512 5885953d09582cffd973d23a21a929064d72f2bc9518af3732d671fffcc628a8b686f1d058a001ee6a114023b3e48b3fc0d0e4b22629a1c7f715e03795ee9ee5
 DIST system.io.pipelines.4.7.3.nupkg 192951 BLAKE2B 07487fdb50e689a48ea349e6d3a7fd62cb3b7a3c09f23323cb6a39e199fa469586812d9a7125d546110292afa22d07571f3158a746b205a3617b000ed0bd4f31 SHA512 4603b24bf833eb65cfeb218a6c4108babf6d9c1887458e60ba522a84d48df2ca9239c037dcc37fe552d8942d6bb2470eb8bb4f8064e9e49f63b3ffc93fcdaf01
+DIST system.io.pipelines.5.0.1.nupkg 193681 BLAKE2B 81e6ad837943179a46790282e63e3fd97ceb64389f6d9a1af1f21bad6a32e426bbab291da6c3a12d5f4503a3926ad999d335ab1b5da877a1d8321ac6e7dacfca SHA512 b5960f39e3a05e0738ca9cff49f2883fe59cc97d0f2f75f1bb8b37a5c96de0ac3631393f2b6a176895bc903bcd58581ca6e9e107de65afaa4b8a4d4875d61c40
 DIST system.linq.4.1.0.nupkg 511874 BLAKE2B 3f5941e6fdc731ab7acb58aaad0340695ba2c1ad285ee5eefd9c4ad3972e278d74cabb0d5480f29697b8c9ebf839c3c8064436be4c508ad406f0b3ab2b6366fc SHA512 53e53220e5fdd6ad44f498e4657503780bca1f73be646009134150f06a76b0873753db3aae97398054bd1e8cc0c1c4cdd2db773f65a26874ab94110edb0cddb1
 DIST system.linq.4.3.0.nupkg 512550 BLAKE2B cc6cbb532575bfcfde7ac897970dcd49067186547108f46449f9f819e7910ad32496df3663d4db8eff48224b8ee95b27f7bb442bb477ad47f44da2f6fa893078 SHA512 eacc7fe1ec526f405f5ba0e671f616d0e5be9c1828d543a9e2f8c65df4099d6b2ea4a9fa2cdae4f34b170dc37142f60e267e137ca39f350281ed70d2dc620458
 DIST system.linq.async.6.0.1.nupkg 2000666 BLAKE2B 8d4d0e71e4bb1bc29dbd2775803ed7e7e1bd5d3d415a3e924897513d18d23b0b1dfa569419fe24bb2cdad237d8a466f319091f0524fcc73c27b665922e5185ea SHA512 792b7b14a6fcc52f88cc0475a2ba8a694399393fa602446fe23fa6d39d782c16f908b4bc3acd58454554932b7a41056d84424b5fd66f0fe6e3c00178eb3d8a1a
@@ -197,10 +258,12 @@ DIST system.reflection.emit.lightweight.4.3.0.nupkg 84426 BLAKE2B 370e3b74a769e2
 DIST system.reflection.extensions.4.0.1.nupkg 99743 BLAKE2B bb72501a2dd11ecdb1f0ee41f022d7a20635cfb8858f8570ee52d15f7c0a7bd167ebc420ff164acf9a5e763e2dabdb7c7571e9155289fa8d9569ba1e42071dd5 SHA512 3e2f07c29836735be6247e75f760de90783d5ece64e8cce4e23eceb777da8975a35130804d87ddd26449c13d2ca34180e3f6b844b0fdd2dc594bbec6e7272098
 DIST system.reflection.extensions.4.3.0.nupkg 99740 BLAKE2B 15554874193bbddbb2a7a769a239923ea039b117d9f8ba5ae634b82fdc8f04fcdc871bdf328b0b4e418c9f0c987dfd71546c778a99453ba6b5e754e6939b3c28 SHA512 06cfd992c8d7fd9ab6432ab02be981a01b6558285a6e26a7825a064d4efcce08d9e7344f03fa19b033a2459d42b0b80e8c1400ce39b47a1752869ab8825b0475
 DIST system.reflection.metadata.1.6.0.nupkg 852113 BLAKE2B 4d15704a1fe00501c1bd8c945d02cd2e2d77c12ce86aa628edd18383838c9dbbfc449b8026707bb1ac570e55369e988aa6068f57acdea28f519bd3bdfd5b9304 SHA512 f5227666edc6bb1da78b8a8e86a68e9bd647caa2ec6a1580c14a4a5e1fe5cfde3bdaf0d8c23dc210c405a55f83ceb6add1a9adab149dc065b38cfddc9b01ba20
+DIST system.reflection.metadata.5.0.0.nupkg 1006081 BLAKE2B 2b10bc13e07d904270e3661435d372008ab9aee0c0dfd409251867273c3e9541392413018306900b0d9c114843756828c946801f65912e27f7a3d351c9061c52 SHA512 3b74e3e491eee87a8410f5b9a2e556233d9919267f6a054da7a4c9c34b6916b07c77ea9ef8cceb5b7c3361e7394e502cc3c9a09247c6a06bb58509e82554e527
 DIST system.reflection.primitives.4.0.1.nupkg 281678 BLAKE2B 3aba0904b106e846cc9ff3fec98a6cc4acba2d2dd3296248303bb02b2e32bdafa7fa095f1c29636fd1c85ca5ef4d972a7b6218834e458ec9f41f275eb195cb4d SHA512 08ad6f78c5f68af95a47b0854b4ee4360c4bad6e83946c2e45eaa88b48d27d06618c6b7479bd813eb5f30a2db486590d17645e9c0e06a72dbe12ffd37730707e
 DIST system.reflection.primitives.4.3.0.nupkg 281679 BLAKE2B 36dc0fb5e7a6927ab2f54bc9ccb2e032cce0284c3aa9b83cf2ded8bab5fc7918553b06b16bef69161a7d9a0548b3e9159ab582533578cd28a661225559bd2b1d SHA512 d4b9cc905f5a5cab900206338e889068bf66c18ee863a29d68eff3cde2ccca734112a2a851f2e2e5388a21ec28005fa19317c64d9b23923b05d6344be2e49eaa
 DIST system.reflection.typeextensions.4.1.0.nupkg 187836 BLAKE2B d9cf37002f9c37bd11c43df97fd2e8234993f34c97e9a0606ef28164f1c587cc55ad2f2d66dc62de304ccae90f4d5636d163bbbc86fc00b4bb258a5dc91f4068 SHA512 5b1875ae86f76f60307fbe261c7471e996d4d4eade0c4783cb35a5aad7fec4f01be01cb1f1f78af22d483ecce12096f6ed431d69c4a66c7bf235008bcac30cb7
 DIST system.reflection.typeextensions.4.3.0.nupkg 187842 BLAKE2B 2cec73bd787cc6b4bee793782ff0db98aaced7e7a0645cefb60e6e47d353e1959eed7a48db24e9c7ea6ad7b87648c11c3588d43028c4e0d14c695c38356943a2 SHA512 68ae81a635b9af2aee9fc8fc8fe7da0356ef4da4eb32f81a89fb75613b96714e8f1a1f4c12bd0d335efbb03408cc7a744314837f13564d5fb262ca272055677f
+DIST system.resources.extensions.4.6.0.nupkg 63640 BLAKE2B 87f6008e74a500dc3bc64e677318f4d02926481d5ef946c33c6aa46ffe79e06b4f5d5a6268da65feefdbd733ac62ef144b4bb82baf3f9f1fb7961418594e4048 SHA512 7d1e3e6a84e7f7e4bdd996079cdbee765fff91c445ac2a6d204258836b2d7ef66ddc02f5d1b1081c3bddbf4e8ade8048448f48f33a4a57a24b51094edfb58431
 DIST system.resources.resourcemanager.4.0.1.nupkg 85915 BLAKE2B 11b7c350695fee892052fadccc4f24f6cdc9bbdae8e51122115dbdb357f584a6392ad4fc10a4be59c123a018e0ec559f5ba035fe5e5d7fd868f5878c7b00e306 SHA512 5165916e258dd38fa83278fb98dce271a95e0091c1274b8cf5f17d88b9e6284f7a7bf145194afe4f20250cc31ad714141f9e0687cf235ff05460fb47cea0c525
 DIST system.resources.resourcemanager.4.3.0.nupkg 85908 BLAKE2B 002ba25bb953e5a9162214338b50abcecfd8183c68c7b5de8bbc1780e57322b6aa225e13436ffda54b4013fb77540df7428d8c3c89c1a21622ab124d8ca174cd SHA512 9067db28f1c48d08fc52ad40a608f88c14ad9112646741ddaf426fdfe68bed61ab01954b179461e61d187371600c1e6e5c36c788993f5a105a64f5702a6b81d4
 DIST system.runtime.4.1.0.nupkg 7263653 BLAKE2B 0a6699d985304a5072c7c283a42c100cb8f13ae61e95f93463ed57438ef3d7c655c3c4aed43b1d8fed4057933e924ca1e6b9a5987f1328fe4e2e172861572593 SHA512 4b05eb68bb485846707c4fe3393f9616d3ffb6c5f62a121d81142ddf7d0241c931fe96d193b7bf02281a9368458e0764466766557cfa9709035dc76d8fdd7706
@@ -210,6 +273,7 @@ DIST system.runtime.compilerservices.unsafe.4.4.0.nupkg 71546 BLAKE2B c22c63e811
 DIST system.runtime.compilerservices.unsafe.4.5.2.nupkg 104723 BLAKE2B 30ab5b99a60b0a207bb4306ebcd483882af1721025f61a63dc3d654f060a42ec23e3dcac10623665a14e69ade86189ba0138deb199f63fb8f5124c3581e63c90 SHA512 84c91d5b192cca942515707b25a9907a00ec73110040ee051ddfe5c3fce549953d7598008a3eb9c630ab5deaf5f37c2fa0d033262739cf38e3da873dfdd9685a
 DIST system.runtime.compilerservices.unsafe.4.7.0.nupkg 82752 BLAKE2B ad9aa645b0d20621ff204210982a37d777d1d2d996ffb094117f7e40ff332dc48bdfd4b5961739adc7ef8e9c1bb08a495f6c37ae130fd867d71dedfd8f2fbb42 SHA512 14c154122872d3929f4f691aa2cb8db78f62b8b6e18b278b39a53d128d93b5cc59be330fa9b6b4613c81f9acfe004f1c97f2f815df753a8b97628c17dd543605
 DIST system.runtime.compilerservices.unsafe.4.7.1.nupkg 106815 BLAKE2B 75dc584026b4bc589ec1bdaeb7ee8933a147391f7ecb71e69c9397d517368f5c1acb22d1a1a2f10a853baaf9fb659b59d5827baf70ce882792ce93cc3be09b13 SHA512 c8d781feacf79f3effc1c231a84beb0fa1e869fbeaa1d94ba3e84db75afe915e045c39ce059331fe48956534dcebdcd54fd97ab199e6a090bddc5250e208ee52
+DIST system.runtime.compilerservices.unsafe.5.0.0.nupkg 130329 BLAKE2B 661dc87cbbfceb67d13b0bdbcf3a035609213e4b99afac13ac773128b4a4428272e84f17e70fc84218fe1569f9ea9f28152c239713580ef5a75d4fbd6a87f08c SHA512 23226c503b06abecee5a9604a6e4dd3dabcdf921f55d6aa6dad2bab1ca12a001c7866af5a6de01cc9b4ace54e5c8ee1d5c2fd29dd9dfd7eda3ed86f9b35fa59f
 DIST system.runtime.extensions.4.1.0.nupkg 1060307 BLAKE2B 5426e4a8e6d9ebaa6c88ca7dc495c120b848602f15f102d3c65105c8a03ee35136d5eb2e04a3eb2452dea96a36af70e42cb7a317e269bf4ef8a1d3a5f33f9784 SHA512 42d009be57d6497aa0724924891289f3decd916d0432c1c865cc0494092f5e59287f632a70c5060b3c78e361ab04510d75dfb3c2d2853f54201f735eb6e2dea6
 DIST system.runtime.extensions.4.3.0.nupkg 1060357 BLAKE2B e58c5c36d42228a507fba876d43f064b872c93dc4a48e9a7475a77c27e00f2added1dbb8dd5d6516a4c5652ef2b01f5fa31aa611360b38a0b66a0b1a2e479699 SHA512 680a32b19c2bd5026f8687aa5382aea4f432b4f032f8bde299facb618c56d57369adef7f7cc8e60ad82ae3c12e5dd50772491363bf8044c778778628a6605bbc
 DIST system.runtime.handles.4.0.1.nupkg 54854 BLAKE2B 396943fd119a2ca9b91d1e8059ec1854ec4eedda6b73699042f8ae761bde1b6dde5f7a92a2066220d4c8f7d872741939ba198cde2154d62ff0350ed867ad0d09 SHA512 966a943195b66118277a340075609676e951216d404478ac55196760f0b7b2bd9314bfbb38051204a1517c53097bd656e588e8ab1ec336ce264957956695848a
@@ -221,25 +285,35 @@ DIST system.runtime.interopservices.runtimeinformation.4.3.0.nupkg 179546 BLAKE2
 DIST system.runtime.numerics.4.3.0.nupkg 283763 BLAKE2B b9e2ffc7e974fb4824ed174be43e664d0fcbe1e996640b8f66a17503c8af24d106e883092fd61b2990c32472423bcad943e07b7e25d126563a219e1b617446ee SHA512 3e347faa8e7ec484d481e53b1c219fe1ce346ae8278a214b4508cf0e233c1627bd9c6c6c7c654e8c1f4143271838ddd9593f63a1043577ad87c40e392af7fd34
 DIST system.runtime.serialization.primitives.4.1.1.nupkg 222353 BLAKE2B c53253fbc44b119c29e3cc5a049919d293600182543e6b0b39d0abbaa7853b4b025937d5e5df9e89630a74dfd22bea4c0da826ce2b37211b8db3cb4aeb18ba6a SHA512 fa6a90aeb26c0f1e72c48abec0b60a1ebea955cd3c1133b3245c04dd0bd6984c0ce0253944d28676abb8edb93e1c649c693e7c6425459a3c29a74381531cb540
 DIST system.security.accesscontrol.4.6.0.nupkg 603605 BLAKE2B c307360e9d65471474f9a1d68ae1a46dbb81c349e679755b113daa777590fb094cb1b73b89fb0303c0832940d5140a1a901ff729b27a792fbb39c3b84b1ab57f SHA512 56c6f2d9f63e2f9c1867548f38362a0b0fb69e697f930da075639ae8435d24cb29c7caa49a6aa954b9d5e5f4ceafadb5255935c73f763635ca9a3d269a89318d
+DIST system.security.accesscontrol.4.7.0.nupkg 604403 BLAKE2B 7117e428ef3840057bc5de5a5965717e620f524dafb12feb30ee01cf1368ea7e411a0d889912d2e257dbb67ace2eccb6ad12c179432539cb0debfb0d5ca2f490 SHA512 464255881cc1ad9a0df09eaa1ea926c75df4196537a1c5adb180665ec21f8da627d00c778601ee05894ee745664374a38f0369778c98b29cbe236aa70deab5ae
 DIST system.security.accesscontrol.6.0.0.nupkg 322676 BLAKE2B 4a263e610c98360396e39dd03b61b5e652d957ec4f11086b831105d6390a8f48eae8cfc425e97114d52d81aee584b155c1dd450c297118d63be7a8085363bd83 SHA512 64a36a103b954ab4b7e8a76c0e876579bd484c308e444c2d915fb9a0fd05ad63614501ed235c544afc9b431cb8a4cf0f0715b8ed414e85958e6d68579168fb45
 DIST system.security.claims.4.3.0.nupkg 147933 BLAKE2B bd00c65069b23415c146861ba7ba768a0da69f9f0a4496fb1f43780222f899ae62ed35cd0bc5a0953d8b13920800b59414cccad7e6bf6614ee675680c06e27cb SHA512 ab72b90801f6c051a2b31645448eebfca74642b3cfa1d51f80e21a0d0d7ad44d3366dea139347e2852781b7f3bae820df16c3eb188a2c96244df05394ed72c86
 DIST system.security.cryptography.algorithms.4.3.0.nupkg 402204 BLAKE2B 3bed21fdd12f005b6a7eb225623e71880a37c79cfdaa770971b6563d8e7f613a64617c73deedc2c6c31fd8e908f9ac95903a1004f1376bd914431f89c9dcc8f0 SHA512 7641d70c2ba6f37bf429d5d949bda427f078098c2dcb8924fd79b23bb22c4b956ef14235422d8b1cc5720cbbcc6cfee8943d5ff87ce7abf0d54c5e8bce2aa5e2
 DIST system.security.cryptography.cng.4.3.0.nupkg 290620 BLAKE2B aaa7b495dd7a8884b125f05b62d3e641cfb04e82f8f376f1e1839cdf124de4643dcf1e6de02e0296768db5f430a33d75cd2003261a815059055ffd5f050c65c4 SHA512 6272273414eaa777e78dca1b5ecbbdf65e9659908082aea924df0975e71f4c1b47f85617edf90ead57078c29513a160ca62f123be9f9f339dfb9c9386844f5ea
+DIST system.security.cryptography.cng.4.7.0.nupkg 938022 BLAKE2B 820d39e89eb5a880e5c34f885fcae012b3cb37f82280adb22e67d8137f0040b71a69acb28efa125c373ae165464f38595f3c8030a5bf79649bce9dc7d264f55c SHA512 b0ee54be292ea15b02b82d9925399065deb6dae5aa1bb71771bb9467e8f53882b26a0ddc6ff43121b4d2999c5858399e61a779e04d14a4f4e8e0dfcf8baebbba
 DIST system.security.cryptography.csp.4.3.0.nupkg 117553 BLAKE2B 93f32c719f999c566ac7ebc486854778051ca885632a3ecf5b50af05a700df092a0e13ce08f16c854aee3ef06bc27fc61e6b03f79f3170eeb2bcce7e22d9728f SHA512 43317591747a18f52f683187e09adfe0e03573e6dac430bf3ba13f440cdb1c7bb1f9205369d5f3b2a0f3fdf9604d5ba1e6d94a899a25d2c533e453338578f351
 DIST system.security.cryptography.encoding.4.3.0.nupkg 144382 BLAKE2B 9f8e6a4ce5fe2a4de2be0c827e914a02a257011b508e97e289b9de4657b598fdbba4e64dcf23a29af6e4910af41e62f3b3f0d6a2156ab691e2e00ad76c6499ef SHA512 5c26add23e63542f37506f5fa1f72e8980f03743d529cd8e583d1054b8d8a579fb773fa035a00d9073db84db6be4f47cac340d1ebc6d23dd761dbdbd600075e0
 DIST system.security.cryptography.openssl.4.3.0.nupkg 71949 BLAKE2B ec1654bbd09e1244d260d1ddbefcbdeed207816a2719f3bb0f055a7a140d466f186667b1f202e0d1a3eda97f247d2c1776ad6f38f50de58960da5f0dfd2a2d08 SHA512 64530a19489730f873f8c68e6b245135ea260c02d68591880261768358d0145795132ba5ee877741822ff05dcd0c61edca27696ef99e8f9302a21cadf3b1329f
+DIST system.security.cryptography.pkcs.4.7.0.nupkg 1256766 BLAKE2B dd9cc730d4021a00a8e24291934abe7a68738c33459bf2656bf8a5cd342347de769e1af72b29826bb31d7a63503f900f0950bda451f090d85d5b19802f0f6d3f SHA512 f0ff06ff4cea14cbd6d53750376b2c4022c4e4a0c0f2b1519e7d1cb4cb5700d8384dd72be01e7321a76bb2c115b55871bff919b8b5c6d858d03923c6e527b9e3
 DIST system.security.cryptography.primitives.4.3.0.nupkg 81382 BLAKE2B 55bcbe3143e85d24f47c72ec5e1f0ad38a1f931932b3a8a03dc00028668fc085d070dfcded55654e09328a745b208b9f15928aaff1087d8906bad41d7cfb23e0 SHA512 5ad8273f998ebb9cca2f7bd03143d3f6d57b5d560657b26d6f4e78d038010fb30c379a23a27c08730f15c9b66f4ba565a06984ec246dfc79acf1a741b0dd4347
+DIST system.security.cryptography.protecteddata.4.7.0.nupkg 174838 BLAKE2B 4a72518cda8e0738648ee0951132b217031bf49a4223306bffd72451ea580a4e2e12f9729193e4c8e822545a4bd46c7d04868f9d1f211d9ad3b1a887b6c168b5 SHA512 a55ae6196de1e659228213282b1e5b640c8d8337281f914287960bb2057b14aa8e2efa623f789453beae9accbbc8cd6e88022bf9571667f0cd9cc329c2ce3e37
 DIST system.security.cryptography.protecteddata.6.0.0.nupkg 126768 BLAKE2B 3ec81101da96e2395944ce93506d8f23b0f82bceb95a08b784d3d7aed619bee7aea80dcf725babf9650931018ced7e49988ceaea571cea8ea2595b2556d3f070 SHA512 489b5dab0abfadfb8bc2d0437de83a1447918071949440e766db701c81c3518de6a38a3e0f699706b06d591ab5393c7bc0b2eaa81c15bff156339248e6c35730
 DIST system.security.cryptography.x509certificates.4.3.0.nupkg 706727 BLAKE2B 67c777394c982267c08dba232dd75aba6e924784d14388f7f8e347293c8f3a67ef9490a078b3f56f649a1ab352a4c924630f384850e3d5f1510dceae45fd0af1 SHA512 318d86ab5528e2b444ec3e4b9824c1be82bb93db513eab34b238e486f886c4d74310ed82c2110401fe5cd790e4d97f4a023a0b2d5c2e29952d3fd02e42734d00
+DIST system.security.cryptography.xml.4.7.0.nupkg 200623 BLAKE2B e389da9d8659c2138ff1affd72140dce2caccb40195957a82aa2ff402f0d7a5355ebb1c39a4c66a54b5354c9b34b0b60798965568ad282aa7539f16cc2d45561 SHA512 194399f64fe33164ef97033ad4103470a233d642421bab7026d49cbb382c97d47e58d4393ecb74141bc1866c0aca0e8e05ff394ca69b29df94f0d0727d23bd97
+DIST system.security.permissions.4.7.0.nupkg 540570 BLAKE2B 18eb652c1b5b8b4819cecc9074dfd388b95806a638c99c8d9b6bb1edf198573a2d2c52e27b2514053b780537bfc5b92ffcd85cf2d288f47a0685dbb40d3d2294 SHA512 9c86c3b424218d618d3028cd4e16e2b93140ee4e082d989a4b234941eb2822e5db9cd42165157e1de7a476482a94b947bc16ad9603888b3a926f63579733b684
 DIST system.security.permissions.6.0.0.nupkg 240029 BLAKE2B 3d213c22806d7ebed6e5c6de903b04610739d443deba18189b3322b68fa045b19c317ecda73fbab848bf9936f081443669bdf5aa6ad3c32680f5f1b108b12bb0 SHA512 d4f2172cc3b164f104fa2e3a330b62f2a15f50e050a91659db5728f28d4d5d6ca8660eec3a4f922090181a54bc1e9f6634ca49750398360727d1bc59db620278
 DIST system.security.principal.4.3.0.nupkg 94590 BLAKE2B c6fc5d6944a44b3ab125af5d59493aada6e8c73857311b8118adf197b9db3bf77fc8de9f320dcc0d55c6e529106b36307e14baab75766296bf804289de800a26 SHA512 db8a1ed0d189637d9ef83147550ce5da890cf6ec189a7d006ba9de86ab55679e7f025e18bdaed2dc137ddf82a7e6a0131fb4d54d4264831862b1d7c5ee62837e
 DIST system.security.principal.windows.4.3.0.nupkg 220931 BLAKE2B dcf84627ab57c5e72e0f1828b48c6e9bfa2ea2ead7b9c02bff03b9819f4057cb9d4a8821cfd0a98a381f2d7a2471df04041567de970f9d60557923e6e09317aa SHA512 66c1d5a9d649b964e1653fa2cd41d8f80515b7cd727fcd7f0890552070da1099ecd1032560f259a108e0d1d6a6da23fa07bc5c922f426a91f33b667f7c004019
 DIST system.security.principal.windows.4.6.0.nupkg 511112 BLAKE2B 72292a73d0def1363897dda18c79b86fb6a334d259ade9c664768f42ace6c52e012634996faee1fd3579e16dc557509612f55cfe79bab270cbeee1cfaed09b35 SHA512 bc5c54d73486b24876277a419855860c2374acd3a1be905bf3a4f38f5093896345d490ef3b7b246e7fbcec6db770e7fe7d65e8755fe78757d7958b80b32fec8d
+DIST system.security.principal.windows.4.7.0.nupkg 511086 BLAKE2B 11731c7ad320a4c58bbd78a5bc744acc58cf6860fdccf21c77a5edbbc4825dee7483fec004752dbfa77a6168de5833b458683f97beb096037e55a72f005babd6 SHA512 f30a16d34c8792db60b2240363a8b200cab28bc2c7441405cf19abf71dbf5fb0bf3bd1cbec4d9b5eb4cf73ec482e4505d08d80afdef00b2b4b3bb56d6d4cae96
 DIST system.text.encoding.4.0.11.nupkg 327286 BLAKE2B ec08fe2bfd3eaedc7a50d823ae424268d1f51f8816d9b3645b4210e10b8cf89e801f5f7d831a565e31cbf795952ee5a6a60a45d6432e0593727f0e0e213818ed SHA512 f974335143f36b318abf040ed535887f28089d749b1fa55056345df5243dfbd56d27b74c6e4d87a737fdbb8e699c5291bd25f1e5db4700bb00bf53330c7e3e9a
 DIST system.text.encoding.4.3.0.nupkg 327281 BLAKE2B e153609b257919932499a013337b8b2a4087ebff7e8ffe6854ad1c70fbd058aaabc4e974313dfb3cf1a9355b0ced87bd97cd39f6a4962b8a4a87003d3a66c53c SHA512 6ff7feec7313a7121f795ec7d376e4b8728c17294219fafdfd4ea078f9df1455b4685f0b3962c3810098e95d68594a8392c0b799d36ec8284cd6fcbd4cfe2c67
+DIST system.text.encoding.codepages.4.0.1.nupkg 1615060 BLAKE2B 158ad633b1dda45136413ecb49741d8f5c60217d4ccb8af0cbe49be5260298e44fa4f5d041677a2cbac0d521089869cfe1f6623fa1686bf84b0bd3a8fbf6e83c SHA512 da68445fffcffa0a8b8f2bdab880ec4cbe51dd66209ab455cf6f16166efdf31b47498e852f616b3b7ba0dd11209e05a2625cca6fb07fafa20a945cc501282026
 DIST system.text.encoding.codepages.4.5.1.nupkg 4234891 BLAKE2B d06be022d76a5793999248baa82db37adc262da2e74531d75f5f5e1a6c29b0ca702694b19c3254ab2e955f5b70959ff22f35d43593a2072af6ba5b7952155dc2 SHA512 12edddc9452a0c592eb24aeb2b9e152d60b8d44540349368e6fce3a239c6029847f8557adcd260df3b39c744ef45a6034d9db2fbce9e20e2b8dc78363578b0ef
 DIST system.text.encoding.extensions.4.0.11.nupkg 244203 BLAKE2B 957201548c8629ab5111cbbcae3518b7c07bef93ac972b557e4f9f729dfd2519ef4523d5f6ea23b22eb19f93a3b17dbf7f1b6bed105f89b9219d53d8ed1534f7 SHA512 b2ba1f2a96bf14466fb31e4ac1fad25e7032688357340ad8976b8aafe7cbe39c061835a4e17d7cf6ae291d3155f07d3371f6b65ffc1c15474c3c86dbb7735e82
 DIST system.text.encoding.extensions.4.3.0.nupkg 244195 BLAKE2B 9dc2fbf672e07c5302bbb8435e8c09bc91febb96f22b85b57b09b2046fca224c786f8710b634559de2722f3dbece7b30e6a3c6a78e98e77f955d550e440beb60 SHA512 e648c5dc781e35cf00c5cc8e7e42e815b963cf8fb788e8a817f9b53e318b2b42e2f7a556e9c3c64bf2f6a2fd4615f26ab4f0d4eb713a0151e71e0af3fe9c3eed
+DIST system.text.json.4.7.0.nupkg 398390 BLAKE2B a00b0bbc3aae8a8b292e3704b72794428724f1cf844dc9bfe8c2d29a8a9c9dc7b9c4b10a1e88aaf4cb559e53225d856d44925a149a8d8436d89765749c2c0441 SHA512 d6ad50bdc50a094b0e0d08cba8d708e77e974b11102b64e618bc8e324ef7288015f91b44ceddd845d974b138277c4a45aa27c32a4aeb0a918fa65929eb088e7c
+DIST system.text.json.5.0.2.nupkg 479580 BLAKE2B ba2c74f76ba8db91f43f24924e79f259714d1644c87b71c7b36f7192830210be4d65ad47b3b86593fd8da0b2d616053a797b2569b72a5ccd872604cbdc916d1a SHA512 3d32f887630b6ca12a67ff5313a484989a75b71221d068f360f42b5866df279b206cfae95f36fdb0ea177b7722779d730c113ed8a08b77de5eff4e0988daf44d
 DIST system.text.regularexpressions.4.1.0.nupkg 514882 BLAKE2B 864d70cdb65bf87b684561f98d2d5193e2d66015e4cd770ab823a6ba966b3813d75f0ed6aaec82012a3d5f66ef9be182e7773b4c3b94407ab10c9e5dcd9e9f2e SHA512 9b612027e43c33cc256e016e0b400547c5923e93ab6ed1a40d2b97292cb18a1195fa79aba2b0166a6b11842a0fef6685d31b848375daffdf6d2acf297af40bbe
 DIST system.text.regularexpressions.4.3.0.nupkg 530523 BLAKE2B fc77aa0a92658cfac1b3fc00b87fabbec1be5c79776b0b2680775615b273a5a49ff8d5000f97415b85fc0283ff95569ba9a5a72917828455646053033088b49b SHA512 80353c148df30d9a2c03ee10a624d91b64d7ccc3218cb966344cfa70657f0b59c867fed2ab94057f64ab281ad9318353f25c23375c00e1376b6589ae0a70aad3
 DIST system.threading.4.0.11.nupkg 708036 BLAKE2B 6b85f9c80dfddd5faa9799fdd64379c4c066b076596cd0008c46114b91025a20e00cb8b626b6fa5d139af6aeb8a3f6781ca7e55c4f7d147eae2f38e14d7a63c2 SHA512 05c0dd1bbcfcedb6fc6c5f311c41920a4775f8a28a61ca246b6c65ad8afd9b04881d3357880af000ac056fd121fc5c3ec0b56d6fd607e0c27e7a639157c85e3e
@@ -247,29 +321,42 @@ DIST system.threading.4.3.0.nupkg 708088 BLAKE2B 004d01762fad35a4607522d974a0cdc
 DIST system.threading.channels.4.7.1.nupkg 132386 BLAKE2B 7faf00c3af1b02878e2be6b30f79ab2e183cf9fd8acf5409b24a4b10450211396474ab2c30aad9803b39008029e68e30845656d30c0a208d022a744ce340c1fd SHA512 f401b7067893cb14056a343df6ca6bc96a00368466080b653399b6329afc1d2d5d27e4266e267fb76f8450fd87240142524926681351315f43713ba3f366aa25
 DIST system.threading.tasks.4.0.11.nupkg 840020 BLAKE2B ec5b6bbd3c912d3552922acd338611baa992dca6bf07b97b391e47b5b41ab718c373551dacffc7b4b67870287e93eb6e70ed184213e800fd9b424bf3e02cd8cb SHA512 fb66c496a5b4c88c5cb6e9d7b7d220e10f2fc0aed181420390f12f8d9986a1bd2829e9f1bf080bb6361cd8b8b4ffc9b622288dfa42124859e1be1e981b5cfa7b
 DIST system.threading.tasks.4.3.0.nupkg 840017 BLAKE2B 1cf4a8cc833da0a38304757db3808df5c217518c817d5807bf6f35393725a31223129fd1c4c964a36a60c65b686d24fc25d1777fa12ee622bddbb0f7c1772bec SHA512 7d488ff82cb20a3b3cef6380f2dae5ea9f7baa66bf75ad711aade1e3301b25993ccf2694e33c847ea5b9bdb90ff34c46fcd8a6ba7d6f95605ba0c124ed7c5d13
+DIST system.threading.tasks.dataflow.4.9.0.nupkg 384683 BLAKE2B 4f2f830178898584cf90adabdb2362ac5f86d4a5d9125904597bcc5898fa1096d7de5d15984e38d497f514dedea918d978bc43fee40dc76b3caf28953bf206f3 SHA512 2f2ac078cf0e9f5323fa8f4b3cfc19f2212fc83f033f397c47ed46baf8b33e5dc54a25530ffef2e103c333efa26eea8b4914a183ec98bcfbe7b844042076c667
 DIST system.threading.tasks.extensions.4.0.0.nupkg 49355 BLAKE2B 898f05110ec79e3518937d10df244782ae19e36a11228b427785f367e1974135836046a6a0445c87b206550c11fd23b6d22b0dd399992ae5ac20b3d5c3060056 SHA512 f294f1a4179f53d59f91f01a372cc7896bf8c322e9827299cb1aa3ae2b1f809e98034834f5ccd4cb3fa1c30735082d244fff6584dab6e8870ad409b55e8a4986
 DIST system.threading.tasks.extensions.4.3.0.nupkg 52499 BLAKE2B 3e6532ad1936859e2713e2e864831efe0af00a5ce561bd7f8723845bf285b8c15de00cb1fc246504f99599d183b400746cea987db883f0e61283db1fb2725a1e SHA512 2c33900ff7f544d6db31ad11b6baee1c9ecb40d5a54f51e5dd5bbbb37f4c50ee35ed481615cbf7c1da61a31ae3333c4454bfbeee4ae32241789e72ce3f910db6
 DIST system.threading.tasks.extensions.4.5.3.nupkg 87282 BLAKE2B 791552a498a86952a6e7e971616020c988ea7dd6dd60d89f3b3006c96e8885f264abf2a2504e68c13f69ce53fb525fc6846e7ab5eea2c15ae9a15777f6ca698a SHA512 10bb263e21c5aefba554ba6e9adcfcc31f9f3692f675665b58cf76b5a5bcc2133d56eedba94f422b30be9ad251edcfeba7ebc24a15ff4cb7838072e9bbb18470
+DIST system.threading.tasks.extensions.4.5.4.nupkg 89582 BLAKE2B 728fc5794745b706a7e3a7d05186f34e2a8c1837cafdc7fc9a1bd8fc6fd42025448cbdfa53415a05d872aa08db1deb31d104054630c9ac7ecd29a2ddd973fd5c SHA512 68052086e77d3c7198737a3da163d67740b7c44f93250c39659b3bf21b6547a9abf64cbf40481f5c78f24361af3aaf47d52d188b371554a0928a7f7665c1fc14
 DIST system.threading.threadpool.4.3.0.nupkg 89926 BLAKE2B ec4210a5862c0704b118e4055785c7094ff8c3586800fcae109fa60e77565d8288089c64bce105e9cab08f8bb107dca340e72ae1d39d19f6118538ed32f449d6 SHA512 450a40f94a48e9396979e764e494ad624d8333f3378b91ea69b23fc836df8f5c43bbd6c8cfd91da2ab95a476e1ff042338968e09b720447f2241c014bfc75159
 DIST system.threading.timer.4.3.0.nupkg 77054 BLAKE2B be1665b86776f2f7e780de889e363a3c10da581eaf9a414da5ae5d059564281d78691142281d31b48c47b9efc084f1826165763097273f77e58699742c8c93da SHA512 d5ce8e258b7be7be268f944e21621195948106f57e6c46e69b2887c46f567760368b14e84046b4be4466ecd08ecd4cb04016a2ff7948cb4640960befc7aa1739
+DIST system.windows.extensions.4.7.0.nupkg 96529 BLAKE2B eb5e3d2f4712b6c791d390de9517d5d435e1a6955966eb7472ba1c7faff12bd391ac4f23d02a6dc850a29a8d5d506f0a0fbbe1cd83d21863800aaa51b065752b SHA512 f7bc7cafc5f542a11457a27fdb96ab8a8c8d06851df6d8bc3ac40c2038abc71907feb64ad9ec27ca940d6e51b316f04d2dc3d24cf1b2b5173cde9e20b6aa0709
 DIST system.windows.extensions.6.0.0.nupkg 113560 BLAKE2B c1fb56b177368b49cb7a2bdd3307b70847ab70b5757c3e1923ea499afc8d43e14660a3e6330fa99e7e9e653d68563e93de96425d5f56a695ab478c4a8e3ac30c SHA512 f51eec8166f97b5fcea24816ec737c24d5c5a5cb145ef2d33277c9a16044f40bc3fb97b4cfe7f9a23af704ede91586c6abd2acf00b277538bb304d77a1ca54f0
 DIST system.xml.readerwriter.4.0.11.nupkg 1363068 BLAKE2B b151c0560022d796720ce342c6c47189d5cb5d292bdc62eb0439deb87b05e80d9c57cb38267a9e153e0d4513e8edf503d88926e9956eba118b5d00d488e2fc78 SHA512 d40d6e9d55e57acdf04132bcb8ae8abf1abb3483620cde969c78c6c393a9936abf742c1dcf66288e6e9dffcb399a880ee3c11540ac140cb32e20b41365aaf35e
 DIST system.xml.readerwriter.4.3.0.nupkg 1388897 BLAKE2B ae51b8fe4492dec1e4e3584d05b0f477fd4e75e79dddb46d8077ae5311245d6fc6213d0655025f25db56f1370cb0e88bd60a83dc937bb53db1db0262390281f2 SHA512 991101497fbd39e43fc306ca280a465318868afa8db1f34bb87c266fe61f0c81a0ec34a797b236ee823bd60d1149b7592def96fe044abb511858efffe890c2e6
 DIST system.xml.xdocument.4.0.11.nupkg 591353 BLAKE2B 8373fa19c6aafbe6e347db7bb1ec304dd8ce77df415acf0c3ee04ea2dcfce050f59d6e72cdeb14c4e54d29c1c07fc9eb0ef8045fb09830b48fb1a8e90dcb09a8 SHA512 f8ae902901963f2636f39c0652d82daa9df3fb3e3d5a60493c39f6cf01ed07c7d57f175a2d2895f4a872d4e92527e5131522218d1a67da2fd491e162273a8527
 DIST system.xml.xdocument.4.3.0.nupkg 591350 BLAKE2B 86f910cef36c056f4a9ea9dc26eea6e01070467d27ac80fb8a0af5e1a572ad5d2169e4f1297cd362fddc9e0309458dbd413fca85ef8e56f97781c218e594604a SHA512 c2d9236a696daf23a29b530b9aa510fb813041685a1bb9a95845a51e61d870a0615e988b150f5be0d0896ef94b123e97f96c8a43ee815cf5b9897593986b1113
+DIST system.xml.xmldocument.4.3.0.nupkg 285212 BLAKE2B 0d96ca356543e8e915597e0624dca42f0c7032a2ae9e380a6fba3fbee0dacb9e5f06017893b2b7a8b937dbb4de7d5665fa6648e3bf8df12e0d34e4075c125109 SHA512 22251b3f16de9aa06e091b24baea1b8c95752f0d22266faf34e1fb76b347b23f7910cdaf567058e23d06b7079961090ca70805070a2491add5da4d0271afd133
 DIST tomlyn.0.16.2.nupkg 146842 BLAKE2B 5292d6abae6eb514d6a0cf7b69e9ab47599fc1540c83a9861985293267c8137f856a1ec573d7f3b327c9a383905de4572f54d03c889951227549cc1bb8979f78 SHA512 69a4f67cd9a9cf593f79fd8cc0530a030a24a9a04e5b67ba39460668e5125d6859f54f3a3d485ec1e8d0be996f14ef14fb9e380e63c6e648bd1141dc31c58141
 DIST validation.2.4.18.nupkg 90984 BLAKE2B 3f319bd60a0b1d6b6d08188b1132c01fd417d7e205bc587edd7ffa0dfba4dc01b9e956df46ef03b0f909ff5b9a859a9620d1ededd8eef21fb6522aab2f12f1f2 SHA512 b49e4b992b40bb656821a7a6dd67fe464af14f0781cf677f58412d108678963f9f9347bd2e1091343c1aa522148ea187a25b45ef0eae5e7ffeb8f833396fcff2
+DIST xunit.2.4.1.nupkg 20733 BLAKE2B ee83156610dc4ade1f15c05d97725e1913a9dde04e474c11fe396c37df5d438ab934776e4660d3d139fe34949eb890dae67c0145d3815a8a25cc976b9d2cca7b SHA512 3b0061a5ecfd49166f123aa27375956c00aedb0b22f6ee6a8be629cd583a0532f7476e51ffacad3385245139f1f9d4990c9dc850fc7ef7d097fd85e7c6b40058
 DIST xunit.2.4.2.nupkg 25547 BLAKE2B bc9bc5049e9feaa9b658ff11ad3ed277c43089b5c341768425d401b98f5ca212d3f3828232a58716f7ea75e39007fb8ee04498208afed60d28e91ecfff31f1d6 SHA512 f57b8d3bbd04cc285c7913b5697a1b00cf0d6f2c70e35a592d61c8c866d79f3f6a913fa933b39224484bba439e6eee0ab917bf66cd19cbcb1dc3731437556c48
 DIST xunit.abstractions.2.0.2.nupkg 75852 BLAKE2B 13a214201e5756c0a3eddb7e93a91a19c828bee293e9dffea514bb7bd3f10e823c5489155707b17f58c23ddd24aa987eac0858632c5a55dcf84bdb44c5546a7a SHA512 957d3a0c6d048f30ba53e4155424e16838c6047324f6a6289a7128b4aee8c6382f5b78f1156e201164af45edbf1a5c818c8d08086076d55826bd2e4be4c33a5a
 DIST xunit.abstractions.2.0.3.nupkg 75155 BLAKE2B 8cfecf557dbe20e0e14b1d8b413acd7516b6538cb543a12708910311fa76b7dcd9d060c7be70a05b0af5ef3b8bd5f819104025afe9796e240c28fcae1c7460c1 SHA512 3ca26b8b97f4a8440f16f818e82651f571bc2513a5592742fd960b9240d0b880fef84827fb25a307e61fe7b019f14e864653fbcf7dee0d0e3faf90593deaf624
+DIST xunit.analyzers.0.10.0.nupkg 107050 BLAKE2B 2e79dab696767d34536ee6ba08fba2e4113b3e41073d1f07757113f0ce24766e8cbe801f06f3abe58eb46399fbe28ece6908a364b73023948450adc81a0f016d SHA512 530e84aa43a6b74232b2d52dce453853c8b1084cfea62aa0733ca83d3d344703c3b161ed5b0cde763b014134ba3f5876faec0317ac3952962de7f49213b79ec5
 DIST xunit.analyzers.1.0.0.nupkg 146928 BLAKE2B 942ce8bbd0ec670211e59c53f7128491917ff8d3343eaffe27a910179852f388ab92594a733ed5875516bd0821a73c87aa8da68518aaf5ce35212f4e6f740ccc SHA512 d3a58d37646082414d0954088d285068aef43c7992bdbdeccbb4f84e5850dbaafccd3275468031b51041a7a1a82a990a86e4fdeb5169684b878fd169b7fbbf73
+DIST xunit.assert.2.4.1.nupkg 67341 BLAKE2B a7f697049d3c24076857e4bec56afb43bace649c10a0731425b6e6652509b3ae5cd45e855230a6669322023d5c82a3e3a5d23f7db6058f286ac6e95b0eef23c4 SHA512 c5680265048178cf42ec093e56ecc6b10afb2b93832d5b172b7836b030f7f3fdcb8e89b621b5893ee746f3e22cb2982f7e91a1d20f4e7b9bcb73c53e8b38e279
 DIST xunit.assert.2.4.2.nupkg 93738 BLAKE2B 90e40be8ced67f45d68ef7e005e512120eb874bf28484927c7ed1ceda1ed7ce4e473f1081471dfeba398bbb44bd70b56bbdb0f366af8299f6a7efbf4433dc127 SHA512 ad6e6a723156d85bdc2cf58ca3e3bdca9632def2a231bda31e68358585434462e1f04675cd3801354074562880393645facfab40e50fa21112089275215bac4e
+DIST xunit.assertmessages.2.4.0.nupkg 32921 BLAKE2B 776290baae438a366f6f9fa5f324aa23bdc03544233b26683943a4f92ccff631fc22bee74603cb3d7c3a4767e4d5077ff2a4e9991afe1355727c2e089b3cff59 SHA512 316ae44cf16b444f02948a4098f8bd428c98c1128950e17aefeda3e3ca90fae9460c06a3a0b5043071e98faa3e0118679bb7352090db5b97f695e41b36b4d48c
+DIST xunit.core.2.4.1.nupkg 22659 BLAKE2B f810cae28847f7f6bc1dc5866c2526cc496f8f48f774545050d9ac41324fc42acd6a9204b0b0cf0836dacee3eb5a4246f21cebda074437cf59f4562588a5ee87 SHA512 f2d68c940432f6a43b4db8aaaf64c0c06914f97d2c72443ef7a8fb47d397fd4b758261c46b841822b23c735e63de22938f75f3c90315a219133166bcd0145feb
 DIST xunit.core.2.4.2.nupkg 27470 BLAKE2B fbadd7d1f585d7bff46e26d5b3c8ac578852beaaded11b5b7436528d43bbd4f9706713e9b21d42ba525459169be16e64a410a4f2c14d665eb065d1f7fd718597 SHA512 d83b2d0ab6f662dd9280b2fb2e3627f00e23c6968441cb371c1a4eca48e1a73115130796a87321f911e5e4597e4c6fce9a806a1cebbebecfcbda08001110c737
 DIST xunit.extensibility.core.2.4.0.nupkg 278959 BLAKE2B 58457d747683eabf4fc8aadeda9918297bb2113bfeb5aea97b858f77ee66540aa88cc36d6eff08ea70e947e5e94bd7b4f10a111e39b7e953f6471d93979ddb55 SHA512 4d3c560932a8b0785fbc7d7de47e8d848bf8d265d9a5a88153904822378c1c378a4f776bce00b8dfa1c7e1314728cf6135518c9d81b87fe8d48c4b6020bd03ef
+DIST xunit.extensibility.core.2.4.1.nupkg 238957 BLAKE2B ba1d6a3ba13da385fad20d09b7ca0bbe1c32d7ada1a4932e3e2100fbb8c049b9abfb15a2a8064022f7367ad0b804e9c5a6af9986155c7e31fed922061d51acd6 SHA512 aa477119fc5db00bab105b2bf33e8b7e805155be1571b7b2935c05f8c46b39baeec0eb65ecefa28505041d7f1f9d99e5505b18ea447ef6d7307a898bb28711d4
 DIST xunit.extensibility.core.2.4.2.nupkg 277418 BLAKE2B 17b4832e1394fd8ed822f7050b7d50ac3a7c3619f1e7e82796ef96426555a402c34064118a5f30ed3d49615ef4f344337711de9172a60b5fa5bc0cad12ed8189 SHA512 c8376e94345e381336dece119caaff3d18fd34743413a7fb54d4589e4c0c2119cc5a9b580c6858e1caa3f098a6888db6c4bd418be3d7f0def8d0a188a4d16ebf
 DIST xunit.extensibility.execution.2.4.0.nupkg 481651 BLAKE2B 8cd2bef58356196059e1236080186774af4f71d384533e01e16c33521628e9993fc2b5f3b0f35e68ee4b45690183df2c3bc2681689eb47c73b79d3a9ccdcbcc4 SHA512 adc865d290201f1dbdd5bbe678ed880f9dd39da42ad3a90db09dda95a0448a7bf3cf23ad92f9a8c463ecd408042e383d4914d394eba10077494d325ed0ddb361
+DIST xunit.extensibility.execution.2.4.1.nupkg 328138 BLAKE2B 963aae4c76cbb5d7d36fae036f5c6a50643588019639d358295d2298e2dbcf1890da459dc69db9b0eade5a7d779b5e13f2762e1e9b2b96c8ec00979491a5dc7f SHA512 81cf13c553dec37f87cbaa894ecef42478abb52b79932dfcd20c42f1017e56658eb3a11d586968f719b7511926fa03db13dae85557e7af0e40baa14daf8479d9
 DIST xunit.extensibility.execution.2.4.2.nupkg 353652 BLAKE2B f10e20d43b8030f51c9598afe247f46c0630fff6ad5e1cb82105182cac11b410c0c41c19fd513c5a3a59183ca45e1046af3289d670e0329a424ed7cb4a81735a SHA512 e654fcf8767427d5370746cab7f2078fddaf2239c9b312114bd68f1d91f739acef8586697e44c41442ace3a3d140591bd8ddeae81b3079f6719b3740757cc90d
 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
 MISC metadata.xml 1884 BLAKE2B e3a53cfd90a4edf1d9fd9f567ac3c23fd88cc46602cfe6aea31ddc40585ebc89ab82833dcd21c82083671a54454d62f162f45d56d6b0ec9c202148b3d5ea2c6d SHA512 4cffb9c237ed85097ce1496a72f5aa9c5a0f5758402fe66ff745a3b1dbc3f8d9a40fecc9140ee1b9418f09b62794f7e0a47f908e6ba01b370087d4df62bfa46e
diff --git a/dev-lang/dafny/dafny-4.3.0.ebuild b/dev-lang/dafny/dafny-4.3.0.ebuild
new file mode 100644
index 000000000000..1e7294b7512d
--- /dev/null
+++ b/dev-lang/dafny/dafny-4.3.0.ebuild
@@ -0,0 +1,605 @@
+# 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.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.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"
+)
+
+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 "/^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
+}