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

1 files changed, 0 insertions, 17 deletions

diff --git a/dev-lang/dafny/Manifest b/dev-lang/dafny/Manifest
index b183cfcdc2bf..a40c14cd0fc0 100644
--- a/dev-lang/dafny/Manifest
+++ b/dev-lang/dafny/Manifest
@@ -1,40 +1,24 @@
 AUX dafny-3.12.0-DafnyCore-csproj.patch 1022 BLAKE2B 6f1d895027a5991192e410f4fa6f4da36dd558d6477869e9554c21a5c0f5cde338f2b7e43b1d89eb3781b80b480f6bec8bb0fd54301205a54251b541d5aace71 SHA512 c49ffd681ef6da9b7c708414d86ac670c7c1cad67a05ace872e6baa9b4f441cb164add6bc92a5f693a3609c48f63011fefc5266eb97a8fc0b619b1d6cc013c93
 AUX dafny-3.12.0-DafnyRuntime-csproj.patch 865 BLAKE2B 33d94935c9aba72b3ef23e878d40d9b533b945c35e1aa339ef2762d75b7e50fafff70a857faac7309b500c3b48fbc5a3cc32e518d2a39f15fa2e2136c926a200 SHA512 eee2c28f577989a4ebdde70df1c4195d6e53ca083eebd1d080073e479bcd490fe495089b4771c84abdf658b87c5dc7ff7d7f9a2ac41ce58982a777f207f86244
-AUX dafny-4.1.0-lit.patch 329 BLAKE2B de07a7ce2047a2dcac6c17ec00ee08772a40c6b3f0371679ee194333abf7740b56d0d4efbeadbfcd3a895343be0d01e85c7195b6c2a43ac6ea428db0bc567af7 SHA512 c67290732332feb81718a84ddcffbda74f8af60f203decb1af30aa922ae0567a3ce5df8dad896d1c917707111423c62fa2f2fd03a77dc616eef3f6b875cab7fc
-AUX dafny-4.2.0-lit-use-system-boogie.patch 531 BLAKE2B a9b37e00fcbd204e525caecd37bd47a1697229f0b84fb4565e456fa98fcfe9dc9dc0b6f7201091dd447136ea68aaae0788e863db385d3362c9d694016516f99f SHA512 299f8b85418dd3db27709e29ca7528d9f04eff79b6c72a41c21387f1efd50abd000a5296257d311c3d2421692b3e9485da0a5e19df6a5dcd4dcbe4693555c71f
-AUX dafny-4.3.0-net6.0-upgrade.patch 949 BLAKE2B 3ea7a94a6786193c35228ed721140b1304b706ae14398e718d55a7d1a6469af63534b82d24ed52c34e12996d89ef196472b322c10fdeef16fd922cd17f920734 SHA512 f5fb2dcb40078038b26525e986004612c6d161904ffb3379d15e4c4082a1d9e04218ab4a6800e095e11636f1b0f2743415b91fb2b0ce9ec1aa797257782e103c
 AUX dafny-4.4.0-lit-config.patch 421 BLAKE2B 70c442fd505fbe350e31212ee23746d2b43c8f713de004a8ea0c801d46be5bf98f7a2feddad94ed91661621003ae6d20c10e57b3c8a7ecd8699a012507535740 SHA512 9c010d990ebfc6ba046c61489a138f4047ed7e17121f093fac19bee274baa40fc1fbff11d6f637aaf93e55de69c30709b53291fd3991adf9938d811f6c1f9599
 AUX dafny-4.4.0-lit-system-boogie.patch 623 BLAKE2B e10f224ad87ce64af785b8f2409395d69824c921be51b6271c2c1beaf3d2020a293dadd5b2735aed32d25737431bd6d4307ac7ee28cfd3753393ac262d88395c SHA512 97e06ec2ad1f1086aeb8726f90a0316ff1d1ccfd6aaaeadd00f913d79c5e88abaa7f6ea7899a0f37ae521ad27f674bb4cbce9b7f25a1b5ee462c06adf594d146
 DIST bignumber.js-9.1.2.tgz 79226 BLAKE2B 3d2ff19d73a6fcfbcc0d03d1e9808796baae639e19973cbe0c26af4b514abc299129b8a7bc3e4e803c61af44b76f4381b1965d8fa331ea43e8a4c8fc7f98d8e7 SHA512 dbf98ac991fd2bce5bcce11f8570c11594c6775093b3ee481e9785428f65ba2046ee1821742f39d4f8f658085be84dd1e9bf6d663fd72a16e0e1fba6f8a7a9ba
-DIST boogie.abstractinterpretation.2.16.8.nupkg 29244 BLAKE2B 0e8deed122c8109b145bd2fe8f4134dbb9dfac1b934081b45e5ce89ce9147d47e6b26f6408fe47a9fb3228f8eaf783e289062991d07580d21b4092b36e6571e7 SHA512 04dcf0db58ced0f65ded090a7429bb213c9f45c7387ea0cf20f4c37ecd7630d03ead35e8029cd416296df6c5e9d2ca0cbd1c329b90fe96c19669cbf0be8828e6
 DIST boogie.abstractinterpretation.3.0.9.nupkg 29646 BLAKE2B 20b0e150d3a9a6ed11a24cd9920a97971d515207d86864a9b1cd4d554b2b3c34e27778051a9bf6d8b3178352a6cfbb33c363b2d69958f6503e17e366ca3e1147 SHA512 26b75a409b4bfe5dd4ac982ca2c1b03df2118254a9becaab74f4d44b652746faa0448ab943ee9177f6a0fd105f8ce015a4403b6ff58df12201b542c50618b222
-DIST boogie.basetypes.2.16.8.nupkg 25567 BLAKE2B d4bbadd546e856f7eb308555f9cf14e5e60e97a442ba38b4f7cc563f41f2f8c33c441b34df65a05823c91201056f391dfeb89f268697475ec8cb0666a4a1a68f SHA512 34854b8ddaf94fc88ce459b8eb7164e1aa0b8fc1274b5772f44bbafd70996f1b68fc06d1c0575492ec6cb7d9878574dc0ceb27b6345b66b224cca1da5de7fa3d
 DIST boogie.basetypes.3.0.9.nupkg 25717 BLAKE2B c1e549c6d7c675fd3b1acbe1a39fb5854d182b70ebab734350439dfd0cfd2be879b1d2b9c91ad832dae8e6f695fbc41510285bc7573b11fd51a170d4bbc50780 SHA512 d561f66a89af09cc07596bd1079993010a325ab2f22f2cc85408d12fd1286b15b0d7774b2e4037465a3b78aa829205f77b8b0b2efae9b9f3145eca6e82ced4d0
-DIST boogie.codecontractsextender.2.16.8.nupkg 17326 BLAKE2B 8b530bcc0d090f79d0dc24ddc89079468e7718c90f198dbe014b80a34a112253d35fcb7cd77495059bba71a1b30c8c86d27ae4902a76f20a57c53bd8edaa4dc5 SHA512 da0a8ed7bff2aff245a5c9fd1e2600cc4813e7f87ba9d135df57ee2ace433611f4a2007c860662f330b785add73939302d27623482feaf400eb0aa40fae6b1ef
 DIST boogie.codecontractsextender.3.0.9.nupkg 17455 BLAKE2B 6a6f060e16942750e52bb72630b306cb591212ddd9960ac9778efe44239300f19b5793bb0cb94cb66e01a16f0337bf77bc6f39d2ce680f5ae94c566e2420331b SHA512 b15d7b0d24d5464189daf797e02b7e6342841de5c7cc3a15c954ee270d805afe0dfc3e5268dba5abbb636e2de2c859bf7a3f442180fd3a7cd2f70ec227fdfc24
-DIST boogie.concurrency.2.16.8.nupkg 93380 BLAKE2B 5c156974dd56e4cdb1162f99fd7af6d2440877139be008ebf812cd394b52396eb0dad2afd02718248246b6adbb8a497e31faf96aa5239c99eac37d31acbd550d SHA512 fe2f4890f462508d71d440ebc07ac00b7717ceb16ebf6689f5f684f6bfa7e589a36a73fefb751aa129092dbf81dd7052a1c74c1186d5b7e28325e93a7f38fefe
 DIST boogie.concurrency.3.0.9.nupkg 93215 BLAKE2B aa8e969eea49750503249b1f196ed3c4f388fae2a39c46c61c4dcc343feb15b3d98d0b87065afe1f82fa0d8bbeea895b3362bc2ecca26daba0b0316ab8fad648 SHA512 618e4e3c06354b8ff8e6c23341915f1bd92366aa99dd8f9ef217110191f653be2a4d30cb83d004d4a34dcd7244e9f0603179859d1371109f1ae7706046643cbf
-DIST boogie.core.2.16.8.nupkg 201194 BLAKE2B 05e543b5dd70bdf78eab971a8648d5873a386c9b50574d011a7e815f45c95d506c8a1d1416f571a6dd418a9c4165d4e55f17c89ea55e6eb10cc83da1f2c29d74 SHA512 7a2969b3be2cee011f2683b190a4d1e7db254ba9078963d3f77e8d6de091c8e3f67be25b89d123f33266818834072ebfc853f9d384c626400215e8353fab324c
 DIST boogie.core.3.0.9.nupkg 208520 BLAKE2B 180b099ac167eb4cdc2b96ebfecc0e70789d0bcb01fe2842b69520b1757efbc8cf0ca56846dee6ab17d5a88c38920273368803d646a143f4010926de81c420c1 SHA512 eaa0289840caed37aee889a66b60e0389729f2233b568c58de22790fd3eb3e93478b17d58d290c1622ccb7bf788f8a98cb942ed6124c8aa3efe5beb44889fbe0
-DIST boogie.executionengine.2.16.8.nupkg 83164 BLAKE2B 90af3c4ef8da9ad0bb38ffe82257b7615ed11d6f42c8c77534f91b4cf137819640b686898170725f7efbfa1277e8f8a2d7138a6980f09498af17f02b7ce50101 SHA512 c58be956eed537d8f1455ec70b4845982201595cf4c75f60437cf2edc1ab31e67fb9cd718c86c5bd311049a4f5c4305ba32f66595992e2e24c45c808a1fde709
 DIST boogie.executionengine.3.0.9.nupkg 83903 BLAKE2B c3b8caf6097ab8f2b81b72593d7802674a8f6069f5601431a709095e0c785dea07c8b7b4033954ee7786e518973c9fe275d59be698918bcb5177bd90e3583525 SHA512 d80374d6df8f663ddef0a2bf004e9f414ca9d79e02861344f5878a1033db17a7d5102f92c4299e16ad5d1cf421a7cec4702dc320a5969a7699bcd2c31e933a1e
-DIST boogie.graph.2.16.8.nupkg 27805 BLAKE2B c76003c7d961103766957f46f0730cec6a888b942840c0f8e4b2a8b5d2e49e13c734849671c150e80027179b5c0bf132b8af3f5f88e8975e656c13b92dbea461 SHA512 89c80a4a9f3810a3d42578c4576a63fc3d735710f7da62776ba6272c8ae2dbb44fd92dadc152a718af6200a1b7bcdb32b4fe0c2ebdb6f2eccad565ae36de5a78
 DIST boogie.graph.3.0.9.nupkg 27933 BLAKE2B 5ba929366367792f0288655c5f304ac6ad88d3a89c84df5082d78939306bd6e3441a1c517a060fd1c32eaa7d25e14a3eccf7c40873d413b68a5c36a109353ba8 SHA512 1b65fbf349c9516a18e2cdb876a343ee037096ee528933edc2565e43c5e79bcb2dcc56b7e095b150f6c70aa55b217789d04e6c4109e369cd2e9d96c465fd76f8
-DIST boogie.houdini.2.16.8.nupkg 52498 BLAKE2B aa93321fd931d5bcaa37f1a71dd07da904fe0a508a1455a049873b6b79bc8c34429e828260f4a15939c915c73cc2e811cc4a46e06f7e569d9fe6001247e45dfe SHA512 c32a7763f398499282115dfe83e9424c453a4f54dd43d4aab6bfdc082f2011e588d850ab6de95b59ceb069f12bd3a24c6ac67a96d510b7c21dee0b18d0b08fc5
 DIST boogie.houdini.3.0.9.nupkg 52700 BLAKE2B 686c532de540e11d70be62bf95f6398c21e12ff9386a295b21d58882d105933068524d865b93eba8996bc29f80b05285196a2253493ddcaee13217797b0506ba SHA512 6ea2874623a582529e2e6921ca4c05e76602e6bf11f53323dbb5269e6201b1e1d2ec9bba7641a4918a95fb64f5a488841fab92da8ecc7c3fb033d0e286a4d0a9
-DIST boogie.model.2.16.8.nupkg 26750 BLAKE2B 2ea73b107c2261de30bd9f97985af96fad15506d3694f4eca83ae6a0e634a77c6aeea56f6587fe7e8ed6f2edf8f7ad487ec189deed86f9f553ec517fd734b73f SHA512 a4b780baddb8760843cdb55816ad8328e427cd6e6af3fb314e634291217a0fb30a1083b8a66e6e21cea5cd655cbabec68230fd2af919c7e1c03fab9e828d789e
 DIST boogie.model.3.0.9.nupkg 26904 BLAKE2B ebc9e26fe815a7133e87febf8e4bf7af5af4b565e099dc2dfc45515e4e1a4559643d189c1ba5d0d21d230be958e3751306735c533fc99ed95acca740b22887ca SHA512 54a13e45ff1d53eed7cd372997525008c49075783df30a6159958c319c0ae661599bf08ec6bf9ebcdc45c85c97e2ca1d4cb33139db78a5abc50bd018a55c125b
-DIST boogie.provers.smtlib.2.16.8.nupkg 70449 BLAKE2B 18dfb53301792e6f1c300251c2dbb0e97305302e6a37b8d265c46089e9454cc27836542a1a1e4cb53663973c8a5052cfc01500ffa6bb33f27c855d31fe05e4f4 SHA512 c02db395a05d85595e8ce03a4cb114cc67722c2083f7a9f4c9c794edc8f664db1c5d9094ab1a831f7da723fdc953bff9e39e756b320f46853698c165f6ac3d33
 DIST boogie.provers.smtlib.3.0.9.nupkg 70598 BLAKE2B 49195c7478a7c82fef6e15fb57bea2ddc891f5145fb7e655fc5b84fa4989d209aa0eff6bca8d57da9d08f6df026ee8cfb14d37953267048f5e191ad0520dcd74 SHA512 1c290058568cb170c0774779c8264f5e05700784bf21369852c0b0dd581665e64f9d23f98cd2ee22124b5a2866af56ad59fa56925212eae5b7ba26833d7034f1
-DIST boogie.vcexpr.2.16.8.nupkg 73410 BLAKE2B a47f0badc0881fe6e200992e04ec1b8e153ae20fe9f10c5967ef8c2437c322e942b396c2d10c1ae867d9259739eec4070b9235008666c39ec4f1bf3aeee5d530 SHA512 826fdb450d0e362edf79b9149eb2d9c999eab3c8236f2fb566b0af0f8cedf4b30ed24a4e181a409af004edf5bac23e2ffa7b218c55ca95f89b90eafb92fd6bb3
 DIST boogie.vcexpr.3.0.9.nupkg 74092 BLAKE2B 978887817f7d48d26d999b2f0a37adee927506aa6eb2e7a93b78567b8fc67411e1cd56e0ee0876d95473edc0dc5068f69524093f8ffd7b4f109490c815a28b80 SHA512 024e898e35c933e4b1c55547624d5a3c531245ac1a8b9c03a2d5955d702bc1d51cbfcac0aaf214e9f0f3decfafaab02761490b02bc6ec5c385c2a20778c33de2
-DIST boogie.vcgeneration.2.16.8.nupkg 89218 BLAKE2B fdd76f0946962ac7d4c71498592f7309d706f932301ba5d2dd19a609426691c3ca8294845dadf47d6f33fb8ca54b915793174a3fbcf58cb2c2eb6f2b32460e49 SHA512 8cc9b1d373dd1e52141c32170de058474037eac398e2b3a3bc3de1cb4ae71776ad4a6cf6d486ece9a64ce48850295210b1d244081bf1f70c2f9eff83e7c811b7
 DIST boogie.vcgeneration.3.0.9.nupkg 90650 BLAKE2B 435902e5892351f6aba902d3e3cf89c719c68ccff2075500fab607b6af64dda7837864284a3c44fc3a3ac17201355c1249c5ac2ed4ed61a2f1c3867b1338f18d SHA512 a9bb6155275f6f86ef5be7d26be560c8fd1f6f976da552cb038dd7eb41331ebcfb694f0b6367f73a778550e0545dd695c8a35d568cd0c9bd78fcf30c894cc490
 DIST castle.core.4.4.0.nupkg 916004 BLAKE2B 7404f946c140bc4c22132282a4a12694328bac2f37f3cae06c595076068dbedc808465e352f083450cea3e3869698f91b7a5b2b55c08f29f4a9feba7f15abf74 SHA512 7626c347f82038bc29b0b2ae399937047aead260ed85ff8c107d36adbe901d729be59cd89a5f98ef45da2d1883c8374b6f286c81c044a5a2b69ab4b5dde9ce98
 DIST commandlineparser.2.8.0.nupkg 475554 BLAKE2B e55eda3a96441169220e5b081f432d8445d719cbcf8e86527920d44085e6e97934e20aa0266bc5dbdc16ba1a6daa6ece55bc2c63266c9d733ab4992f2fe3e0a1 SHA512 8c276513dfe91e5bc72cfb3b96a0d24411ee3bd2e9832d423f6ade3f3964a011dbb977ca90601750fa133a0a25fe72f66955be7f69a72f5d6b73c7f313094b5f
 DIST commandlineparser.2.9.1.nupkg 496069 BLAKE2B e2c4b38841f83d6bc10432b8055af90369f1fe0a10105a58b51b44cd48e5d84cb0b5e4b19f444d8c81b38646a62c7c4d11cbd710e92fea68be3ebea6ab98e3f1 SHA512 4f364e45c9668c7e7cc6a922b488f3fa523033c20d7a432694f0a6af05ce528ea0481d8375e2f4f1032c6990347b4803ce9a0e48068c6fe15ec46fb1254f085d
 DIST coverlet.collector.3.2.0.nupkg 2209480 BLAKE2B 175bcfcb9d6e5177d44f2d607f2411cbe77d6009d096bbc84372e33d7be972d3e39ec39d7f2669b4b91f4bcf44f6ddd46bc91541c0cc4843426e2dd1073bf5c2 SHA512 b63d02a5d3233805b42f0b8cc76f40c8d9f5a0117beb6bdb2ab147f5521bb99919b29d51ff91767ce0bfcab92d25fc8fe794133cadc60da3e009ae18d10fc920
-DIST dafny-4.3.0.tar.gz 5922075 BLAKE2B ba5888f64c194fefaabe4e817422d87093de373920fa66ed6ef9bce5471fa2b32681aaf16bcd7b6a1933fd822747843da9f3208c8a9ea9e8e5b9463e3abb12d9 SHA512 2989c7c7030ca6dd3df0a43e2c099e3d0b383ac23058a1f6a6a7579e764c2842f241f17594f3b385945b4f59aa17039b5c34a9165be86a15d8441dc3ea09ca58
 DIST dafny-4.4.0.tar.gz 6241907 BLAKE2B 43f5b6bed5ea0bc6f8de04650b2f97c0092df1df47aba9bf0c6b9210677077427c67cc80364f659305b7d851c178439a1536864dfb7c6396b4ac6517789fc83d SHA512 33789f10b75a1946aab552f11f40296682156bab7cb08cae431f00f6fdb6b12d3211ec2f423a42adb78a3245b19ab8f772dafca4d1448cb30077268680f73534
 DIST diffplex.1.7.0.nupkg 69699 BLAKE2B 9c7d6eab09e7df1d791183bbfc4cc46b7bea8dd4b5d09fd3e7e3dc1734e6a8973f92a34387e1a2a0e3a4cbf11ffb89f8138844b2b46d2e94010932ed47158911 SHA512 a0f7a30c59889d71eba97db9bda2efbf1b458ca439d129b52ba3eae32626325e73ec13d46018603a81a33cf18a25a5b08a1b2e6a89c7e716faa47eb9db6d6474
 DIST humanizer.core.2.2.0.nupkg 104728 BLAKE2B 6c383abbbed9250f2a7eeec4478ead8f23ad53aa62a5b0f22e71fed9157aa6644a9a7518842d637885b7b63a4300754e1a7e9f3f9968725607ad30bf18e27a21 SHA512 e232459f914c8e7fc3f8dee69a85e66beb8c44515d4c83a976ee24084a91f32aae61c6f845ff38edcae02d0bcab44f9ec253277dccf2f4ae7e82235047bc6ade
@@ -372,6 +356,5 @@ DIST xunit.extensibility.execution.2.4.2.nupkg 353652 BLAKE2B f10e20d43b8030f51c
 DIST xunit.runner.visualstudio.2.4.3.nupkg 809588 BLAKE2B ce18ac895657d1efa9752e44148812a452401fa06eba913dad716cfd6743d85a09ffbc0be52276a4b90d039ab76077cca7ab5316b73009aeff2b2fe77dc465f1 SHA512 d8b0d124425db24f98335b332fe55e1a08b39af55d8834dd4a2717fd4be45f3a06ae6cb16427a17adfb31e215dab622856152bb2da715acb1946ec9e935299f4
 DIST xunit.runner.visualstudio.2.5.1.nupkg 348549 BLAKE2B 530ffc6b699a1589ad6a7fb5aa826d7238b63ea8dcd13ce5705a3d29a0ba70edeac2d9950cd1a00a13a779add761e4e14335689051a43b4cd662a330734e4df7 SHA512 0cc7887e7c7c3315db31aab79df236db9b5542e0234c27543dd5b11cf917674a8fdebc384e7331663b08d586fcf20628479a20ad7edbed4e61667903e812c6f0
 DIST xunit.skippablefact.1.4.8.nupkg 44542 BLAKE2B 3c9b09d5196e8901770099b2e5078d9373e8ebc2da058a9071707d6fee56eab7c876578734f3be5b088db6ae83c8ad81a3aadfcab38e1fd2b28bd25601fe5463 SHA512 a2c680223bda4f9bfdbd751c8d6a5319e0a4611533272860ca0a396b26c473a13065301a5d8973074ea2bb5119caaeec5a67d547a96ae5d762dc09f337f51ad1
-EBUILD dafny-4.3.0-r1.ebuild 19287 BLAKE2B 3d9e22094a7fc2f6ec8117760a1d009cf338f42c2a81becdffcbb17a828207473a11e7cb42d4e5e8013629ef77473b691240bb9cc06a76b869a3114428189bd7 SHA512 854890a61314c76b55bc823f730979f9d06d4f67abb65012f4ad2d2fbdf826d5845a268a0239f33169c8d6aae34acadbe85877358cb9eaaf0fb796d93c79cc13
 EBUILD dafny-4.4.0-r1.ebuild 18791 BLAKE2B 82082f5eeadc299a7854a17896199a6feb084b95ca383fa1cf55d402a3a2099e038cb48f8502a5abdbc1f8f31fa985f4c376dc88889c39e5c2743907f4d50d19 SHA512 f50a039842519acd5c93d5f29d563fdbfdf4615344b4b1cfb6493a1a3a54d7dd646c8db49ebaa2541f482156b6660ab72f9315a4d47107fd5bb650acd9ebc472
 MISC metadata.xml 1884 BLAKE2B e3a53cfd90a4edf1d9fd9f567ac3c23fd88cc46602cfe6aea31ddc40585ebc89ab82833dcd21c82083671a54454d62f162f45d56d6b0ec9c202148b3d5ea2c6d SHA512 4cffb9c237ed85097ce1496a72f5aa9c5a0f5758402fe66ff745a3b1dbc3f8d9a40fecc9140ee1b9418f09b62794f7e0a47f908e6ba01b370087d4df62bfa46e