diff options
Diffstat (limited to 'dev-lang/boogie/Manifest')
| -rw-r--r-- | dev-lang/boogie/Manifest | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest index b73e668f4917..dad0773038a9 100644 --- a/dev-lang/boogie/Manifest +++ b/dev-lang/boogie/Manifest @@ -1,7 +1,6 @@ DIST boogie-3.0.10.tar.gz 2045614 BLAKE2B 47b709a9842055f489ddab50d1661c4abe5d5c72c3b968c80d4895797409cbb1b480d18ca514da4eb66797706213310baf284e2ad736714defcd03baff1bfc60 SHA512 7ab6c99cbb9e737208519fa86f87f942d4d898adb0ee1f08978e6ae59fd0be0b7cb0eb8e288ad787cf7d851920830f16bfac4881ea0c37af872f5e4a74a1f5fe DIST boogie-3.0.11.tar.gz 2044740 BLAKE2B b8c1cde7ad4b10deabb9ca9edbf226f580512a3817e9a19a947c7bd5d26808c08e907237aad2209ec06e645fa7ef40c8d73fec812437585b27adf4e125d5b1a0 SHA512 fe59fb1ed2708a5d988a569dd14148e308966ca6382da8502a2c679d67121b39f60e03e9ed6f7efa80c079c818db008c99e1f5e6bc28ba617fe33ae6289c2cce DIST boogie-3.0.12.tar.gz 2044818 BLAKE2B 0d11cb1288933b1046b46ea3b93336fe08b9897a4aaf42228971e280be2c648b2110d20aaf6533e6d95e51b0a86c1fe507da05eaa908dc0ed885192e9480d0e7 SHA512 e2c1d4faad1bb448dd3cd9f6dbd4c70fa913584ef1bedd4938298498850bc6a0b6017924a55d9b48c82189253c2ac8c84a2564afa2d9b237434ad40ea286fbec -DIST boogie-3.1.0.tar.gz 2038681 BLAKE2B ce905555bd23ca8cee84c83715d7998591dcd065f952c33570f72506c602a0ae99e50741a803d396416d6998620e74140f83a0af471438bf0059fbe17750fc34 SHA512 735ed0cbcace50389aa3060cdddf2ff942a8550f96e063e5be0d124993e0484112cc36535e2c0daae04be1118fb2e400676b80732484308aacbdb6409e7621ea DIST boogie-3.1.1.tar.gz 2038688 BLAKE2B ea720665dd9d830de0639b3b2fe08c452e80375e98b8ff9ced473c4beb540a2cb3908415bfbb1582edac9043c17dcbfc014d2dd1dcc3ce0877db436c13a639bd SHA512 704990ebd9b55e4f617249a5e2b4c74a615c61a51da41485eddd8c1b8159f16afd5da13e93f684a97d87c2e1273549977e04180423909c22b026e975d07a0ceb DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003 SHA512 221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be3dddd96edaf9c0852a9c23d7b099 DIST microsoft.codecoverage.16.2.0.nupkg 3133582 BLAKE2B 418cf403247d594cde0d827f8ca8690019a7631525f07993937085f4bbf8473364b4c99aea6e8b7b0020208d15fe0da63f0f4e69c273493c51ae011e8bd82667 SHA512 91f1d43fc038a20f5367d9aab669105dc7514dfbe749260b52789c09a75abcc6bdc000ee0c7f432231d4cc09e99bf5b863dd6289d813342f74d9dad23a651625 |