diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-03-29 07:13:27 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-03-29 07:13:27 +0000 |
| commit | 3ed757b9cee2e1fe2b18c4630539ccd36f0e0f52 (patch) | |
| tree | 647dcdb9239b18e4313d555b2770bd1c339bcebc /dev-lang/dafny/Manifest | |
| parent | c2d0ee62b92dac1051340f2da2f862794cf1bf9f (diff) | |
gentoo auto-resync : 29:03:2024 - 07:13:27
Diffstat (limited to 'dev-lang/dafny/Manifest')
| -rw-r--r-- | dev-lang/dafny/Manifest | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dev-lang/dafny/Manifest b/dev-lang/dafny/Manifest index fa26690f9fa9..5a42487b816d 100644 --- a/dev-lang/dafny/Manifest +++ b/dev-lang/dafny/Manifest @@ -34,6 +34,7 @@ DIST commandlineparser.2.9.1.nupkg 496069 BLAKE2B e2c4b38841f83d6bc10432b8055af9 DIST coverlet.collector.3.2.0.nupkg 2209480 BLAKE2B 175bcfcb9d6e5177d44f2d607f2411cbe77d6009d096bbc84372e33d7be972d3e39ec39d7f2669b4b91f4bcf44f6ddd46bc91541c0cc4843426e2dd1073bf5c2 SHA512 b63d02a5d3233805b42f0b8cc76f40c8d9f5a0117beb6bdb2ab147f5521bb99919b29d51ff91767ce0bfcab92d25fc8fe794133cadc60da3e009ae18d10fc920 DIST dafny-4.4.0.tar.gz 6241907 BLAKE2B 43f5b6bed5ea0bc6f8de04650b2f97c0092df1df47aba9bf0c6b9210677077427c67cc80364f659305b7d851c178439a1536864dfb7c6396b4ac6517789fc83d SHA512 33789f10b75a1946aab552f11f40296682156bab7cb08cae431f00f6fdb6b12d3211ec2f423a42adb78a3245b19ab8f772dafca4d1448cb30077268680f73534 DIST dafny-4.5.0.tar.gz 6365137 BLAKE2B 6233107e680e04ecc5a0d730bab4d5f2228ff04f9d83fe33688731c4226ae03b06a2c08447beda025e2e34e7d92bf6fbb57de5b6913e8cde9f61ae255d09722d SHA512 d56ba0a28bb235ad2c4baba526b4de1757a6574b9d04a195e541189ba5c24a82a7ca4d3ebbcc50244b7f35043aa80101210568f20656f21169c4cf42c41abce0 +DIST dafny-4.6.0.tar.gz 6373177 BLAKE2B 9348a9b170dd694885efe4682f05abe60240e6f7df7bde7bb53e8955c1c75a332ca6e7d6d6f38eb1aa9a83a9a5dfccea13b7683e99873c1fce12181d47679548 SHA512 abac500a27a811b434d32036ff7d877dd337a0a5917a07a7ac1fceffb1dd5d493bd07b7d518875243674b7919862a25f628fe62052983a8ff8f1450669c49b69 DIST diffplex.1.7.0.nupkg 69699 BLAKE2B 9c7d6eab09e7df1d791183bbfc4cc46b7bea8dd4b5d09fd3e7e3dc1734e6a8973f92a34387e1a2a0e3a4cbf11ffb89f8138844b2b46d2e94010932ed47158911 SHA512 a0f7a30c59889d71eba97db9bda2efbf1b458ca439d129b52ba3eae32626325e73ec13d46018603a81a33cf18a25a5b08a1b2e6a89c7e716faa47eb9db6d6474 DIST humanizer.core.2.2.0.nupkg 104728 BLAKE2B 6c383abbbed9250f2a7eeec4478ead8f23ad53aa62a5b0f22e71fed9157aa6644a9a7518842d637885b7b63a4300754e1a7e9f3f9968725607ad30bf18e27a21 SHA512 e232459f914c8e7fc3f8dee69a85e66beb8c44515d4c83a976ee24084a91f32aae61c6f845ff38edcae02d0bcab44f9ec253277dccf2f4ae7e82235047bc6ade DIST jetbrains.annotations.2021.1.0.nupkg 122595 BLAKE2B 59b994b58df9c4ef12d130543ae85ae0a368b92fae8c1d106675bcb4a55da9a13ee6da5fd5940b51c2a101470226007b05a1670b085d0f2f0b66f143e67f3051 SHA512 3b17599f6fc4413dd3811a32216f742596da5c6d8709134d85d292cd28ace7dc72aecef8a2bf64a5dfd31796787468e70e3936ea2eb9ed0505c7c6130d66db17 @@ -375,4 +376,5 @@ DIST xunit.runner.visualstudio.2.5.1.nupkg 348549 BLAKE2B 530ffc6b699a1589ad6a7f DIST xunit.skippablefact.1.4.8.nupkg 44542 BLAKE2B 3c9b09d5196e8901770099b2e5078d9373e8ebc2da058a9071707d6fee56eab7c876578734f3be5b088db6ae83c8ad81a3aadfcab38e1fd2b28bd25601fe5463 SHA512 a2c680223bda4f9bfdbd751c8d6a5319e0a4611533272860ca0a396b26c473a13065301a5d8973074ea2bb5119caaeec5a67d547a96ae5d762dc09f337f51ad1 EBUILD dafny-4.4.0-r1.ebuild 18791 BLAKE2B 82082f5eeadc299a7854a17896199a6feb084b95ca383fa1cf55d402a3a2099e038cb48f8502a5abdbc1f8f31fa985f4c376dc88889c39e5c2743907f4d50d19 SHA512 f50a039842519acd5c93d5f29d563fdbfdf4615344b4b1cfb6493a1a3a54d7dd646c8db49ebaa2541f482156b6660ab72f9315a4d47107fd5bb650acd9ebc472 EBUILD dafny-4.5.0.ebuild 19547 BLAKE2B ec7d8bc7fc9c9270f8a8bf497b4e2e7caf813b5edb75ae756174ba643e5d5eb0d468ddaac00b2523b4113fbe41fc1f4785209261681714bf7edafdac7851b5c4 SHA512 374ff6264d48ac542a1ca9b82566709878444821333ce6eb26468818744fc91c489ebcc92e6ec6bb4f7a2eec1fa089db5a33f1c4797b2daeb9a997e79b1df9ec +EBUILD dafny-4.6.0.ebuild 19635 BLAKE2B e8a55b535bb11df8b61c65ef81bf7522fd9269445e27049160b55889bfb09a17c4e50255d31e9eeb0140f0436f0ab3a6edb496c4e9b8be36ac80703a4c941c9f SHA512 e0e793f2c5b639a29499212b0e2ec920ef3cde88f2c06eb4e266e227c4c7db7cd23f541aabee7921d6531ea9f5d6e6a87fdd9d0ae75d578b66c34b704ca1725e MISC metadata.xml 1884 BLAKE2B e3a53cfd90a4edf1d9fd9f567ac3c23fd88cc46602cfe6aea31ddc40585ebc89ab82833dcd21c82083671a54454d62f162f45d56d6b0ec9c202148b3d5ea2c6d SHA512 4cffb9c237ed85097ce1496a72f5aa9c5a0f5758402fe66ff745a3b1dbc3f8d9a40fecc9140ee1b9418f09b62794f7e0a47f908e6ba01b370087d4df62bfa46e |