diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-10-06 17:57:58 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-10-06 17:57:58 +0100 |
| commit | 8368c614e6a1232f34a14cd6495cf2f68933030d (patch) | |
| tree | fb445ed1110e0361c9c25136c00c4fb948bb46c4 /dev-lang/dafny/Manifest | |
| parent | 2b03b0d9c5ca3890c219ebd24721133e766e9bb9 (diff) | |
gentoo auto-resync : 06:10:2023 - 17:57:58
Diffstat (limited to 'dev-lang/dafny/Manifest')
| -rw-r--r-- | dev-lang/dafny/Manifest | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/dev-lang/dafny/Manifest b/dev-lang/dafny/Manifest index 20574c95e92b..937ec7b5aba7 100644 --- a/dev-lang/dafny/Manifest +++ b/dev-lang/dafny/Manifest @@ -19,7 +19,6 @@ DIST castle.core.4.4.0.nupkg 916004 BLAKE2B 7404f946c140bc4c22132282a4a12694328b DIST commandlineparser.2.8.0.nupkg 475554 BLAKE2B e55eda3a96441169220e5b081f432d8445d719cbcf8e86527920d44085e6e97934e20aa0266bc5dbdc16ba1a6daa6ece55bc2c63266c9d733ab4992f2fe3e0a1 SHA512 8c276513dfe91e5bc72cfb3b96a0d24411ee3bd2e9832d423f6ade3f3964a011dbb977ca90601750fa133a0a25fe72f66955be7f69a72f5d6b73c7f313094b5f DIST commandlineparser.2.9.1.nupkg 496069 BLAKE2B e2c4b38841f83d6bc10432b8055af90369f1fe0a10105a58b51b44cd48e5d84cb0b5e4b19f444d8c81b38646a62c7c4d11cbd710e92fea68be3ebea6ab98e3f1 SHA512 4f364e45c9668c7e7cc6a922b488f3fa523033c20d7a432694f0a6af05ce528ea0481d8375e2f4f1032c6990347b4803ce9a0e48068c6fe15ec46fb1254f085d DIST coverlet.collector.3.2.0.nupkg 2209480 BLAKE2B 175bcfcb9d6e5177d44f2d607f2411cbe77d6009d096bbc84372e33d7be972d3e39ec39d7f2669b4b91f4bcf44f6ddd46bc91541c0cc4843426e2dd1073bf5c2 SHA512 b63d02a5d3233805b42f0b8cc76f40c8d9f5a0117beb6bdb2ab147f5521bb99919b29d51ff91767ce0bfcab92d25fc8fe794133cadc60da3e009ae18d10fc920 -DIST dafny-4.2.0.tar.gz 5589047 BLAKE2B 897d62806d6949b7b0b3aa3c76575c72cb0c6f4e59916f356acbab654b5386056dcb4378e43517c6a9610dc355bc411e9234807a9ace6ebef3ff4f734bb7db08 SHA512 defe196c0488b74a1b98425a0bbf6b2fb1bc589a318663a34255c15bab2aaf5c5588205734c98c8a036315eaa571fd9b8d392327772721aa2c89f66e0dfea289 DIST dafny-4.3.0.tar.gz 5922075 BLAKE2B ba5888f64c194fefaabe4e817422d87093de373920fa66ed6ef9bce5471fa2b32681aaf16bcd7b6a1933fd822747843da9f3208c8a9ea9e8e5b9463e3abb12d9 SHA512 2989c7c7030ca6dd3df0a43e2c099e3d0b383ac23058a1f6a6a7579e764c2842f241f17594f3b385945b4f59aa17039b5c34a9165be86a15d8441dc3ea09ca58 DIST diffplex.1.7.0.nupkg 69699 BLAKE2B 9c7d6eab09e7df1d791183bbfc4cc46b7bea8dd4b5d09fd3e7e3dc1734e6a8973f92a34387e1a2a0e3a4cbf11ffb89f8138844b2b46d2e94010932ed47158911 SHA512 a0f7a30c59889d71eba97db9bda2efbf1b458ca439d129b52ba3eae32626325e73ec13d46018603a81a33cf18a25a5b08a1b2e6a89c7e716faa47eb9db6d6474 DIST humanizer.core.2.2.0.nupkg 104728 BLAKE2B 6c383abbbed9250f2a7eeec4478ead8f23ad53aa62a5b0f22e71fed9157aa6644a9a7518842d637885b7b63a4300754e1a7e9f3f9968725607ad30bf18e27a21 SHA512 e232459f914c8e7fc3f8dee69a85e66beb8c44515d4c83a976ee24084a91f32aae61c6f845ff38edcae02d0bcab44f9ec253277dccf2f4ae7e82235047bc6ade @@ -357,6 +356,5 @@ DIST xunit.extensibility.execution.2.4.2.nupkg 353652 BLAKE2B f10e20d43b8030f51c DIST xunit.runner.visualstudio.2.4.3.nupkg 809588 BLAKE2B ce18ac895657d1efa9752e44148812a452401fa06eba913dad716cfd6743d85a09ffbc0be52276a4b90d039ab76077cca7ab5316b73009aeff2b2fe77dc465f1 SHA512 d8b0d124425db24f98335b332fe55e1a08b39af55d8834dd4a2717fd4be45f3a06ae6cb16427a17adfb31e215dab622856152bb2da715acb1946ec9e935299f4 DIST xunit.runner.visualstudio.2.5.1.nupkg 348549 BLAKE2B 530ffc6b699a1589ad6a7fb5aa826d7238b63ea8dcd13ce5705a3d29a0ba70edeac2d9950cd1a00a13a779add761e4e14335689051a43b4cd662a330734e4df7 SHA512 0cc7887e7c7c3315db31aab79df236db9b5542e0234c27543dd5b11cf917674a8fdebc384e7331663b08d586fcf20628479a20ad7edbed4e61667903e812c6f0 DIST xunit.skippablefact.1.4.8.nupkg 44542 BLAKE2B 3c9b09d5196e8901770099b2e5078d9373e8ebc2da058a9071707d6fee56eab7c876578734f3be5b088db6ae83c8ad81a3aadfcab38e1fd2b28bd25601fe5463 SHA512 a2c680223bda4f9bfdbd751c8d6a5319e0a4611533272860ca0a396b26c473a13065301a5d8973074ea2bb5119caaeec5a67d547a96ae5d762dc09f337f51ad1 -EBUILD dafny-4.2.0.ebuild 16065 BLAKE2B 96c7438d40881e91b1d9db5b4298088a060772fd688e2a74d144ba2b9d0cc097ef2b0197f6b964f19841db47837434c2d0a1ebf84941340838dded62e05fd1dc SHA512 34a6b47b0f6b29b22e2379a58a40c74406dfac2f070cfedbfc4cb170360d8b2d97befd18367147569230f7d1c5d6e27ecb467b07f355a86861058b16f3ceb387 -EBUILD dafny-4.3.0.ebuild 19223 BLAKE2B e9d3da1c7833c6c17edff212527b518bb6ae8c58c90b4ec081b3fc19b48277f09bb870ca0fdf1a99d78f9d2082a8a2c7d3ed7335511c672f19b3557bc5bc054c SHA512 b3ef1635a355c1f6413b9e70b0ec14d263e084179d2ac149807b001a4bc6451b5a0e3d7d15f912dcd70b0b9804fc9f362926ff63477d42816c7fa8af7e0ce6a8 +EBUILD dafny-4.3.0.ebuild 19345 BLAKE2B dbae137a53f87ab18390d5161324a03b688c56cfbc833581e57f86a096c2ea7c5d5cdbaa12d0a3b4f63be8a4844bb35b885e0a6d9989036d25d3ad32ccca8aa7 SHA512 9bd9ce6094ddd9f821d981968750f1301c4954e70a91ed6743b8b1d1116cf5fabcfcda1395d2f58e167518d0d93776178a9cadea22aab7e918dd5ed2544528d4 MISC metadata.xml 1884 BLAKE2B e3a53cfd90a4edf1d9fd9f567ac3c23fd88cc46602cfe6aea31ddc40585ebc89ab82833dcd21c82083671a54454d62f162f45d56d6b0ec9c202148b3d5ea2c6d SHA512 4cffb9c237ed85097ce1496a72f5aa9c5a0f5758402fe66ff745a3b1dbc3f8d9a40fecc9140ee1b9418f09b62794f7e0a47f908e6ba01b370087d4df62bfa46e |