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

[Maciej Barć]

commit:     aa01d2cad2f32dcc5473e66326bf2346a5221ffd
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Mar 14 18:00:21 2026 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Mar 14 18:02:59 2026 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=aa01d2ca

dev-lang/dafny: drop old 4.10.0

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

 dev-lang/dafny/Manifest                            |  25 -
 dev-lang/dafny/dafny-4.10.0.ebuild                 | 627 ---------------------
 .../files/dafny-3.12.0-DafnyCore-csproj.patch      |  13 -
 dev-lang/dafny/files/dafny-4.5.0-lit-config.patch  |  20 -
 4 files changed, 685 deletions(-)

diff --git a/dev-lang/dafny/Manifest b/dev-lang/dafny/Manifest
index 96e845cc6ef7..5ec4d9a2a3af 100644
--- a/dev-lang/dafny/Manifest
+++ b/dev-lang/dafny/Manifest
@@ -1,35 +1,21 @@
 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
@@ -42,12 +28,9 @@ DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B 
aca3f5db71e4037dbdd
 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
@@ -116,9 +99,7 @@ DIST microsoft.netcore.platforms.3.1.0.nupkg 29544 BLAKE2B 
2739d62e92e61677964f9
 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
 DIST microsoft.netframework.referenceassemblies.1.0.3.nupkg 20961 BLAKE2B 
8632244fc71708fbb2a56331c8642a12782baeebda676b1b8d3ada50788e0725a7572cf0ed1c296c4cad3fb8bdd669871c90f963b9c8da6eff796fd30ba768e2
 SHA512 
e3b8317b290696a380a32abdd9e75e71ddae68049769beb895024c34089f41262aeddf53e30984330b1293f013e34d854a83223ae1e2afe417186795da8dc148
-DIST microsoft.netframework.referenceassemblies.net452.1.0.2.nupkg 19845441 
BLAKE2B 
c2be1acfd4207984ba33a5ed468fea39299d61d6af99ef9cfc7df16096c0ecfb6133a3c970ffc150f79566710a589c5a387a5d2da8d5ce25f23173cfcfcc7661
 SHA512 
f4b099aa012c3d117c58dafcaa3edfc273ad7d5acf30c84d213eb15ae101559e7da3f1810285909153e85d73ac58dfedc34e6730c264cb0ae013e19a1213d691
 DIST microsoft.netframework.referenceassemblies.net452.1.0.3.nupkg 19845441 
BLAKE2B 
a43644d3cba19eadb7e4dce9daa0e84b4c646e9399f5ee3680f44f23487f18fdb8d4748300f0837aee7d023aaa4779b5086c4cde6073ca5f489af63146473e3d
 SHA512 
125b35cb0b1b2c3fd7a44810595d3232900e1e4d0b79ccf88d698e78bc33192149dca15707ee7bc0a8d7e2b109c6a25ff7b08816752670efa9bc8cfc2df4d7bf
 DIST microsoft.testplatform.extensions.trxlogger.17.9.0.nupkg 441869 BLAKE2B 
a250401ca8d21f51ee8fae91dc3b83b5453280b22f10b77a481e0e27735ae5cd1c7f0f04dcb0b5b0e74192c3e171e8d7fcad1a5f771835a7ce846d0cc7042105
 SHA512 
9b6c67ded3f150a2daae6f5a6db52d86e0338b3aea60a07dfeec67ca630e3ca9a5a8715c71c5bb0508760b877f5e2bd2f135d7f18f9bab9c81991a2fd44f00a6
 DIST microsoft.testplatform.objectmodel.16.11.0.nupkg 2966263 BLAKE2B 
5bf6464154b639b478c4000dd64e7570d124a446680583bceafee1cf3eafdc6a7bc10cacc665327a562a28fe0268c5d749dad0ef11376880f76310f1e3cb055c
 SHA512 
105ec3c2d2d476abfa9fec73b25a701d815b743512b575e7ee2373ef7e459f767688be7ecdb555849a8342e07e922ab819dfae637e8b23b36ed918655d9a7471
@@ -144,7 +125,6 @@ DIST nerdbank.streams.2.6.81.nupkg 438160 BLAKE2B 
6a7de1956b5dee56275279cd20e5fa
 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
@@ -213,7 +193,6 @@ DIST system.appcontext.4.3.0.nupkg 147030 BLAKE2B 
fafd6d050e77a265cf41c6d00a3ab3
 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
@@ -314,7 +293,6 @@ DIST system.reflection.primitives.4.0.1.nupkg 281678 
BLAKE2B 3aba0904b106e846cc9
 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
@@ -345,18 +323,15 @@ DIST system.security.accesscontrol.6.0.0.nupkg 322676 
BLAKE2B 4a263e610c98360396
 DIST system.security.claims.4.3.0.nupkg 147933 BLAKE2B 
bd00c65069b23415c146861ba7ba768a0da69f9f0a4496fb1f43780222f899ae62ed35cd0bc5a0953d8b13920800b59414cccad7e6bf6614ee675680c06e27cb
 SHA512 
ab72b90801f6c051a2b31645448eebfca74642b3cfa1d51f80e21a0d0d7ad44d3366dea139347e2852781b7f3bae820df16c3eb188a2c96244df05394ed72c86
 DIST system.security.cryptography.algorithms.4.3.0.nupkg 402204 BLAKE2B 
3bed21fdd12f005b6a7eb225623e71880a37c79cfdaa770971b6563d8e7f613a64617c73deedc2c6c31fd8e908f9ac95903a1004f1376bd914431f89c9dcc8f0
 SHA512 
7641d70c2ba6f37bf429d5d949bda427f078098c2dcb8924fd79b23bb22c4b956ef14235422d8b1cc5720cbbcc6cfee8943d5ff87ce7abf0d54c5e8bce2aa5e2
 DIST system.security.cryptography.cng.4.3.0.nupkg 290620 BLAKE2B 
aaa7b495dd7a8884b125f05b62d3e641cfb04e82f8f376f1e1839cdf124de4643dcf1e6de02e0296768db5f430a33d75cd2003261a815059055ffd5f050c65c4
 SHA512 
6272273414eaa777e78dca1b5ecbbdf65e9659908082aea924df0975e71f4c1b47f85617edf90ead57078c29513a160ca62f123be9f9f339dfb9c9386844f5ea
-DIST system.security.cryptography.cng.4.7.0.nupkg 938022 BLAKE2B 
820d39e89eb5a880e5c34f885fcae012b3cb37f82280adb22e67d8137f0040b71a69acb28efa125c373ae165464f38595f3c8030a5bf79649bce9dc7d264f55c
 SHA512 
b0ee54be292ea15b02b82d9925399065deb6dae5aa1bb71771bb9467e8f53882b26a0ddc6ff43121b4d2999c5858399e61a779e04d14a4f4e8e0dfcf8baebbba
 DIST system.security.cryptography.csp.4.3.0.nupkg 117553 BLAKE2B 
93f32c719f999c566ac7ebc486854778051ca885632a3ecf5b50af05a700df092a0e13ce08f16c854aee3ef06bc27fc61e6b03f79f3170eeb2bcce7e22d9728f
 SHA512 
43317591747a18f52f683187e09adfe0e03573e6dac430bf3ba13f440cdb1c7bb1f9205369d5f3b2a0f3fdf9604d5ba1e6d94a899a25d2c533e453338578f351
 DIST system.security.cryptography.encoding.4.3.0.nupkg 144382 BLAKE2B 
9f8e6a4ce5fe2a4de2be0c827e914a02a257011b508e97e289b9de4657b598fdbba4e64dcf23a29af6e4910af41e62f3b3f0d6a2156ab691e2e00ad76c6499ef
 SHA512 
5c26add23e63542f37506f5fa1f72e8980f03743d529cd8e583d1054b8d8a579fb773fa035a00d9073db84db6be4f47cac340d1ebc6d23dd761dbdbd600075e0
 DIST system.security.cryptography.openssl.4.3.0.nupkg 71949 BLAKE2B 
ec1654bbd09e1244d260d1ddbefcbdeed207816a2719f3bb0f055a7a140d466f186667b1f202e0d1a3eda97f247d2c1776ad6f38f50de58960da5f0dfd2a2d08
 SHA512 
64530a19489730f873f8c68e6b245135ea260c02d68591880261768358d0145795132ba5ee877741822ff05dcd0c61edca27696ef99e8f9302a21cadf3b1329f
-DIST system.security.cryptography.pkcs.4.7.0.nupkg 1256766 BLAKE2B 
dd9cc730d4021a00a8e24291934abe7a68738c33459bf2656bf8a5cd342347de769e1af72b29826bb31d7a63503f900f0950bda451f090d85d5b19802f0f6d3f
 SHA512 
f0ff06ff4cea14cbd6d53750376b2c4022c4e4a0c0f2b1519e7d1cb4cb5700d8384dd72be01e7321a76bb2c115b55871bff919b8b5c6d858d03923c6e527b9e3
 DIST system.security.cryptography.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

diff --git a/dev-lang/dafny/dafny-4.10.0.ebuild 
b/dev-lang/dafny/dafny-4.10.0.ebuild
deleted file mode 100644
index 43a691fbb0f8..000000000000
--- a/dev-lang/dafny/dafny-4.10.0.ebuild
+++ /dev/null
@@ -1,627 +0,0 @@
-# Copyright 1999-2025 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-PYTHON_COMPAT=( python3_{11..13} )
-
-DOTNET_PKG_COMPAT="8.0"
-NUGETS="
-boogie.abstractinterpretation@3.4.3
-boogie.basetypes@3.4.3
-boogie.codecontractsextender@3.4.3
-boogie.concurrency@3.4.3
-boogie.core@3.4.3
-boogie.executionengine@3.4.3
-boogie.graph@3.4.3
-boogie.houdini@3.4.3
-boogie.model@3.4.3
-boogie.provers.leanauto@3.4.3
-boogie.provers.smtlib@3.4.3
-boogie.vcexpr@3.4.3
-boogie.vcgeneration@3.4.3
-castle.core@4.4.0
-commandlineparser@2.8.0
-commandlineparser@2.9.1
-coverlet.collector@3.2.0
-diffplex@1.7.0
-humanizer.core@2.2.0
-jetbrains.annotations@2021.1.0
-mediatr@8.1.0
-microsoft.bcl.asyncinterfaces@1.1.1
-microsoft.bcl.asyncinterfaces@5.0.0
-microsoft.bcl.asyncinterfaces@6.0.0
-microsoft.build.framework@17.0.0
-microsoft.build.locator@1.4.1
-microsoft.build.tasks.core@17.0.0
-microsoft.build.utilities.core@17.0.0
-microsoft.build@17.0.0
-microsoft.codeanalysis.analyzers@3.0.0
-microsoft.codeanalysis.analyzers@3.3.2
-microsoft.codeanalysis.common@3.7.0
-microsoft.codeanalysis.common@4.0.1
-microsoft.codeanalysis.csharp.workspaces@4.0.1
-microsoft.codeanalysis.csharp@3.7.0
-microsoft.codeanalysis.csharp@4.0.1
-microsoft.codeanalysis.visualbasic.workspaces@4.0.1
-microsoft.codeanalysis.visualbasic@4.0.1
-microsoft.codeanalysis.workspaces.common@4.0.1
-microsoft.codeanalysis.workspaces.msbuild@4.0.1
-microsoft.codeanalysis@4.0.1
-microsoft.codecoverage@16.11.0
-microsoft.codecoverage@16.9.4
-microsoft.codecoverage@17.1.0
-microsoft.csharp@4.0.1
-microsoft.dotnet.platformabstractions@2.0.4
-microsoft.extensions.configuration.abstractions@2.0.0
-microsoft.extensions.configuration.abstractions@5.0.0
-microsoft.extensions.configuration.binder@2.0.0
-microsoft.extensions.configuration.binder@5.0.0
-microsoft.extensions.configuration.commandline@5.0.0
-microsoft.extensions.configuration.fileextensions@5.0.0
-microsoft.extensions.configuration.json@5.0.0
-microsoft.extensions.configuration@2.0.0
-microsoft.extensions.configuration@5.0.0
-microsoft.extensions.dependencyinjection.abstractions@2.0.0
-microsoft.extensions.dependencyinjection.abstractions@5.0.0
-microsoft.extensions.dependencyinjection@2.0.0
-microsoft.extensions.dependencyinjection@5.0.0
-microsoft.extensions.dependencymodel@2.0.4
-microsoft.extensions.fileproviders.abstractions@5.0.0
-microsoft.extensions.fileproviders.physical@5.0.0
-microsoft.extensions.filesystemglobbing@5.0.0
-microsoft.extensions.logging.abstractions@2.0.0
-microsoft.extensions.logging.abstractions@5.0.0
-microsoft.extensions.logging.configuration@5.0.0
-microsoft.extensions.logging.console@5.0.0
-microsoft.extensions.logging@2.0.0
-microsoft.extensions.logging@5.0.0
-microsoft.extensions.options.configurationextensions@2.0.0
-microsoft.extensions.options.configurationextensions@5.0.0
-microsoft.extensions.options@2.0.0
-microsoft.extensions.options@5.0.0
-microsoft.extensions.primitives@2.0.0
-microsoft.extensions.primitives@5.0.0
-microsoft.net.stringtools@1.0.0
-microsoft.net.test.sdk@16.11.0
-microsoft.net.test.sdk@16.9.4
-microsoft.net.test.sdk@17.1.0
-microsoft.netcore.platforms@1.0.1
-microsoft.netcore.platforms@1.1.0
-microsoft.netcore.platforms@2.1.2
-microsoft.netcore.platforms@3.0.0
-microsoft.netcore.platforms@3.1.0
-microsoft.netcore.targets@1.0.1
-microsoft.netcore.targets@1.1.0
-microsoft.netframework.referenceassemblies.net452@1.0.2
-microsoft.netframework.referenceassemblies.net452@1.0.3
-microsoft.netframework.referenceassemblies@1.0.2
-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.systemevents@4.7.0
-microsoft.win32.systemevents@6.0.0
-moq@4.16.1
-nerdbank.streams@2.6.81
-netstandard.library@1.6.1
-netstandard.library@2.0.3
-newtonsoft.json@11.0.2
-newtonsoft.json@13.0.1
-newtonsoft.json@9.0.1
-nuget.frameworks@5.0.0
-nuget.frameworks@5.11.0
-omnisharp.extensions.jsonrpc.generators@0.19.5
-omnisharp.extensions.jsonrpc.testing@0.19.5
-omnisharp.extensions.jsonrpc@0.19.5
-omnisharp.extensions.languageclient@0.19.5
-omnisharp.extensions.languageprotocol.testing@0.19.5
-omnisharp.extensions.languageprotocol@0.19.5
-omnisharp.extensions.languageserver.shared@0.19.5
-omnisharp.extensions.languageserver@0.19.5
-rangetree@3.0.1
-runtime.any.system.collections@4.3.0
-runtime.any.system.diagnostics.tools@4.3.0
-runtime.any.system.diagnostics.tracing@4.3.0
-runtime.any.system.globalization.calendars@4.3.0
-runtime.any.system.globalization@4.3.0
-runtime.any.system.io@4.3.0
-runtime.any.system.reflection.extensions@4.3.0
-runtime.any.system.reflection.primitives@4.3.0
-runtime.any.system.reflection@4.3.0
-runtime.any.system.resources.resourcemanager@4.3.0
-runtime.any.system.runtime.handles@4.3.0
-runtime.any.system.runtime.interopservices@4.3.0
-runtime.any.system.runtime@4.3.0
-runtime.any.system.text.encoding.extensions@4.3.0
-runtime.any.system.text.encoding@4.3.0
-runtime.any.system.threading.tasks@4.3.0
-runtime.any.system.threading.timer@4.3.0
-runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.native.system.io.compression@4.3.0
-runtime.native.system.net.http@4.3.0
-runtime.native.system.security.cryptography.apple@4.3.0
-runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.native.system@4.0.0
-runtime.native.system@4.3.0
-runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.opensuse.42.1-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.osx.10.10-x64.runtime.native.system.security.cryptography.apple@4.3.0
-runtime.osx.10.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.rhel.7-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.ubuntu.14.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.ubuntu.16.04-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.ubuntu.16.10-x64.runtime.native.system.security.cryptography.openssl@4.3.0
-runtime.unix.microsoft.win32.primitives@4.3.0
-runtime.unix.system.console@4.3.0
-runtime.unix.system.diagnostics.debug@4.3.0
-runtime.unix.system.io.filesystem@4.3.0
-runtime.unix.system.net.primitives@4.3.0
-runtime.unix.system.net.sockets@4.3.0
-runtime.unix.system.private.uri@4.3.0
-runtime.unix.system.runtime.extensions@4.3.0
-serilog.extensions.logging@3.0.1
-serilog.settings.configuration@3.1.0
-serilog.sinks.debug@2.0.0
-serilog.sinks.file@5.0.0
-serilog.sinks.inmemory@0.11.0
-serilog@2.12.0
-system.appcontext@4.1.0
-system.appcontext@4.3.0
-system.buffers@4.3.0
-system.buffers@4.4.0
-system.codedom@4.4.0
-system.collections.concurrent@4.3.0
-system.collections.immutable@1.5.0
-system.collections.immutable@1.7.0
-system.collections.immutable@1.7.1
-system.collections.immutable@5.0.0
-system.collections.nongeneric@4.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.convention@1.0.31
-system.composition.hosting@1.0.31
-system.composition.runtime@1.0.31
-system.composition.typedparts@1.0.31
-system.composition@1.0.31
-system.configuration.configurationmanager@4.7.0
-system.configuration.configurationmanager@6.0.0
-system.console@4.3.0
-system.diagnostics.debug@4.0.11
-system.diagnostics.debug@4.3.0
-system.diagnostics.diagnosticsource@4.3.0
-system.diagnostics.tools@4.0.1
-system.diagnostics.tools@4.3.0
-system.diagnostics.tracesource@4.3.0
-system.diagnostics.tracing@4.3.0
-system.drawing.common@4.7.0
-system.drawing.common@6.0.0
-system.dynamic.runtime@4.0.11
-system.dynamic.runtime@4.3.0
-system.globalization.calendars@4.3.0
-system.globalization.extensions@4.3.0
-system.globalization@4.0.11
-system.globalization@4.3.0
-system.io.compression.zipfile@4.3.0
-system.io.compression@4.3.0
-system.io.filesystem.primitives@4.0.1
-system.io.filesystem.primitives@4.3.0
-system.io.filesystem@4.0.1
-system.io.filesystem@4.3.0
-system.io.pipelines@4.7.3
-system.io.pipelines@5.0.1
-system.io@4.1.0
-system.io@4.3.0
-system.linq.async@6.0.1
-system.linq.expressions@4.1.0
-system.linq.expressions@4.3.0
-system.linq@4.1.0
-system.linq@4.3.0
-system.memory@4.5.3
-system.memory@4.5.4
-system.net.http@4.3.0
-system.net.nameresolution@4.3.0
-system.net.primitives@4.3.0
-system.net.sockets@4.3.0
-system.net.websockets@4.3.0
-system.numerics.vectors@4.4.0
-system.objectmodel@4.0.12
-system.objectmodel@4.3.0
-system.private.uri@4.3.0
-system.reactive@4.4.1
-system.reflection.emit.ilgeneration@4.0.1
-system.reflection.emit.ilgeneration@4.3.0
-system.reflection.emit.lightweight@4.0.1
-system.reflection.emit.lightweight@4.3.0
-system.reflection.emit@4.0.1
-system.reflection.emit@4.3.0
-system.reflection.extensions@4.0.1
-system.reflection.extensions@4.3.0
-system.reflection.metadata@1.6.0
-system.reflection.metadata@5.0.0
-system.reflection.primitives@4.0.1
-system.reflection.primitives@4.3.0
-system.reflection.typeextensions@4.1.0
-system.reflection.typeextensions@4.3.0
-system.reflection@4.1.0
-system.reflection@4.3.0
-system.resources.extensions@4.6.0
-system.resources.resourcemanager@4.0.1
-system.resources.resourcemanager@4.3.0
-system.runtime.caching@6.0.0
-system.runtime.compilerservices.unsafe@4.4.0
-system.runtime.compilerservices.unsafe@4.5.2
-system.runtime.compilerservices.unsafe@4.7.0
-system.runtime.compilerservices.unsafe@4.7.1
-system.runtime.compilerservices.unsafe@5.0.0
-system.runtime.extensions@4.1.0
-system.runtime.extensions@4.3.0
-system.runtime.handles@4.0.1
-system.runtime.handles@4.3.0
-system.runtime.interopservices.runtimeinformation@4.0.0
-system.runtime.interopservices.runtimeinformation@4.3.0
-system.runtime.interopservices@4.1.0
-system.runtime.interopservices@4.3.0
-system.runtime.numerics@4.3.0
-system.runtime.serialization.primitives@4.1.1
-system.runtime@4.1.0
-system.runtime@4.3.0
-system.security.accesscontrol@4.6.0
-system.security.accesscontrol@4.7.0
-system.security.accesscontrol@6.0.0
-system.security.claims@4.3.0
-system.security.cryptography.algorithms@4.3.0
-system.security.cryptography.cng@4.3.0
-system.security.cryptography.cng@4.7.0
-system.security.cryptography.csp@4.3.0
-system.security.cryptography.encoding@4.3.0
-system.security.cryptography.openssl@4.3.0
-system.security.cryptography.pkcs@4.7.0
-system.security.cryptography.primitives@4.3.0
-system.security.cryptography.protecteddata@4.7.0
-system.security.cryptography.protecteddata@6.0.0
-system.security.cryptography.x509certificates@4.3.0
-system.security.cryptography.xml@4.7.0
-system.security.permissions@4.7.0
-system.security.permissions@6.0.0
-system.security.principal.windows@4.3.0
-system.security.principal.windows@4.6.0
-system.security.principal.windows@4.7.0
-system.security.principal@4.3.0
-system.text.encoding.codepages@4.0.1
-system.text.encoding.codepages@4.5.1
-system.text.encoding.extensions@4.0.11
-system.text.encoding.extensions@4.3.0
-system.text.encoding@4.0.11
-system.text.encoding@4.3.0
-system.text.json@4.7.0
-system.text.json@5.0.2
-system.text.regularexpressions@4.1.0
-system.text.regularexpressions@4.3.0
-system.threading.channels@4.7.1
-system.threading.tasks.dataflow@4.9.0
-system.threading.tasks.extensions@4.0.0
-system.threading.tasks.extensions@4.3.0
-system.threading.tasks.extensions@4.5.3
-system.threading.tasks.extensions@4.5.4
-system.threading.tasks@4.0.11
-system.threading.tasks@4.3.0
-system.threading.threadpool@4.3.0
-system.threading.timer@4.3.0
-system.threading@4.0.11
-system.threading@4.3.0
-system.windows.extensions@4.7.0
-system.windows.extensions@6.0.0
-system.xml.readerwriter@4.0.11
-system.xml.readerwriter@4.3.0
-system.xml.xdocument@4.0.11
-system.xml.xdocument@4.3.0
-system.xml.xmldocument@4.3.0
-tomlyn@0.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}.git";
-else
-       SRC_URI="https://github.com/dafny-lang/${PN}/archive/v${PV}.tar.gz
-               -> ${P}.tar.gz"
-
-       KEYWORDS="amd64"
-fi
-
-SRC_URI+="
-       ${NUGET_URIS}
-       test? (
-               https://registry.npmjs.org/bignumber.js/-/bignumber.js-9.1.2.tgz
-       )
-"
-
-LICENSE="MIT"
-SLOT="0"
-IUSE="test"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
-       !dev-lang/dafny-bin
-       >=virtual/jre-1.8:*
-       sci-mathematics/z3
-"
-DEPEND="
-       >=virtual/jdk-1.8:*
-"
-BDEPEND="
-       ${RDEPEND}
-       dev-dotnet/coco
-       test? (
-               ${PYTHON_DEPS}
-               >=dev-lang/boogie-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-DafnyCore-csproj.patch"
-       "${FILESDIR}/dafny-3.12.0-DafnyRuntime-csproj.patch"
-       "${FILESDIR}/dafny-4.5.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}.tar.gz"
-       fi
-}
-
-src_prepare() {
-       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-3.12.0-DafnyCore-csproj.patch 
b/dev-lang/dafny/files/dafny-3.12.0-DafnyCore-csproj.patch
deleted file mode 100644
index 663c99061ad4..000000000000
--- a/dev-lang/dafny/files/dafny-3.12.0-DafnyCore-csproj.patch
+++ /dev/null
@@ -1,13 +0,0 @@
---- a/Source/DafnyCore/DafnyCore.csproj
-+++ b/Source/DafnyCore/DafnyCore.csproj
-@@ -1,9 +1,7 @@
- <Project Sdk="Microsoft.NET.Sdk">
- 
-   <Target Name="RunCoco" BeforeTargets="PreBuildEvent" 
Outputs="$(ProjectDir)Parser.cs;$(ProjectDir)Scanner.cs" 
Inputs="$(ProjectDir)Dafny.atg;$(ProjectDir)/CoCo/Parser.frame;$(ProjectDir)/CoCo/Scanner.frame">
--    <Exec Command="dotnet tool restore" />
--    <Exec Command="dotnet --info" />
--    <Exec Command="dotnet tool run coco &quot;$(ProjectDir)Dafny.atg&quot; 
-namespace Microsoft.Dafny -frames &quot;$(ProjectDir)Coco&quot;" />
-+    <Exec Command="coco &quot;$(ProjectDir)Dafny.atg&quot; -namespace 
Microsoft.Dafny -frames &quot;$(ProjectDir)Coco&quot;" />
-     <!-- Recompute files to build according to 
https://stackoverflow.com/a/44829863/93197 -->
-     <ItemGroup>
-       <Compile Include="**/*$(DefaultLanguageSourceExtension)" 
Exclude="$(DefaultItemExcludes);$(DefaultExcludesInProjectFolder);$(BaseIntermediateOutputPath)**;$(BaseOutputPath)**;@(Compile)"
 />

diff --git a/dev-lang/dafny/files/dafny-4.5.0-lit-config.patch 
b/dev-lang/dafny/files/dafny-4.5.0-lit-config.patch
deleted file mode 100644
index 87ce510a3592..000000000000
--- a/dev-lang/dafny/files/dafny-4.5.0-lit-config.patch
+++ /dev/null
@@ -1,20 +0,0 @@
-index d7945a9..2a175fe 100644
---- a/Source/IntegrationTests/TestFiles/LitTests/LitTest/lit.site.cfg
-+++ b/Source/IntegrationTests/TestFiles/LitTests/LitTest/lit.site.cfg
-@@ -106,7 +106,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')
- 
-@@ -217,6 +217,7 @@ solverRoots = os.pathsep.join(
- print(solverRoots)
- 
- solverPath = \
-+    shutil.which("z3") or \
-     lit.util.which("z3-4.8.5", solverRoots) or \
-     lit.util.which("cvc4", solverRoots)
-