diff options
Diffstat (limited to 'dev-lang/boogie/Manifest')
| -rw-r--r-- | dev-lang/boogie/Manifest | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest index 04ec2223c1ea..c0d00a672f5c 100644 --- a/dev-lang/boogie/Manifest +++ b/dev-lang/boogie/Manifest @@ -2,7 +2,7 @@ AUX boogie-3.0.4-disable-analyzers.patch 764 BLAKE2B 965f6a8007a4324aa95b165109d 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 DIST microsoft.csharp.4.0.1.nupkg 462346 BLAKE2B 209ccebc9103b803d26ea1f0232245c3cd231078b03a83a0011a2a79a1a8a324a72c5b3fda94b2686fff170932f366e165f81a36a70df590a39c45d70778e4be SHA512 c0e75a9162f28ba4c4572c8fac4fd4c8c97d6d3505a37683646ba5f7e5f6ac0da69d5200d2646054de90e8e08f893a10e514591b69b8273640842b2cf90bddec @@ -196,5 +196,5 @@ DIST system.xml.xpath.xmldocument.4.3.0.nupkg 138523 BLAKE2B ba53f3b5ac0f2d1d1e9 EBUILD boogie-3.0.10.ebuild 9279 BLAKE2B c73132b332073380835a6eda81651ec3d67a84e7a0d639bf9c98afd78260cfce67f80a5a51bb19d755ba686e61cccb750c75c0cb0cc474b5e8d5539a806270ce SHA512 b06881e8780928c9c388cb585045d30a44748fba974f6747bc80fe21cd390a41f476a791b07d450146a66aa03bdcf66b3a0cc59025f3cf327ab4e06e0e03f43b EBUILD boogie-3.0.11.ebuild 9258 BLAKE2B db8f9164f461500832f944480307fd8502077377f2fde0a1b97f2156451b7423543ea8922c56c19730f1422e628bd76a191aafa9805dbdf29469eec7edaeb940 SHA512 e2eeb3cd484ac7cfea57cdf274731ecbfb0f06d7ac9b684ca4bd91873338230e632e94bbc52e1f0e7e1718676ef88b2d7490512869db99adbbfbddcce1c139e0 EBUILD boogie-3.0.12.ebuild 9144 BLAKE2B d73d45ef2a1ea2b1268e890c9042c070643369e8db7e77a0bd62ec9048eb5928a4f7c2eb8086614330da4a15c634376c1df761beb3af5aaf9c27dcbb68e1b267 SHA512 35a535086472d7e585ac021172dc8f2f192181b6cf07ec7bbe72ceb6a3a90e7a6dfa495a213a80b1fcf4e2bd147cf8bd9287cb5ad5e69bbca4ec406fa21dd1cb -EBUILD boogie-3.1.0.ebuild 9097 BLAKE2B ab846dc8d1207491d22765745f9cb93cd41fe2d864a9ecf67ce091a3dcdf5b7e48b687574f30598ef713a821eeea385979981e40941ac446997c991bd110c1b0 SHA512 f844a8ff192a1c86509d05626e4054be6052206f26ae81436f6a20e421700768c1886e7d15d5d8fc9ae74fa66e72430df67f1251dab6a9e1c3bcb77c0cb81ee0 +EBUILD boogie-3.1.1.ebuild 9097 BLAKE2B ab846dc8d1207491d22765745f9cb93cd41fe2d864a9ecf67ce091a3dcdf5b7e48b687574f30598ef713a821eeea385979981e40941ac446997c991bd110c1b0 SHA512 f844a8ff192a1c86509d05626e4054be6052206f26ae81436f6a20e421700768c1886e7d15d5d8fc9ae74fa66e72430df67f1251dab6a9e1c3bcb77c0cb81ee0 MISC metadata.xml 1102 BLAKE2B 215544658792715aae72787f7c949ed89df9c05ceab5a919a861c02b7938c0d1ee228e0ede55008287b616faf70992a8c1f2854e6e5e1fc909718ae682996bb8 SHA512 b6a626c485e2a5db3390da62c629507a60417eda8b508d7ed8d1c017ac337743d2c4fe0e8554b103f989176dcd2969cc8579e91532b07a22c1b66328ef241e8d |