[gentoo-commits] repo/gentoo:master commit in: dev-lang/dafny/, dev-lang/dafny/files/

[Maciej Barć]

commit:     a107e2a347e9885db57ba8b8f7defa506506d620
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Aug 26 12:24:33 2025 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Aug 26 13:14:33 2025 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a107e2a3

dev-lang/dafny: bump to 4.11.0

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 dev-lang/dafny/Manifest                            |  68 +++
 dev-lang/dafny/dafny-4.11.0.ebuild                 | 679 +++++++++++++++++++++
 dev-lang/dafny/files/dafny-4.11.0-lit-config.patch |  19 +
 3 files changed, 766 insertions(+)

diff --git a/dev-lang/dafny/Manifest b/dev-lang/dafny/Manifest
index 88109c1c7f3c..96e845cc6ef7 100644
--- a/dev-lang/dafny/Manifest
+++ b/dev-lang/dafny/Manifest
@@ -1,45 +1,73 @@
 DIST bignumber.js-9.1.2.tgz 79226 BLAKE2B 
3d2ff19d73a6fcfbcc0d03d1e9808796baae639e19973cbe0c26af4b514abc299129b8a7bc3e4e803c61af44b76f4381b1965d8fa331ea43e8a4c8fc7f98d8e7
 SHA512 
dbf98ac991fd2bce5bcce11f8570c11594c6775093b3ee481e9785428f65ba2046ee1821742f39d4f8f658085be84dd1e9bf6d663fd72a16e0e1fba6f8a7a9ba
 DIST boogie.abstractinterpretation.3.4.3.nupkg 31135 BLAKE2B 
0b3fe4c563d5ed8a0b7444947cb3327512ebd706cbe0021311c0bb9d2c683b7595c69c171f682db1a3ac6fb9b9b80f1f5ab8f0f07767cf18daa02af4dd5e6d1a
 SHA512 
21fe59b62d0dadcb97c5521d4d2a0fa5d35527bd8e6de465460510ca928126eb7bc603d139b8b1811aca4dcc4f613a766d2974f3e4e184975be57c41195f7f1a
+DIST boogie.abstractinterpretation.3.5.5.nupkg 31459 BLAKE2B 
45626de6c0cf9ba83885a1c1c29d353eb83475e506799c06458e5b5b245d2de0d2341b5f89c51df1747095cf5b7377989a51113cafca1c0bf42a4284c078967c
 SHA512 
63af00cf28dbc3bb883e183d12655e293dcbe95b050a80a731b1b3e543e2efaafc764938adbac38ca5f8db4361a7a36cbb4cf42e1fe700d99a51c2e2fccec401
 DIST boogie.basetypes.3.4.3.nupkg 27120 BLAKE2B 
144fe9a6ac68d61c3f63d48acc285d4dd6aaf9d9b9b73750c9f7ede03ff5f803ba1dd591ac8b0073d17ef8b695eaa5ac3bb184f698421ba64966da924b368f7e
 SHA512 
2d786ce09e7c2d43cb9dd3032a9d1779a673b8a8409ef6b902a3ccb1de16cf29436022dc8c21fa45317ebd91ab1908fe97c18f623625d4f6c229df0a07ea1537
+DIST boogie.basetypes.3.5.5.nupkg 31308 BLAKE2B 
b921c332315dbc762d431e8fe7f8e056231be39b3178a2ba4ac1e29bc72a3546d824d185e253fe0c9f60b65957d6f5068461965d1d26477576b73c895c5cec7c
 SHA512 
9694a726f4076b67f74710967bf040d8d0756bb29a34db1d837e05b8b560d987178656f2066bd28e80432a38349b7c3e5d89c080d677d8b4bdc48245d6e6f945
 DIST boogie.codecontractsextender.3.4.3.nupkg 18861 BLAKE2B 
aa98c0db5bcd7cc297c4a24b61625a53b6717bddecd572ddd3f5e1d896875777251f5b616e638f079f564f31f0fced60a27f6dc421c01c1d96f13688eb982bb7
 SHA512 
8bf33abffab4e261e9371a2568c1ee507a6bf66599758d19d43587f07554151cd21df7d7e94a22f5de4606e362bc00651de9176c1a521d0628e111b6a34af15d
+DIST boogie.codecontractsextender.3.5.5.nupkg 18983 BLAKE2B 
e92ca5cc5796190979fb9844bcf67148db5aa72369631787794113061b76b3e483df595ada163c4513145ee89b2440793610638405feb3479ca8448bb73c8fd9
 SHA512 
2be9c226f41fc2b554cb4fa4a1d7e99510289b9d8f6b0e29afdbd05d7122eff7c1392e0096839972444c50bd970caf20eaf7d340323615cad5cba3e56ffbf8b1
 DIST boogie.concurrency.3.4.3.nupkg 98576 BLAKE2B 
147465410b943e30b78c225c03cc66cfb9210f12d1b84b556556d929cd3cb4770bb10a785dccd5e207c2f34275130d8dc4ca7c623ea8daac7437fb310f86f544
 SHA512 
ae7e4d58f5d7e83e8ef3ca8f18a3a3e78d968bf016ba7fcbc4d84ae1115619850e44333ccdf8570fc5e7f0a88ba44c83f1e2734b2b6a7cb666ec1f3cd7cdd013
+DIST boogie.concurrency.3.5.5.nupkg 96225 BLAKE2B 
62c49c599e2b0fb697b18c269124e0cee6ba81952d51059bdab9e7d82a279776423efbd58f73d24f23e97ecda4b39c2fa59c98eed50e5bb275d3bb5826e0d584
 SHA512 
b8edf7865598dfb0d3ddf5e74b95442a4bcf2bd293fd810bed80bb999d932766d1a5f8a2822920a2552faf3030def5e4397cf0ef9a31f5bc04e6e32d7f07e06e
 DIST boogie.core.3.4.3.nupkg 214428 BLAKE2B 
7f3d065003e57a30b6da55ce51fb304e2a14f0373e20cd0077d8d73e12ec538a77cc8b7be1c14ca3bb9ad71dc5229dc905d5a8778069b78d47b7705aab1339f0
 SHA512 
3ac10bf1064d87c12d7b2999f7d63575f732fe7807607944c604e7f9f69eb2c132719250690e7c251280c75a4dba7d8e98cdcc45dcbc3f53fd70b8365345c48b
+DIST boogie.core.3.5.5.nupkg 218509 BLAKE2B 
4a4ee072ddcfd039d433bc82dffc30e932a67a66df7bba26313b2d0f48a3acf229358a77a001af04d0f3aac8dd189d474685df7d8ade453f43d8fc5a7233706d
 SHA512 
adf5deba2992859c16c5bbad3427f2714cdb56d29b6bc3be0938df46c070b5facb564080ab884cd84387a1fc16eaca56d2b33301fc0acc88de83b898588e5fe1
 DIST boogie.executionengine.3.4.3.nupkg 90146 BLAKE2B 
12724dea04588a0106999487fb9bf98dc966b8f649e34a383e0658e0964f6253febd60d5195c86cb5dbb337c76a1ed454f32b3fdac6077fab3fba732f165dddd
 SHA512 
3a9da2ea5a505144bf8555c6f1a7b894edb93db560aa1e7d80679010c7cff7beede0fccca2343262e11b3c52ce52ffa39505f5747999f7614474636a95c46208
+DIST boogie.executionengine.3.5.5.nupkg 93049 BLAKE2B 
3f24daa92780a379fa41afaf277747daa0f83ca2d23dbb11b5ccce4cff699a6b4897abe6047455a2e96df76b89cb4381cb2e5eb45cf8b857d14c91275fe5a73f
 SHA512 
2964a500d50486a45f8efc3164440371ba8f0b7c65cf021c6b046eaedba1c5914aa4b6e06fa05552841ef996b8e493806ce23a856ed8a546c9eabc2c7fc3c8c9
 DIST boogie.graph.3.4.3.nupkg 29607 BLAKE2B 
b375804b0d6def226cab4d5ca87afa31caba7ef3f60d382d3c375de110a426c1a01fe537325438beb89b1d17b2f5533d8435f43c3a441464478e6efc8c8f7759
 SHA512 
8787096d4554c5285311a60d71f87cfb8ccd1c86a9675d250c0d2ab4a69d3c9aa27935fb8c49e3816594c3aabde951b608ea1e4948fbcdcde7317c801ae1f4f8
+DIST boogie.graph.3.5.5.nupkg 29993 BLAKE2B 
db203f5612ce2b96973bb499a82eb1d9c1cf5e973aa2a0f111044f962b1abdc7deb7f3add67bcc1bf7bea3db03310d6fb16f3d5e9e019733450b5f3c568a6eab
 SHA512 
5a00d17501fc35a38d518ad97fcc0245aa849619cba71f1d90303d29f62bec10655ba33e2163315b1fe1122784498c7551acb5deb95c443beef5eb743102fcd3
 DIST boogie.houdini.3.4.3.nupkg 54199 BLAKE2B 
045b91ca0da442ec02371b93e49223839cce7a7e2e8c025fc6cd9db879d6b7698e018fded06b14c05046039b3108eb177687adf6ad85bd57d2ec770bb555076a
 SHA512 
cce91498a68fe529a473c9a015b77f0671f0e29f91400b87744615223425d8f1e1e8e801fa196a6d97546c88b9676c6fe89602b155832271fcbc5206bf84b5a5
+DIST boogie.houdini.3.5.5.nupkg 54851 BLAKE2B 
cbdd22e773aade4f835a075be49fbdf853b59da8cfd09e38b13712a86cbe59cef57e09ef3d8d2b9c480917d45409ef2c1827ea85f6a15d42ccfa30050f22f532
 SHA512 
2b0dc92acb1520723a5ffabc7d9002b0db0df90167a2c89d21e723e5a2f0b40b9f9bdf03cd462272eb10c4f6f78b355acec0200a928939c660bb2abc8dd71bcb
 DIST boogie.model.3.4.3.nupkg 28305 BLAKE2B 
ffe3ac5ee542734a88a83d9c9f790c1b5b06fe1b543a1e37604990dca05abc7b49afb9c225295eb6f8d9c04c6b21d8e0d189e6a6588df6a33b49f4e52207a4a1
 SHA512 
d2861ed2c178654900b244f60922c811c70d45a1037802b1a78efbad1f9a56996310e3ddf9136833cd05249ea4bdfdeb580cc7e2689fb39bbd8384256389a602
+DIST boogie.model.3.5.5.nupkg 29011 BLAKE2B 
69eabd89968c6364bfc50edbe7e9b5482e4748f49c1aa563ea97309c9b82f8e6cdfa39c18140661be08b4add46a47c744a7a86ba7cc33fea2624d6c257aa4e2e
 SHA512 
470c285c1ac72955b730e5eaf94c21845d1fc2541bedaf113745d7271a912be6d0bd15cf362efa572637cf6ea3c0090c54d2b269d188f9eca74862a13b53a730
 DIST boogie.provers.leanauto.3.4.3.nupkg 30433 BLAKE2B 
5c05545c1d5f7b04615b16b9f3444f2f58c66fe5d4663e47d4b9ced595bbef3293cde0cc1f802919a07395ab61d707366935636f09bff55b032385e050c1c9b1
 SHA512 
044b98b881b8f5f284c4564917765cfb7fb39f36804d64589e2c32461e9c137b38fd064596bddca8a994cfd15c4ee88753eb21908ff6f935a4de0a245d53706d
+DIST boogie.provers.leanauto.3.5.5.nupkg 30689 BLAKE2B 
effeb6760cdc9be787923a8b19ccf4f733b8719b85b8e8fdfd232ce381e4557d3ecb3a7a78648693c1b37082b52082f4a341c5b0250bb22293f82be642602888
 SHA512 
2600b2953e7491e457da8d0ba749a9fdb37ef6ddf7fb5e1a8710f5cff7dfe1eb4a7b7c7d282487e50d3731068ebc91887f49a837949859ef002986c163e42fc7
 DIST boogie.provers.smtlib.3.4.3.nupkg 72109 BLAKE2B 
1663597cf476f814c974b87672680cf7ed99325e365c58333850a30ca63a04022b3fbc2942d2059d5324068df55b3611bd9607590e10e0fa90a983a495a860d3
 SHA512 
0fa18ff4f74a66a69d3663147b810d4cc3141114be2a28d691661813c5406538c64b06fa44730935b5fb05c3bd4624bbdf2fc3da38638c537aa3a0acdc8ec07c
+DIST boogie.provers.smtlib.3.5.5.nupkg 73403 BLAKE2B 
6c84aa7ea80f22ed78fa3d0ac0734477e2581417259aaffc05b16c8bb271108b80ddfc330b45f3537148467ea9ece8bfe9903f6202758c25a5ae05d14b5f43aa
 SHA512 
2452498bd63b1d4001718da70145d26782674dd7d7ba709df2178eb9f5ad8fd60bfbe6b8b7b716265f12a3105612fbae33c5bc741c0216387fe1fdaa88efe90d
 DIST boogie.vcexpr.3.4.3.nupkg 75362 BLAKE2B 
16872c42da80ab0f6ff93fc78de7f00b3fc7e8525ec1e819eb04ec48f18f716dd21148621e99cc2c8ab6619f8800f07ceb30e756d8caa4a61d0c4aadf602220b
 SHA512 
7da6f700b76c9555fe71ccf1f7381508eb4aaf7beffb06925c8c1aafe351acbe2ef4682281aa0e290b3022dab7d78e9f343f06700272df69965ac2b42e931292
+DIST boogie.vcexpr.3.5.5.nupkg 76011 BLAKE2B 
ebfcb188c20858d17689cdeb71b79ff871cb7d39cf3ef18436f14b0c140a8c6c0dd163d28a80117890da105b97d945b6ea95f41e9de5777c31ff6b209efc72bd
 SHA512 
e58ea71f69fc9fab4634177cbae428a49794d1e74f7bf037a77004717867c829cfdbd8c3b198e896c82872a348f97af4380afe10e20b455535b4ea798ce5ba5d
 DIST boogie.vcgeneration.3.4.3.nupkg 102975 BLAKE2B 
d200353250199b2b2463ce96f7a45fedbb1e8989c2d888745405dba7fd5994db0583c95ccd1661c7b3a5d3a7dd3f97f0a1f40ca3d7bbe4a6eccd5f5d6e6d1b94
 SHA512 
dd1d474da2673d04d6b984e2cd2432af57ad987f7ec9b918504dfcac148f423a7e5c87a2b18b2bfa84cf151f7f34f9f10dcf3912cfd37ce17abedfb9c1ac7cb7
+DIST boogie.vcgeneration.3.5.5.nupkg 103970 BLAKE2B 
d0d58d4ebf7ce968884a16e2293502df3612129c2ca73041ca29a789f8a390d128cd07c77d8c4e594c63e7508d2dd2f129108d28e457148ed8722553cb4767e5
 SHA512 
6ca204f0ad81f7f6e823d0b786656c405f09cacdbffb89e1b054359b0ef08f88197297ce7560132daba59e062d685a6cf1794f1af7f4e463566f58991cc2b8ef
 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.10.0.tar.gz 6815686 BLAKE2B 
e6054cd38cbc4edcdb2e6848efd6f09df6b5be7abb22bd9e47d35c71a6d046aee4a10bdefe840d883151b66b4d8075053ba14b5f038d7b1b8104bf40ccc56791
 SHA512 
fcd3499e4a626db638d2cb1d9c3ed221b559d339171f316c937298ed4c916ddf548ec3a0168b85fbb442e51406040b084799f9770b85c5b836d925568e272cad
+DIST dafny-4.11.0.gh.tar.gz 7028097 BLAKE2B 
75acb2b14d20150eb1d976c55c1572f59776a6f09c29656f638833576b49ee5b7924f4ebee5f47d6acc8b773dbbe8531e1e134ec9d89c27c99d0eb1510689459
 SHA512 
14fa9ec4ead779bee748e42d7246f8505a22bd0dac6313c0450291cf38dfdf28c35c672708dc7a608bd884d5e80fd33ba8ed11acd04396230e5da83c7d7a5be4
 DIST diffplex.1.7.0.nupkg 69699 BLAKE2B 
9c7d6eab09e7df1d791183bbfc4cc46b7bea8dd4b5d09fd3e7e3dc1734e6a8973f92a34387e1a2a0e3a4cbf11ffb89f8138844b2b46d2e94010932ed47158911
 SHA512 
a0f7a30c59889d71eba97db9bda2efbf1b458ca439d129b52ba3eae32626325e73ec13d46018603a81a33cf18a25a5b08a1b2e6a89c7e716faa47eb9db6d6474
+DIST humanizer.core.2.14.1.nupkg 538179 BLAKE2B 
c3e3c3c7d3fb3484dc85f5eaf25ff4f4428cd36b3458c5664fa7c29cb62ea291aded48a369823459d684ff79ce63a16650dcd37e8cd123c23ab943faea92cfd7
 SHA512 
cb3a8653f1ca34b67d52fafa92f49cdf0615fd2e4efc8be4948516e5617b32e8af18b63cc12e486672cf92dec3d4a5bc12dd849e5d08dcbce0daf196336e17b3
 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.bcl.asyncinterfaces.8.0.0.nupkg 99740 BLAKE2B 
010d05e4adb8b42dd2e4464063b4601750ee30e377a1aec3e1f9b833d4c599b3e3e01832779fd52a56c77572175df2f8bc3d08c134d99f62f58767a588b8ad13
 SHA512 
79cb0773d94465924cee4e471d90353d5d8df842c46ab2c572cb15d9b9fb5d0209a1a88d64392995335c5fe54a00d7c3194440b84c95142711bbb685cb5e9552
+DIST microsoft.bcl.cryptography.9.0.0.nupkg 231614 BLAKE2B 
fb28e545ce585ed03289aa40e0b0754190235d4e5c20973d1258c2faed8ee1378eb943ea1e531656b791d2e2a7ed7557874fd3eccfc319d6e72fe74fb05f23a2
 SHA512 
3d76e5a10810b6fc34b630205f51378a0640f869465c74b67cd2513d904bd98a858d631cd0575d3e7e2d7916c476e8b6dcf1e4d99b9b7ce143444a3d4b45ec99
 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.framework.17.14.7.nupkg 1193623 BLAKE2B 
3d64c4f30c5996c2efc996c737633316d0928681165c21940ce14d045b3af78f4d2d52afd5b76671840cbf7be95998adc1172066e3174ca519173dd33f230ee3
 SHA512 
f6c52ec63fa17c4c58f91cc9ffc2e624023f9cc2c02df6f07565b55657e5eda5d1893765e63960fb0694fd9413c07f2337f9cc7b04e15140f207e9bb32040b45
 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.tasks.core.17.14.7.nupkg 2388636 BLAKE2B 
1bb619415a38508db317f9210a032b8a45e2556661d18623020403eec55e0614bd0475114413a1503f06c5094769f80fa7f797d09e41bb497a1e043a712f349f
 SHA512 
3305a76baf9d836f6fc0ca24e23f171d5412556c0bce682d8f0f9f563ed846758fb38b27ae0fd81efc183c41d8535e07900edc2b9e811df85227bcd2a92686c4
 DIST microsoft.build.utilities.core.17.0.0.nupkg 582099 BLAKE2B 
0bdde1ccdfd62c043eec61c47fa73d085ff39241f7bd1a5ac0bc02b8b5ad0b6fcc2cb91d9aa30b86d390a624a27b4458960b28e2c429c6262eefd12f1bc9727e
 SHA512 
3b9ed3ab36f6fb7107d22a2ec208763689cdc02e5123e967f65b1fcb8ef45b7e09de0f16d1a224dd4c0017c14f59d57f31e21f5a8dd225924fec9e6f548a9057
+DIST microsoft.build.utilities.core.17.14.7.nupkg 925863 BLAKE2B 
760f5b3b43ecebc951c07dc6a9a3d448791d08439c81dd0d0440f93aee0941dd3a9cc62c3995c9c3968a38ff6c967ed86b0b77c559e9340be0843f6c78270b90
 SHA512 
57730320c356ac8da09fffa142e5445fdfb0b114911b2817413f1f102f7d6e97d73826c0273d6c8e7f810579edbef9d18bd5a2b44a29bcd8bd7bbe9bbef3d5a7
 DIST microsoft.codeanalysis.4.0.1.nupkg 28566 BLAKE2B 
a599779e9b306d99c97bff6858811394dffda0e02bbea10ad861b254cfc7d89011fa586503be6d81b677fa4b7f0db0467b3952c54cf00527720e510cd25271fd
 SHA512 
039f31cfb139dd2d2d0993682628b808429036976c939d6f493b6a9d9b2094d0780024ebb9a37494220e3850ccaddb1b99c343cc683a9ee954df36f07c488c16
+DIST microsoft.codeanalysis.4.12.0.nupkg 31551 BLAKE2B 
a394b0452a4ad204890b86eb1b39bebe88ccf55a0fe220d96381f9d0bfc990695f605d9d42cfe38a76a7e582bb3a1b95411de9bfabd2a0102f195ad5782d4891
 SHA512 
b1a1921bcea2acd6f9317d3fee3d0bc764f48d2190baa6ba425a2104705c4f339b3f232e9d0648b885955e51222b072b704426e2bb5483fe455b8decd1da87ed
 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.analyzers.3.3.4.nupkg 1461577 BLAKE2B 
43f2f6df0bfded6ad334f5be4627657f1d013b73a13eeef28c5da5c134f43c1880313711a7dfa577b4dea5ced0df6df6acc4236fc8371c1f7288b96cb34997d9
 SHA512 
23e462c3affa5a33480b276888da438cdfc618feeee17b0be95b08f651bf3a316e7c7ddf96f484cbf7f1361183546c195b0abfe41967a97f8b1f676685e68f7e
 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.common.4.12.0.nupkg 7120597 BLAKE2B 
5cea3a88ce8e78c3458c32853c1df85d358e455df95a28582180b1c51819194cc2e6a71dd4d2a05866947d1a765211a89a07f298eb30756d2760df9df089195b
 SHA512 
f37b183c5d127a456179c0290855ec2c2b102fda85cc097989e084a956fc528d3c9d5df8603ddc7eaec52efe849219c0c0f6cfee4cb5f6c00412a60b0d4af158
 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.4.12.0.nupkg 16985075 BLAKE2B 
a7efeb585437894309e2b95fd56b1716c52ca4d385413b4c48db7c553faa8d2227b0466cd4e187665b9787a28cb41a36c867f18553f172fb031166006b8398b8
 SHA512 
0db6ffb5ac458a597dffed87449b9f5d6dee740b49690c37f8bcdb5930f2631ed9d361d5754e7274c5d74ea83994581298b0cd05ef81f2346e236798c3c38138
 DIST microsoft.codeanalysis.csharp.workspaces.4.0.1.nupkg 1244920 BLAKE2B 
bb7bea26b6a3ae009e8dc936e505a6ad0fc773eb19418194365bd30eda5e1eb365abf34eed4d53be5d542c388e94add01388b0c896bdc69d0d7a359d73c5517f
 SHA512 
41acc42d60587bc7e1288864429b90b8fa6eb655519f8267df2c05e78e5d30e349442849fa09113ee926b7b9f87abbaf94eedd7e9bf4f12dce13ef22190789b8
+DIST microsoft.codeanalysis.csharp.workspaces.4.12.0.nupkg 1998263 BLAKE2B 
903309c4a41df6ded62a8097b901b840ea91a46fec612f65274578a71d08f583d2e3a6fab153ea27be83acd5a4c1f3e0af1dc10edde39ef851da232eaee8ffc0
 SHA512 
63016a0c060726b7f4d85c8653c9d09da58daf2657b83574afca558168d1b710050d67da539099c6f53fe0db12e864a712c5a9e96fdee3d40c1ec0d74c95bf28
 DIST microsoft.codeanalysis.visualbasic.4.0.1.nupkg 8481810 BLAKE2B 
8ffd8f17759647a2ae9df9d1b663d689ef5a0e33a9a6052447f075aa48e7cb4941a43f90525cf9e7bde24bce6e9d391b83fd3427512589d509dff915143f9679
 SHA512 
b8bcc53db7b9af61015a816e2876525423f8bcd25253083176e59f4607559e8ee6b424bf856bf598f2615979a762c05fdbae869712d0f81b0303e4735ebce88d
+DIST microsoft.codeanalysis.visualbasic.4.12.0.nupkg 12845839 BLAKE2B 
f6c3f9d106088b2aba4c7807413a3916d9c23fdb02b5a0429295dd70cc490505fe8bf84bb2b3aa424c66485aac88b27862452585029bbfb723cb7e39e2f1cdc2
 SHA512 
95ed6f4561438dff6662b570871c3eacd669460fc0bc18bd68afb8cdf9f8eea3764bb5cf5ed0f0773fddbf1560f1b28931f9302b558f8b606f95cee768f75a62
 DIST microsoft.codeanalysis.visualbasic.workspaces.4.0.1.nupkg 1264227 BLAKE2B 
490fd64bce0b83811d54ba0074a3c30d117e0326878ee74cf8433a118d13b6e1a699e7f0fccdd7492f8af5ee03ad848dc93b95e7214b89488f5c977ad7f3815f
 SHA512 
6d2dcdb2b94d6fdfcf96adf1348f1c6f8f9946d6467414183e97947fc6f16b6da40ff55a9f27681c6cf7697cf83248dd8cad1b875ce1871a6069f4c927ac6ec0
+DIST microsoft.codeanalysis.visualbasic.workspaces.4.12.0.nupkg 1926274 
BLAKE2B 
9f0236a4c69ffcf5bf9b3583c11603ce63ab416dd2e2bcb2772fd0640d83606c585aaa1713beec3e7836d7555b9b5ea7666e9e2a9685a52e2cab6b77de652ea8
 SHA512 
8ff5c315f36edfc1524c938886407ca6f2d635536a3616994d1b4bb87fd6b0752c9d87c8ced6835bdb1e47b3ac5011792ee648290f6e682ae3ee9fb4fc180f93
 DIST microsoft.codeanalysis.workspaces.common.4.0.1.nupkg 4768673 BLAKE2B 
41973d5da84330c8eed54c44f0036662308df1b2d4a89697e92fc52102fc169d4656fb539d03e11b48408855094647670e2f8a29e3c0999a335b89438d4c4677
 SHA512 
a1ce70d3a1c845c789c6fda7cb9bfcdc0303e8320d5069bc1c8dbc45b839c70bc45fa8877b450778d397876b93db6f528b356a5f6d04f1c1f3d720f51ca9bfb3
+DIST microsoft.codeanalysis.workspaces.common.4.12.0.nupkg 8384602 BLAKE2B 
5583bdc3a9f8ebb53ded885457e39d9fb9f119f9c9ea398ae33779625652483b57983ca816f7d23f2a52c76f8e92cfdb512c41760dc0a36efa21b68e95fb63e8
 SHA512 
6f364e305de402d42173991c5082f2d06ca181e3e4b24fe3f4326d96f15ec755183605c952812403a2141a8a2d1f567a187e19e41b8b357885ceccfda09c1b71
 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
@@ -76,6 +104,7 @@ DIST 
microsoft.extensions.options.configurationextensions.5.0.0.nupkg 59134 BLAK
 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.stringtools.17.14.7.nupkg 177448 BLAKE2B 
2d1739b2e539072ff4e6f6185661a085a4433a187eaba9ba0466c19861b30c73b48797edaff2a5cbd5379c538b08abe4bb71199aa2ba270fcc46ffcb4a7e8825
 SHA512 
f0e6f409253fca89e0df156ff88571acbb7ad084c2bfdd40ecc89720dbf16ea892da42777e1f78df18bc0a515bc381577a218c30706d9766a90bef8683a89783
 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
@@ -84,6 +113,7 @@ DIST microsoft.netcore.platforms.1.1.0.nupkg 17960 BLAKE2B 
6a9fa22d75f5a1c65746d
 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.platforms.5.0.0.nupkg 39826 BLAKE2B 
a122f0d2afb77455c005740fe5096c055f72eb658b0d1f10e6a17f9d07c3bf91ad0010ff472ee1d05b84bfbb75c9de3c46d2a2d33fdcaa245d64d6c3a956f233
 SHA512 
8493fe11648c7ecc20b6530490d30fd63744961345c0501a7a10b11046661da09b783ddceb8b3208ae52a72a8a94cafdce8dc1bd6073c32081e30d0e7407f174
 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
@@ -105,15 +135,20 @@ DIST microsoft.visualstudio.validation.15.5.31.nupkg 
262234 BLAKE2B 8f4714d3daf3
 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.registry.5.0.0.nupkg 354731 BLAKE2B 
3e98fbda73990aa8d4a8fe584d317ae59804c3ac40fb42194e332826b5be57ab78e563111dd3278a8099b9cd890d4e37f1bb74e6ec4a443edf7c783ea0cceb0b
 SHA512 
471e66567ce59cc86475aece7815d05261264ce114e0c1688ba2551dd51494901fa72dd7a8f74f8e8f0f3dba74af8595f177552f3c06abb4bfce76692197076e
 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 namotion.reflection.3.2.0.nupkg 143528 BLAKE2B 
44fae58655556bcd981253eeed7eb301c81a5413923396ad1acde9a5002d539ad4fd129c1fedc8313b8652ad62ecdde22acbd1c08344f99e0f1aa4365cf9be99
 SHA512 
a7c0f9933f1e43a8a345d4cd0b6075682ce500aad879e242d7457fcdb29dc510fdf7e73ee90ad930146a7f72deb7a681aae71dc01be7f02248407855fc020ab2
 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.13.0.3.nupkg 2441966 BLAKE2B 
0c83cd81b9eb647fd9106c5b8b7af4ff6b35eae4fa24712f16cef1db070857b072b9e40a52ed006a82125c860dc48b89ac54224baa24bfdedfa573183e19d169
 SHA512 
99b252bc77d1c5f5f7b51fd4ea7d5653e9961d7b3061cf9207f8643a9c7cc9965eebc84d6467f2989bb4723b1a244915cc232a78f894e8b748ca882a7c89fb92
 DIST newtonsoft.json.9.0.1.nupkg 1613054 BLAKE2B 
56918db57c3786cff0548b642195521ef203246a6b2ed010186ccae230af3b0c913ace4b2a3319bf94c6e47647b9c5ad7b017e3b50d35e6654b4d5b987643739
 SHA512 
da8917a5347051c8106f4ea9bade4bc300a3b60a05a3be3390f92c8dcbcea67223c7b4da8065b9228042000e25b99c75fad7e2221a0daa8888ed8ef3c161b228
+DIST njsonschema.11.1.0.nupkg 350471 BLAKE2B 
e379522ef452de239546432ade8c76913dbcfa559a5b04d4c2d6f199f6e0dc35bb612ba1f02964da87750356702391431bab27e47c80dad613ad8c6a3543902a
 SHA512 
b990823be7846bb7683d44e05b8b2b6a12c6a0cf83c3e80c6761ca0872dafa2dd0f1efa7d186f47b5eb99314b43d5844e1e976ebeacba46434e5d4153db4e3dc
+DIST njsonschema.annotations.11.1.0.nupkg 33273 BLAKE2B 
b1a8b329730494d8011e97faf2653b688caffa0f66de6e9605e2da3dc846dd0941fe33ecadad6a44103d1a0f182d25ea043a8bc513e08c0ce8102844bffc5093
 SHA512 
ef81e3d593f1b7343ae6494b3ff0b33dff06a3fad91ed0f26e71c308f78d2bc68e5bbdb6521d933c2bbd717910109146283da0c5ed1cda213b04f64da72c42aa
 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
@@ -177,7 +212,9 @@ DIST system.appcontext.4.1.0.nupkg 146990 BLAKE2B 
7881a5a903a358e19b0de72fe800c7
 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.buffers.4.5.1.nupkg 93737 BLAKE2B 
e846885f9ace79f30bf7698a96ff3277a45fc2988a48cddba1862e23650ce55b06dcc6c1bcc29e08cf5380c9700dfcc15964f7263aeb11c737306d27963b34da
 SHA512 
80da6158e55b9bcf7e0b5e6379b9cf45a632914f037b53c5bf5609576e3cd7821f7861956b73d74470d2d0c2e56dd235a5ef4ca6ffe7e192b820dc2d023aaff2
 DIST system.codedom.4.4.0.nupkg 213263 BLAKE2B 
ff2538b2ebb25f675946211e62f8d403e30f341f84af0b7681b6e787fe2bdd029526cadc39727570d90134c982b88f2ebc29add5b8af2e1ba188c075d496ef3d
 SHA512 
13f96f49f3053ed35f94081d33a02e3d4f096d976a752a06a54eba1bb4ab76e0aa76b1723df95aaaa57880dd9dd21ac2069bbdd876a8aa950fe5dfa0f48b5cc7
+DIST system.codedom.9.0.0.nupkg 405105 BLAKE2B 
ddc5797934233c75630de2f61f8d6448403f30f32e88afcab47f90bcaecb30258e0e6bd2755bdacd502c65f1e74f324c74b33e19a6df450a2c7f999774c4744a
 SHA512 
fc470605c33789909d2b7a624274ce90f9f79be19d6f82ab766518a4b8f8e503da03b9529ef30c5a21e2aded2095fb0449b866fad034d74d578c8bc5edee099a
 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
@@ -185,6 +222,8 @@ DIST system.collections.immutable.1.5.0.nupkg 804405 
BLAKE2B f11cab8fc6e1543d09b
 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.immutable.8.0.0.nupkg 787241 BLAKE2B 
c46f56d995ac2cb0e4eb7b6bd2b62e80f522af8b7c1e59e4b52dbd9aa3113f3653913c9aa77c9d72655588807dbc6d17322833c768d8b8626ad231f49fba09f8
 SHA512 
057a9591c22b8629afbde9baab60a15a4b96e976188abbdbe85961beec1a32806a05da5caf89de84904a3fae53c38d14a9c50cea80e8383b1e70cd328d9e8053
+DIST system.collections.immutable.9.0.0.nupkg 651019 BLAKE2B 
d3e5fe18efe37507300325e48715773b48293710278ba53399b73887f74c985860a21d8cbc28afaee3add7746e72236beccf2c02548cf89f3fbcaab64a2093af
 SHA512 
cff3a8ee7c56999d18e7bf2f8fc11456b1496770d7e8e32e50696079881e79464e1464fcf577da33c7c314cbc9cbafa6388a96eaec7935d3731279539d0189ec
 DIST system.collections.nongeneric.4.3.0.nupkg 239265 BLAKE2B 
cc987578ab9b0c1dfc8925f2c946876f8c8d6f335d8d6a6a0a30848c6c812a24774d059fe28aa83887b45d924705abe88fd96451dba7b2253dc9b99afc7a75e8
 SHA512 
dc6abfe778b3ea08e99f50b79112a51728e689f353b082234351b9f5b1be4b601a0b6d38a04c2138d05b5bdd83d6f3d91b53ee86ed119225c15e4683c38bf98c
 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
@@ -192,17 +231,26 @@ DIST system.componentmodel.4.3.0.nupkg 95320 BLAKE2B 
8c03f003539d1c0920c4d1a2d0b
 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.8.0.0.nupkg 47465 BLAKE2B 
0995116ccbeb4c01ad0383f5e18443a36c9100a702408cded3d60c5837b662f04db3e7e732ffd3bdb84936353a22a3bc7cba57c9db36eb43968c94d0f9e70a38
 SHA512 
fc067f4beb17e9ac2249e4af3afefdf7b6a2c1b53a1c270e0490cb79c7584098c3a3ee27602ad6c16290408677f1567a04b875a4399c6053d9a1c908ba844863
 DIST system.composition.attributedmodel.1.0.31.nupkg 44965 BLAKE2B 
dab81f56845d7b8c9290bbc6e33bcf91bbb399dfd49fee84749e964bda2bfaf614a555429b91f7648655fb3b8f0f84e162d79a50ac28e54005e364af9b90f7fd
 SHA512 
ae165e83e8bbd50d0c663608748a727f328cec4f44b2fcad5f1abe09a67fbd6095d3d65f3276f430e1247cce307ca853a3b5e8a374c99247d32f1f2450296d92
+DIST system.composition.attributedmodel.8.0.0.nupkg 116337 BLAKE2B 
bd6b10dad7dee4f7db32922fe3ea79a7795e08d3758414c743fb12c6df97528b167689c7e80a270d054f25b058110b5fed0d0f73eadc476a675347cec4419445
 SHA512 
826130a705f3f8238fb6e00048afa2721020f3ed2840068f395e7d83a7c3767b752966ebca6762c409f4e9b35b91d09419c0576fc457e64efd72a8341ea96fd6
 DIST system.composition.convention.1.0.31.nupkg 73058 BLAKE2B 
99ef08b2f09cb7ea7871abd0af763c608d027dc636311ad09428057a5c39a857c9c377cb639eeebce1207bd6fe186e3ebd30209672200a2ccb3ad33be9b7b46b
 SHA512 
f4614921dc20d33afcb362875558158a461f3c9fca9ed1f50fbf59ed5cc2a2f519c0334dabae8c30a90b248382ced5ec80376060a3a9dc1018012452f44bd81b
+DIST system.composition.convention.8.0.0.nupkg 189393 BLAKE2B 
75921181fb3515162d5e52846be9d21cc4f395ec4ca2d27daf79c735426896c0b5a9acea6daede8a8e665164c12d817442787692f838bb604df9e7f46d13aa4e
 SHA512 
30feea31a75019470c384c8638de5d9b2f53f8e5ee6ef231d389051ef4d53df67ff7e9ecf1daa6153a31a05ec80f32554969ad3901c350fd9f2f5c7c17ab254c
 DIST system.composition.hosting.1.0.31.nupkg 77495 BLAKE2B 
3266407fc975979fdb69353efbabb84cc1637d9b054150984cebc32359efbc860297033598350eed709864b19f266a8a74acbf9b9ed1d4f4cc4e4c69bbffd709
 SHA512 
2a5678aa469ad69fd4d962abdf9dd7790f5b8ebc41c27f45703e64f56144b95d4c9680cc9d39e1530414ee1d568a0bec098ca4ce845d9c32eadf7c2750fc017a
+DIST system.composition.hosting.8.0.0.nupkg 203349 BLAKE2B 
9db0c048bbda215d2c34b0d9d85303b0a0e43117f57f841510c59819b98ffdffb2703bd60496fe7afdbeba42172fffd791c842c6e33f32230ab967e79f04f07a
 SHA512 
1caea658ddfc4cb5e8d2340ecd1eaca3c707d49f3fe8ccc27d2b104b5e5b59b14460a7a89ca44064ac930b613dda8fb007528292870da4ecb4d62c7ad499d68d
 DIST system.composition.runtime.1.0.31.nupkg 50571 BLAKE2B 
656f0f0265448b521bc4428a068dc48ffd0114d159312ee3f804a832bc8877c9bb9a05adc9ba77b13015115f26cf5cebb4609acac3eff64d4e75afc23bb9d0fe
 SHA512 
8991f7fe0da3b3a7e65776ad376626fe8f9d33664c035180d065dcef49e16c8a8aebb2f6f4b87762b016881972a0e2148cd120800e8be22fbeecf4880f6c0c75
+DIST system.composition.runtime.8.0.0.nupkg 135019 BLAKE2B 
71faba970e77051648b4e0e8415f2f5caac167046c3e546ae41cdcb0945459dc84fd7b8690f68554dd231cdd74e01406974f9fa89c309f9961d56b3441a0ded1
 SHA512 
860180dca0c8c7d14ddd6624a4cbf2d2952a580ba5f414de866aaae3d76a3f1bb913e31b50aaa092c5395d13fc33d2e804f6456bc16a05b29e160099deb8dadb
 DIST system.composition.typedparts.1.0.31.nupkg 79671 BLAKE2B 
83151935e9541e5ab68b52ad38b63d344676a758800ba4e482b4bd5e0256fcf0798685e4ac66239e89a4ad254c32f4af89417196170f5ccc5dbfa388070efa75
 SHA512 
1fa7cb5b1172f9ccbe62c1d172f501b24bc3624a43754264cbe1a4a98be2f01ff9726fca210e5054338b2aeba5e0f1c567fc74c9169c4bc0a9637c7f3f188178
+DIST system.composition.typedparts.8.0.0.nupkg 212884 BLAKE2B 
450fb729c58fd0584cbd8432ddabd954d5007b58170de7931d4f1b9760623a4d240a038bd7ffed4d6fec8387ef4f902d2710af1e348aed4ace1dd7416c62d688
 SHA512 
acabb419d678258396505edbaf55bb510148fd4833593534dc21d8ead9d32d95c232d87a612003189451418acbce9c21dbe36e35c048bafedaef1f09d71b1f77
 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.configuration.configurationmanager.9.0.0.nupkg 766370 BLAKE2B 
a2b81006d316ad8ba9b5e71e3274e7f07c65385d2f8e1002d07234bd8a64f88ee21bace5ff8924554a6033f453f4cd8ea9ee52368f5719b6b560b4b23f5af941
 SHA512 
44c01259771db3eb0a025fd6ea2b4533c86fabd6a16bc091a92bf69eb8dbf1351348c2e38e7f348752eba1bee49bebffd547e9514fcdafaede8008d98ec0a023
 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
 DIST system.diagnostics.debug.4.3.0.nupkg 149774 BLAKE2B 
bdb6d5ee3b8ca4f28b241b098281b7d2957d0996f9345aa086a54b1a981822962e5cc319687849ee52445db47b439b6cd4e99a4c71595f6227f78160aa31724b
 SHA512 
6c58fe1e3618e7f87684c1cea7efc7d3b19bd7df8d2535f9e27b62c52f441f11b67b21225d6bcd62f409e02c2a16231c4db19be33b8fab5b9b0a5c8660ddab24
 DIST system.diagnostics.diagnosticsource.4.3.0.nupkg 120125 BLAKE2B 
33f203d8ffc39e0c38599eee625053beae160a0aebe6fbfaaafdc85b570c7b82e3aae281092014e90d10fad7083f37afbb546ad5a0c74a94843ae9b1e9fe85f1
 SHA512 
8f54df5ff382b6650e2e10d1043863a24bf49ff0714e779e837cd7073e46fb2635bcfcdcf99d7c4a9d95f35ebffd86ab0ca068305f4b245072e08303b917b34d
+DIST system.diagnostics.diagnosticsource.9.0.0.nupkg 454971 BLAKE2B 
d2474c25a87e86fa2b3c1e5c3405ac3d3278a48440970954ed310069615d7fdd1cb4ed3fa5e2e13218ddf3ae058f49e9cb0f84f29cac581a18d1d47bb472ebf1
 SHA512 
4d29e662e8dc19032cefb7017af7548623bfd5939af76fadb5441628ecfd73a223ebe2668d580c441586819f179714e5ca30819aaea89bcfd131a7adda9ed87a
+DIST system.diagnostics.eventlog.9.0.0.nupkg 400651 BLAKE2B 
4c629ec1d72c16090e4c114c09e27691a2b32affbdd667bb2578fb3c30a8cc7fd51af810c594d04d7bc2fa4252d01f5b2931d87b86b65b61eb0efec43b38d321
 SHA512 
a2ec8352d6453a09003d89985338a82233319a0748fc4de3d6c22e01b917bf871314e8ac7f916f42b6f08b4282f3819424c8e42265db699aa54c7f4ce5d273d9
 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
@@ -211,6 +259,8 @@ DIST system.drawing.common.4.7.0.nupkg 1241693 BLAKE2B 
24521499785ca548f724fe07c
 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.formats.asn1.9.0.0.nupkg 297211 BLAKE2B 
020b084bc2dc5dab4ce19c891ba1b4e0e57d46f3c44e354c7c82a0061337a3096df4bc632a4968d94a455d9a657881878873d1cfe723b58950d6978b0bfb8612
 SHA512 
9fba083162b1423a58df3d8bd8b4a9921bb633437af10ed090f8a757a9be5be22cd1e398552f3acc1793fd158cff8e5df8b093b58665afd16738d51f0837a757
+DIST system.formats.nrbf.9.0.0.nupkg 218708 BLAKE2B 
7f3d3cd773eea6e23a39ea5796d101503b93f04f53b0f2e34d56b7b1fc58de2a111a96c1f3be1bec6445f58c89ee9b65322eb8389b4e9d9e96fed2aa20bbbf43
 SHA512 
c78935d32d6dd37d4a7ef5ebc2d21c967be90b93c6d2ea4217a54baf0152e852c80335d805337aeacc0f521c2be9cecc55d4708608b98f64b2e0fa62fd37651e
 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
@@ -225,6 +275,7 @@ DIST system.io.filesystem.primitives.4.0.1.nupkg 94921 
BLAKE2B 32311ebb93e758016
 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.io.pipelines.8.0.0.nupkg 267394 BLAKE2B 
612570554ee41ae37c8987df6ec797583c95b38160aa70b1c2fba9af23f4bd85ac0ba5b7036abfc1ee3cecdbfbdaa83b861e9c017e5fdf3e726478b24e83d957
 SHA512 
57eb6a11e84f40a48b57b1dc5786a01aa9852122b7d15363490d8a12c9a458bf99a8ddf4c0c0247be98559c2b42e769a10bda2c5a9817735484d960dc652eb12
 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
@@ -232,12 +283,15 @@ DIST system.linq.expressions.4.1.0.nupkg 1929236 BLAKE2B 
a804c6741afed5fdc918c04
 DIST system.linq.expressions.4.3.0.nupkg 1928029 BLAKE2B 
1add363cc651e551fd7abcb797252785e2617159b197ec081de605d7c7dd829e7653e7693495a87909f46575b6619e95fef6e3132532110b3c1e74157ff096a6
 SHA512 
61b90ef9ae6f779fbc8a7b6483ee8f5449cdd05c81b05235f70447e656a73b2aab7c341784b999f7532374744a72e2c3a5cd13800ea23417fac32ccfae5cde6d
 DIST system.memory.4.5.3.nupkg 154054 BLAKE2B 
0f75d5365d96b42949e53ae9498affce97ba074d6f404d30bec043e5def8cc39af05ccedffc7e9b13af4200336a9737cf44c85aa2d58069a64b1dc80537a6eac
 SHA512 
70fce15a52cc76aacbae05c8e89e2e398d1d32903f63f640a7dd4a3e5747f2c7a887d4bfd22f2a2e40274906cf91648dfd169734fb7c74eb9b4f72614084e1db
 DIST system.memory.4.5.4.nupkg 205467 BLAKE2B 
c5b66e68917fc14d5b94aef9aef53087756c59473a2580448f20233e559b3ac9d691b2c063d129083593a1b610252acb01016ef078ed21b390615bf5a6e04dc0
 SHA512 
8ece5491eb0fe332bc190f40cf76b3beee0c5f996325034861be221fdb0ff02fd59e4f7020b3c4a1f29a457f76ff76c4c95d46d38555e4f48c7a3bf172d87966
+DIST system.memory.4.5.5.nupkg 208978 BLAKE2B 
487049b1ffd622868d4aa84cc14f13127641c56937826c11d83851b7032ea248ccf8555f48aca93acc4891ac99ce2178ede50bf13ccbd70ba6004226fb583275
 SHA512 
e8c8e536c97b94ac3443c940b30dad43cf6e97dc7a8c3d989371048fe74e168606384f5e0143bdc0d86f7783bf9fdee8417964cb3a8a5d752713e90b125172dc
+DIST system.memory.4.6.0.nupkg 192800 BLAKE2B 
33cf410dbd0ca42711f3e2aa50ee71b5b2f5f7c6f2344dcd18e17e5d4ed0a26b70cc318ed40b34741ff33a88b79ffa54efb34cba237d01da9d385ccc2819ccbc
 SHA512 
4d8ecda55e15bf4bf06a767a27cbeb2c67f26db3ca840bcbde84f1ec49ddb19fc9ffbd6c9b4d493c21c89adbd8b70875be615ab7f18f4bf89df61b6a20f2beea
 DIST system.net.http.4.3.0.nupkg 1371903 BLAKE2B 
c0b56398662d8f149eba439ce16ec254bd5a64cee0faf251af07d89ec130953d8865d537b52b432ee19df9ed7405318119d301743bf84f98179c1cd7e6615731
 SHA512 
e8105ce8151aee95852fb29423f73cc1bd7c2286d36474ed7102a4b31248e45f434434a176d3af0442738398c96c5753965ee0444fb9c97525abbd9c88b13e41
 DIST system.net.nameresolution.4.3.0.nupkg 177639 BLAKE2B 
c3d666f33577682ba43292ccca908cbd81971ab53eaeb904438a378997903e80d5d3789b3c76db6c50f0411fb17b227db973bc09eadfc0f98ebed88ac0209057
 SHA512 
40d39e131fe7a392e58e9f58b516b5db88383de91c05b771f5e509acf46cc874271e90623d327ab039003ab8f2714144694390261278de324e1aee228a828ab4
 DIST system.net.primitives.4.3.0.nupkg 769347 BLAKE2B 
070d9aaecf9c4ec485850954c425d6d6af23fdb8a50fe40c305657654fcaf58d366f29f62bca6ae32c8604dfd7f5217f822ebe03c68446d4fbc4ee7e44b07852
 SHA512 
9f7fdece330a81f3312ea7c804927852413bee2c929f3066b736993803df47cc0692fbca236c222bf19dc8f59b42f54f2a4c00da9a4d624e458da5874d127ce6
 DIST system.net.sockets.4.3.0.nupkg 135695 BLAKE2B 
17f58a8445cae9ef2ad17bbd7dda092e66bc8be07d767e971fabf14da98f549924cd6a7abf54e8a5a7557710612a151f2f27dd35e559b81f2f06dd71fd43c9f7
 SHA512 
e32ed9518e9630e99edcf1963c3d0e7047ea8252853c9260eb5403a4206170ae28fd27eb239f39da4d2db766f830b3ebdc9e4da2e697be20241d928082200955
 DIST system.net.websockets.4.3.0.nupkg 105598 BLAKE2B 
900ff40ebdb1238ca959457e5f7f391ab07c411745eb3a53a756bcb8bbb22a4ebceb294339cff25e7cf828c6542d2c721a524fe5b2409509ab4fab33004554af
 SHA512 
2bdda352b9ea21fcc1afc22cb1bba541eb73f1fda002cd970b68f25566d4bebfbcd38616bfa2c892c048cfce1657b1d2b6996ec374504dc1f1777f82e7321ec0
 DIST system.numerics.vectors.4.4.0.nupkg 337043 BLAKE2B 
94cca7283873edd9199d843db78e23bc5815de039c2aaeb67ba3cbe4cb5e161eab27b89cfbeeb437f0a9d235b48e86a5b31f53306a7e7a2a38feb28d6e5e523c
 SHA512 
81d46b509b3546b8d6dc9079a7cda162303aef1a1e14bbe1d127522168d388df2a13195b16dfd1b57c1560d73906e909fdff4e2b34104ba81a9336c97874ea1e
+DIST system.numerics.vectors.4.5.0.nupkg 382792 BLAKE2B 
a97284a76a6729052d3a127e1875e2012ae5b90a40533783dc799b543d44cc084035374799e9e1b894083cb61f2639711f18b76ff31145140519a9674dd9d2aa
 SHA512 
9c04ec0530f608aaf801837a791b33857e2ca6d2265a6049c01fd4e972825967e709cad3070f174829b7400f608e9a641d3afc3a45d4636d4c47dd43dd0657b3
 DIST system.objectmodel.4.0.12.nupkg 321648 BLAKE2B 
7a008caf5f7f38f34d62037e5e3505dc237356246103d00be5b07423829fc4f2a763fa841673ebdeb0d6caa79dea8d7fb9f56cf078addddb3cc853e63101f03a
 SHA512 
f5191cdb360bd2624abd7454c66862540f97aa19df92ea0854786b9d3cb9549e95c6194cfe8adc01589203c4feb1673a129c4929486bcb5f8db83ea535477c53
 DIST system.objectmodel.4.3.0.nupkg 321655 BLAKE2B 
bd1110665321034ec27635077ba7f9f1a18cf2f813d7a99f511a91fb6c95827b3b10108bf8a5b4a9e32685a8754e1eeca7d1afb2dcd02ad5ce3ef9db61fcc114
 SHA512 
409bca3d2139bd1d003c711400ba2db5e576bb54d593aa541ec3576e7b2029b60159ab1c5b2c4e7389267b1b95ebcd8c2f064dc6e1f53e693aacb1737f066123
 DIST system.private.uri.4.3.0.nupkg 16869 BLAKE2B 
7a407e16b35e4a5f405029e80749f7ae1c907707d9f72657016667ccf1255463011497b09b7d9e23fb3ccfd4de508dea48b33b13267775619f63134897e54c61
 SHA512 
5989a57ef273b689a663e961a0fe09d9b1d88438e5478358efc4b165de3b2674fa9579c301ce12d2d2fa5f33295f2acb42eceea2ebebf70c733da6364ceaf94d
@@ -254,11 +308,14 @@ DIST system.reflection.extensions.4.0.1.nupkg 99743 
BLAKE2B bb72501a2dd11ecdb1f0
 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.metadata.8.0.0.nupkg 1307788 BLAKE2B 
45e8712d7cb14ce712722aa4871c6ee6a346ff05f7269f96858a47fb53e4e977473d47f20097f349f3ad1aae517f372006a172654df433aa7d309a4ddec172c5
 SHA512 
fbab0c76426379ed01ea79b702504197b710688d283e788bbef92b90586610dddfa3f84638d685770a4068ef8645395b65ee24459cc5c14ee4497416d11c89c6
+DIST system.reflection.metadata.9.0.0.nupkg 1114539 BLAKE2B 
5891cdf578f2c0f976fec7fc22619036e721953150e24aa5038023685f1f1a902622f043308d6b44f44ed6f5f9b40a25705ab653cce1f0b3456c041d8ecefc1c
 SHA512 
8f3f98da6fc2a5d3ef76308d46282258960a16eb1d91f265c43c785797165f64ee6c031acf9099a4e0c10ff3f6fb6d12a56be6646e89dd462397e476620ef217
 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.extensions.9.0.0.nupkg 237188 BLAKE2B 
c7e898edc1af56df920b3f666847f088ce17db1ca4e97e0cf7676b5397db16c7be1a75ff324de1128ad18d9e2c03c9c9329c44e169214011c54b8e8189fbef74
 SHA512 
d2c31fad6ddc489606a3396d79b127c31a125b05e3be938a149a64cd850c98c5d71e04f5576774d42118b0a3731d3d5f099944e9f74a35cb9cae081d8186aabe
 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
@@ -269,6 +326,8 @@ DIST system.runtime.compilerservices.unsafe.4.5.2.nupkg 
104723 BLAKE2B 30ab5b99a
 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.compilerservices.unsafe.6.0.0.nupkg 84343 BLAKE2B 
aea2f833d6da80dbc275c47bfb207d77a1f2dd203a29352ff5a6e96d8b52752ee3c5bde38117c5ecc5dfbad66d8b47b2001efa1e2d564e14cbbf58d0d1fe208e
 SHA512 
d4057301be4ec4936f24b9ce003b5ec4d99681ab6d9b65d5393dd38d04cdec37784aaa12c1a8b50ac3767ed878dae425749490773fec01e734f93cf1045822b3
+DIST system.runtime.compilerservices.unsafe.6.1.0.nupkg 62013 BLAKE2B 
338e41314bb5ca92ff51de48fd052613685877af5e829c2588fbb926d8f509344910d24e4311ad3247c9752899f850f022d7a2674aa2e91ba0fad282dd652044
 SHA512 
898d2ea5f7507a26827e8c53fa6e172726f4209364e01f532d015a9ce08ead4f57e71d71d938cac743856cb9a0d551b674ec8be671cc9f5f7c48143dd58cb591
 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
@@ -281,6 +340,7 @@ DIST system.runtime.numerics.4.3.0.nupkg 283763 BLAKE2B 
b9e2ffc7e974fb4824ed174b
 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.5.0.0.nupkg 621573 BLAKE2B 
617baef046a8bdb637db288425206cb95e6be55c53c3829690253fd76987b0fdebb1cd79db556c437ff5d9a0f4940e7d747e3e7b611e941f5f54248b6adfa32e
 SHA512 
ae6b03ad029d3eb6818a6c8bb56cf4904013fa535a67b8e621b783a029dd88aa2e471e002cbc7d720381ad8bc8c6b93111a08f6ce2d271af6d974bf4d02b6c81
 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
@@ -290,21 +350,27 @@ DIST system.security.cryptography.csp.4.3.0.nupkg 117553 
BLAKE2B 93f32c719f999c5
 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.pkcs.9.0.0.nupkg 820996 BLAKE2B 
cd6a9809a9c57504d468edb0a5587ebdd2d02eaef5aa39cbc43f97b4b23a0743ea6cd83d23125446ef4a8d3b5d6d17f27e92ef0213eaab7aa6b23809715f3226
 SHA512 
cc8abec70442f575c99d404c9dfdeb6676864082496a0a460e1b4ef6f15b162e82977275e8b8a3220be38565f306f1f8c80a91c8b00f52a040fa39083dc47bfd
 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.protecteddata.9.0.0.nupkg 127120 BLAKE2B 
12639eeb6ac5893ed593fa08b3e41872b79a46b8c3384307294c89b67213afac9c88ce32be68f08389ebcf5b8ef91868d5feb3b6e050bf8930c7052f321dbb8b
 SHA512 
31b739b355c12e37b437589da882d052a5a71bc4558fda7bb8ad75d32c595d3cd9ab708dee3682144c922b9da403e74f62d072cdc46d03f1549cae28fec8a74b
 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.cryptography.xml.9.0.0.nupkg 370076 BLAKE2B 
6a65e549e6a870809f76242d6bf67dd5bec57ef9f6eafc23e0bb1d5daa700b56a8acc50bc32613638afecec69b000a272fbedb57625d5d7e3652edf3fd317a28
 SHA512 
9b056654247467edd6431fc8c3d3e12b237f8a778d264c7bca934cee3f0440a001672571a1b752fcc7e2dd6c200b2d067d9a632cca2e96c5b74831da186f5730
 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.security.principal.windows.5.0.0.nupkg 535022 BLAKE2B 
4b20ab3cc0b4bc820df360df57b2eb0e2059de677c432af31e73acdf600a417685900aed2cee8e33ba9020d02ae688096cd9c3a77da441ed33cf968c90124bd5
 SHA512 
44a920aaaf22b2172d41319bb57ab2b8e1a4531d5f02192a6f53a81d875125195b60ba0b5a44a45981d137fd7b0f3a65b12959b5fd97afc0578cd84ef27467cd
 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.codepages.7.0.0.nupkg 3198933 BLAKE2B 
077972f69636114b3d9db09398f6d9322a681665fcf280a15fb0506d45da644e07c2e3aee91d76c908e1ab1762411bc970978bc8823a5b45aa994b172a7d95bc
 SHA512 
485abfaeb1f9dac307249b2d84375a7d63c4bb175109107ba59e3ab6b476c52a62d677ca3c06f0e9a999afd5bf2f21d396a4b4d534563bb9da8d1b8ed6fc458a
+DIST system.text.encoding.codepages.9.0.0.nupkg 3219386 BLAKE2B 
4714b4054cd3b4077f3ef826e2a4d19451aaa1523177866c8ba3be921fee1f4d42fad96e54ffa3c354df12b9e7261f515c584caf20eab92148ef21fecff5ebf2
 SHA512 
acc01c1367294bc46f3d1e622ba5a461d64a24bb14c39051a86dddfcb474765f31d7b7b33a3e37016461a782d12058327568ce3a7fd9e30fff97cc1ca309e0bd
 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
@@ -314,9 +380,11 @@ DIST system.text.regularexpressions.4.3.0.nupkg 530523 
BLAKE2B fc77aa0a92658cfac
 DIST system.threading.4.0.11.nupkg 708036 BLAKE2B 
6b85f9c80dfddd5faa9799fdd64379c4c066b076596cd0008c46114b91025a20e00cb8b626b6fa5d139af6aeb8a3f6781ca7e55c4f7d147eae2f38e14d7a63c2
 SHA512 
05c0dd1bbcfcedb6fc6c5f311c41920a4775f8a28a61ca246b6c65ad8afd9b04881d3357880af000ac056fd121fc5c3ec0b56d6fd607e0c27e7a639157c85e3e
 DIST system.threading.4.3.0.nupkg 708088 BLAKE2B 
004d01762fad35a4607522d974a0cdc3d0049c82fe704f2f86fb98ee81059ebb56d13c290fcd273d1067a1a7c7f17bf3259d4d7e802c1d09a95e3c5fa29ef3f3
 SHA512 
97a2751bdce69faaf9c54f834a9fd5c60c7a786faa52f420769828dbc9b5804c1f3721ba1ea945ea1d844835d909810f9e782c9a44d0faaecccb230c4cd95a88
 DIST system.threading.channels.4.7.1.nupkg 132386 BLAKE2B 
7faf00c3af1b02878e2be6b30f79ab2e183cf9fd8acf5409b24a4b10450211396474ab2c30aad9803b39008029e68e30845656d30c0a208d022a744ce340c1fd
 SHA512 
f401b7067893cb14056a343df6ca6bc96a00368466080b653399b6329afc1d2d5d27e4266e267fb76f8450fd87240142524926681351315f43713ba3f366aa25
+DIST system.threading.channels.7.0.0.nupkg 195276 BLAKE2B 
8c01d1fedda99b4874a4623f8567984391214fc2f86fb1ab7a697614519f4a01e146ba0fae7d4d6e2ef04231e1d6f4caf4bc594694b69307f0695ff7b66a0e13
 SHA512 
5d79a97496f25426a05a0ddb19f506353c4aa7810aff70b806df295e12956192b01cf8de1cf3a0d2edb076a1c5b288d4e2ee22f4a0720094f2cea2c232ac2952
 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.dataflow.9.0.0.nupkg 524421 BLAKE2B 
bdd79e2b081492d90e9cbc6eba00a9f0731e02c3f4e4c55fd61274f5de97f5d762fde100173fdfeb8b98c610def277a6b5c6d9ed69b12ab971e98daacd29820b
 SHA512 
d1301c0048e071a87edb5ff7c5d055bf9902fc8dba58c219d1f1a05682b6678458641930adb669abac9eb088ad2533ea7bc98ee7b3ac2ffd12cf11b9d138eb00
 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

diff --git a/dev-lang/dafny/dafny-4.11.0.ebuild 
b/dev-lang/dafny/dafny-4.11.0.ebuild
new file mode 100644
index 000000000000..6781dcd1b76b
--- /dev/null
+++ b/dev-lang/dafny/dafny-4.11.0.ebuild
@@ -0,0 +1,679 @@
+# Copyright 1999-2025 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+PYTHON_COMPAT=( python3_{12..14} )
+
+DOTNET_PKG_COMPAT="8.0"
+NUGETS="
+boogie.abstractinterpretation@3.5.5
+boogie.basetypes@3.5.5
+boogie.codecontractsextender@3.5.5
+boogie.concurrency@3.5.5
+boogie.core@3.5.5
+boogie.executionengine@3.5.5
+boogie.graph@3.5.5
+boogie.houdini@3.5.5
+boogie.model@3.5.5
+boogie.provers.leanauto@3.5.5
+boogie.provers.smtlib@3.5.5
+boogie.vcexpr@3.5.5
+boogie.vcgeneration@3.5.5
+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.14.1
+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.bcl.asyncinterfaces@8.0.0
+microsoft.bcl.cryptography@9.0.0
+microsoft.build.framework@17.14.7
+microsoft.build.locator@1.4.1
+microsoft.build.tasks.core@17.14.7
+microsoft.build.utilities.core@17.14.7
+microsoft.build@17.0.0
+microsoft.codeanalysis.analyzers@3.0.0
+microsoft.codeanalysis.analyzers@3.3.2
+microsoft.codeanalysis.analyzers@3.3.4
+microsoft.codeanalysis.common@3.7.0
+microsoft.codeanalysis.common@4.0.1
+microsoft.codeanalysis.common@4.12.0
+microsoft.codeanalysis.csharp.workspaces@4.0.1
+microsoft.codeanalysis.csharp.workspaces@4.12.0
+microsoft.codeanalysis.csharp@3.7.0
+microsoft.codeanalysis.csharp@4.0.1
+microsoft.codeanalysis.csharp@4.12.0
+microsoft.codeanalysis.visualbasic.workspaces@4.0.1
+microsoft.codeanalysis.visualbasic.workspaces@4.12.0
+microsoft.codeanalysis.visualbasic@4.0.1
+microsoft.codeanalysis.visualbasic@4.12.0
+microsoft.codeanalysis.workspaces.common@4.0.1
+microsoft.codeanalysis.workspaces.common@4.12.0
+microsoft.codeanalysis.workspaces.msbuild@4.0.1
+microsoft.codeanalysis@4.0.1
+microsoft.codeanalysis@4.12.0
+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.stringtools@17.14.7
+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.platforms@5.0.0
+microsoft.netcore.targets@1.0.1
+microsoft.netcore.targets@1.1.0
+microsoft.netframework.referenceassemblies.net452@1.0.3
+microsoft.netframework.referenceassemblies@1.0.3
+microsoft.testplatform.extensions.trxlogger@17.9.0
+microsoft.testplatform.objectmodel@16.11.0
+microsoft.testplatform.objectmodel@16.9.4
+microsoft.testplatform.objectmodel@17.1.0
+microsoft.testplatform.objectmodel@17.9.0
+microsoft.testplatform.testhost@16.11.0
+microsoft.testplatform.testhost@16.9.4
+microsoft.testplatform.testhost@17.1.0
+microsoft.testplatform.testhost@17.9.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.registry@5.0.0
+microsoft.win32.systemevents@4.7.0
+microsoft.win32.systemevents@6.0.0
+moq@4.16.1
+namotion.reflection@3.2.0
+nerdbank.streams@2.6.81
+netstandard.library@1.6.1
+netstandard.library@2.0.3
+newtonsoft.json@11.0.2
+newtonsoft.json@13.0.3
+newtonsoft.json@9.0.1
+njsonschema.annotations@11.1.0
+njsonschema@11.1.0
+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.12.0
+system.appcontext@4.1.0
+system.appcontext@4.3.0
+system.buffers@4.3.0
+system.buffers@4.4.0
+system.buffers@4.5.1
+system.codedom@9.0.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.immutable@8.0.0
+system.collections.immutable@9.0.0
+system.collections.nongeneric@4.3.0
+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.attributedmodel@8.0.0
+system.composition.convention@1.0.31
+system.composition.convention@8.0.0
+system.composition.hosting@1.0.31
+system.composition.hosting@8.0.0
+system.composition.runtime@1.0.31
+system.composition.runtime@8.0.0
+system.composition.typedparts@1.0.31
+system.composition.typedparts@8.0.0
+system.composition@1.0.31
+system.composition@8.0.0
+system.configuration.configurationmanager@4.7.0
+system.configuration.configurationmanager@6.0.0
+system.configuration.configurationmanager@9.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.diagnosticsource@9.0.0
+system.diagnostics.eventlog@9.0.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.formats.asn1@9.0.0
+system.formats.nrbf@9.0.0
+system.globalization.calendars@4.3.0
+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.pipelines@8.0.0
+system.io@4.1.0
+system.io@4.3.0
+system.linq.async@6.0.1
+system.linq.expressions@4.1.0
+system.linq.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.memory@4.5.5
+system.memory@4.6.0
+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.numerics.vectors@4.5.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.metadata@8.0.0
+system.reflection.metadata@9.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@9.0.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.compilerservices.unsafe@6.0.0
+system.runtime.compilerservices.unsafe@6.1.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@5.0.0
+system.security.accesscontrol@6.0.0
+system.security.claims@4.3.0
+system.security.cryptography.algorithms@4.3.0
+system.security.cryptography.cng@4.3.0
+system.security.cryptography.csp@4.3.0
+system.security.cryptography.encoding@4.3.0
+system.security.cryptography.openssl@4.3.0
+system.security.cryptography.pkcs@9.0.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.protecteddata@9.0.0
+system.security.cryptography.x509certificates@4.3.0
+system.security.cryptography.xml@9.0.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.windows@5.0.0
+system.security.principal@4.3.0
+system.text.encoding.codepages@4.0.1
+system.text.encoding.codepages@4.5.1
+system.text.encoding.codepages@7.0.0
+system.text.encoding.codepages@9.0.0
+system.text.encoding.extensions@4.0.11
+system.text.encoding.extensions@4.3.0
+system.text.encoding@4.0.11
+system.text.encoding@4.3.0
+system.text.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.channels@7.0.0
+system.threading.tasks.dataflow@4.9.0
+system.threading.tasks.dataflow@9.0.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.17.0
+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 
optfeature
+
+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}";
+else
+       SRC_URI="https://github.com/dafny-lang/${PN}/archive/v${PV}.tar.gz
+               -> ${P}.gh.tar.gz"
+
+       KEYWORDS="~amd64"
+fi
+
+SRC_URI+="
+       ${NUGET_URIS}
+       test? (
+               https://registry.npmjs.org/bignumber.js/-/bignumber.js-9.1.2.tgz
+       )
+"
+
+LICENSE="Apache-2.0 BSD-2 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-3.4.3
+               dev-go/go-tools
+               dev-lang/go
+               dev-python/outputcheck
+               dev-python/lit
+               dev-python/psutil
+               net-libs/nodejs[npm]
+       )
+"
+
+CHECKREQS_DISK_BUILD="2G"
+DOTNET_PKG_PROJECTS=( Source/Dafny/Dafny.csproj )
+TEST_S="${S}/Source/IntegrationTests/TestFiles/LitTests/LitTest"
+
+PATCHES=(
+       "${FILESDIR}/dafny-3.12.0-DafnyRuntime-csproj.patch"
+       "${FILESDIR}/dafny-4.11.0-lit-config.patch"
+)
+
+DOCS=(
+       CODE_OF_CONDUCT.md
+       CONTRIBUTING.md
+       NOTICES.txt
+       README.md
+       RELEASE_NOTES.md
+       docs/DafnyCheatsheet.pdf
+       docs/DafnyRef/out/DafnyRef.pdf
+)
+
+pkg_setup() {
+       # Clean the environment.
+       unset NPM_CONFIG_USERCONFIG
+
+       if [[ -n "${_JAVA_OPTIONS}" ]] ; then
+               ewarn "Cleaning _JAVA_OPTIONS because when set compile and test 
may fail"
+
+               unset _JAVA_OPTIONS
+       fi
+
+       check-reqs_pkg_setup
+       dotnet-pkg_pkg_setup
+       java-pkg-2_pkg_setup
+
+       # We need to set up Python only for running test tools (called via lit).
+       if use test ; then
+               python-any-r1_pkg_setup
+       fi
+}
+
+src_unpack() {
+       # Unpack manually to skip additional archives, eg "bignumber.js".
+       nuget_link-system-nugets
+       nuget_link-nuget-archives
+
+       if [[ -n "${EGIT_REPO_URI}" ]] ; then
+               git-r3_src_unpack
+       else
+               unpack "${P}.gh.tar.gz"
+       fi
+}
+
+src_prepare() {
+       # Ensure we do not accidentally pull in any .NET tools
+       # (tool restore is called) in custom Dafny MSBuild steps.
+       rm -f dotnet-tools.json \
+               || die "Failed to remove Dotnet Tools JSOB manifest file"
+
+       # Fragile for patching, we have to use sed here.
+       sed -e "s|dotnet tool run ||g" \
+               -i ./Source/DafnyCore/DafnyCore.csproj \
+               || die
+
+       dotnet-pkg_src_prepare
+
+       # Update lit's "lit.site.cfg" file.
+       local dotnet_exec="${DOTNET_PKG_EXECUTABLE} exec ${DOTNET_PKG_OUTPUT}"
+       local lit_config="${TEST_S}/lit.site.cfg"
+
+       local -a lit_dotnet_run_opts=(
+               --configuration "${DOTNET_PKG_CONFIGURATION}"
+               --no-build
+               --no-restore
+               --no-self-contained
+               --runtime "${DOTNET_PKG_RUNTIME}"
+       )
+       sed -i "${lit_config}" \
+               -e "s|dotnet run |${DOTNET_PKG_EXECUTABLE} run 
${lit_dotnet_run_opts[*]} |g" \
+               || die "failed to update ${lit_config}"
+
+       # Using "for-each-compiler" will fail because of Cargo requiring 
network access.
+       while read -r test_file ; do
+               if grep "// RUN: %testDafnyForEachCompiler" "${test_file}" 
>/dev/null ; then
+                       rm "${test_file}" || die "failed to remove test 
${bad_test}"
+               fi
+       done < <(find "${TEST_S}" -type f -name "*.dfy")
+
+       # Remove bad tests (recursive).
+       local -a bad_tests=(
+               # Unsupported test build (and those that need network access):
+               comp/rust
+
+               # Following tests fail:
+               HigherOrderIntrinsicSpecification
+               VSComp2010
+               ast/function.dfy
+               auditor/TestAuditor.dfy
+               benchmarks
+               blogposts
+               c++
+               cli
+               comp
+               concurrency
+               dafny{0,1,3,4}
+               doofiles
+               examples
+               exports
+               git-issues
+               gomodule/{multimodule,publishedruntime,singlemodule}
+               lambdas
+               metatests
+               printing
+               pythonmodule
+               separate-verification
+               server
+               triggers
+               unicodecharsFalse
+               verification
+               vstte2012
+               wishlist
+       )
+       local bad_test=""
+       for bad_test in "${bad_tests[@]}" ; do
+               if [[ -e "${TEST_S}/${bad_test}" ]] ; then
+                       rm -r "${TEST_S}/${bad_test}" \
+                               || eerror "failed to remove test ${bad_test}"
+               else
+                       ewarn "Test file ${bad_test} does not exist"
+               fi
+       done
+}
+
+src_configure() {
+       dotnet-pkg_src_configure
+
+       if use test ; then
+               dotnet-pkg-base_restore ./Source/TestDafny/TestDafny.csproj
+       fi
+}
+
+src_compile () {
+       einfo "Building DafnyRuntimeJava 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 ./ $(find "${dafny_runtime_java}/src/main" -type f -name 
"*.java")
+       edob jar cvf "DafnyRuntime-${PV}.jar" dafny/*
+
+       cp "DafnyRuntime-${PV}.jar" "${dafny_runtime_java}/build/libs/" || die
+       popd || die
+
+       # Build main dotnet package.
+       dotnet-pkg_src_compile
+
+       # Build "TestDafny" without saving artifacts.
+       if use test ; then
+               # This is where Dafny test suite expects to find compiled 
sources.
+               rm -r ./Binaries || die
+               cp -r "${DOTNET_PKG_OUTPUT}" ./Binaries || die
+
+               local -a build_test_opts=(
+                       --configuration "${DOTNET_PKG_CONFIGURATION}"
+                       --no-restore
+                       --no-self-contained
+                       --runtime "${DOTNET_PKG_RUNTIME}"
+                       -maxCpuCount:$(makeopts_jobs)
+               )
+               edotnet build "${build_test_opts[@]}" 
./Source/TestDafny/TestDafny.csproj
+       fi
+}
+
+src_test() {
+       # Dafny GOLang transpiler tests need "goimports" from "/usr/lib/go/bin".
+       local -x PATH="${EPREFIX}/usr/lib/go/bin:${PATH}"
+
+       einfo "Installing bignumber.js package required for tests using NodeJS."
+       local -a 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=(
+               --order=lexical
+               --time-tests
+               --timeout 1800          # Let one test take no mere than half a 
hour.
+               --verbose
+               --workers="$(makeopts_jobs)"
+       )
+       edo lit "${lit_opts[@]}" "${TEST_S}"
+}
+
+src_install() {
+       dotnet-pkg-base_install
+
+       local -a dafny_exes=(
+               Dafny
+               DafnyDriver
+               DafnyLanguageServer
+               DafnyServer
+       )
+       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
+}
+
+pkg_postinst() {
+       optfeature "Dafny GO language backend" dev-go/go-tools
+       optfeature "Dafny Rust language backend" dev-lang/rust dev-lang/rust-bin
+}

diff --git a/dev-lang/dafny/files/dafny-4.11.0-lit-config.patch 
b/dev-lang/dafny/files/dafny-4.11.0-lit-config.patch
new file mode 100644
index 000000000000..10defdcb095b
--- /dev/null
+++ b/dev-lang/dafny/files/dafny-4.11.0-lit-config.patch
@@ -0,0 +1,19 @@
+--- a/Source/IntegrationTests/TestFiles/LitTests/LitTest/lit.site.cfg
++++ b/Source/IntegrationTests/TestFiles/LitTests/LitTest/lit.site.cfg
+@@ -109,7 +109,7 @@ testDafnyExecutableResolver = 'dotnet run --no-build 
--project ' + quotePath(os.
+ defaultServerExecutable = 'dotnet run --no-build --project ' + 
quotePath(os.path.join(sourceDirectory, 'DafnyServer', 'DafnyServer.csproj'))
+ serverExecutable = lit_config.params.get('serverExecutable', 
defaultServerExecutable)
+ 
+-boogieExecutable = 'dotnet tool run boogie'
++boogieExecutable = 'boogie'
+ 
+ config.suffixes.append('.transcript')
+ 
+@@ -222,6 +222,7 @@ solverRoots = os.pathsep.join(
+ print(solverRoots)
+ 
+ solverPath = \
++    shutil.which("z3") or \
+     lit.util.which("z3-4.12.1", solverRoots) or \
+     lit.util.which("cvc4", solverRoots)
+