diff options
Diffstat (limited to 'dev-lang/boogie/Manifest')
| -rw-r--r-- | dev-lang/boogie/Manifest | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest index e7e7743ca940..1ba1e300b4d8 100644 --- a/dev-lang/boogie/Manifest +++ b/dev-lang/boogie/Manifest @@ -1,6 +1,6 @@ AUX boogie-3.0.4-disable-analyzers.patch 764 BLAKE2B 965f6a8007a4324aa95b165109dcbc85f7bba5696d04772c53cfb1e456d0c60d2d3dce9103df641fe7f565d2a2d4e04a5d02aba43ac1ccc4527dcaae90b7b28b SHA512 b8c7b9172cd2f45be84058babd33c75f37dcb08f6c1a0b7c79b0ae2bd8afec70b29886f23d0a5553a00e1d3761a7788db0444d06788ee32aed2d1c2cd7cb9554 DIST boogie-3.0.10.tar.gz 2045614 BLAKE2B 47b709a9842055f489ddab50d1661c4abe5d5c72c3b968c80d4895797409cbb1b480d18ca514da4eb66797706213310baf284e2ad736714defcd03baff1bfc60 SHA512 7ab6c99cbb9e737208519fa86f87f942d4d898adb0ee1f08978e6ae59fd0be0b7cb0eb8e288ad787cf7d851920830f16bfac4881ea0c37af872f5e4a74a1f5fe -DIST boogie-3.0.6.tar.gz 2023821 BLAKE2B 0d11c5f33d25e55debb5ec2a9fc99881bc4781f69da091f157f55a13e5a26e6562c9ef8c5ebeb5e0cf307d5c6ddaeb36918a0d1e6f5a740829811291b7fd92c5 SHA512 dd2f075a9f34212edd7ca57872cc1b240fac0814c3fbbe27aa1c3ad2a4133dcdbc432c9b49db56416f700a1c0caf2a99225af35f9dfe92115b783916979a43f0 +DIST boogie-3.0.11.tar.gz 2044740 BLAKE2B b8c1cde7ad4b10deabb9ca9edbf226f580512a3817e9a19a947c7bd5d26808c08e907237aad2209ec06e645fa7ef40c8d73fec812437585b27adf4e125d5b1a0 SHA512 fe59fb1ed2708a5d988a569dd14148e308966ca6382da8502a2c679d67121b39f60e03e9ed6f7efa80c079c818db008c99e1f5e6bc28ba617fe33ae6289c2cce DIST boogie-3.0.8.tar.gz 2041785 BLAKE2B 0e6343ccf9f1432a19420d8358eea8aed754583f7a5e2343d47515f5377856d288088238d9f1d61a4cb05b3bff1a860dfdb654344007da5517b9c3f30d33b071 SHA512 31e80bb657f8b8dbcc127b1a6ed0a3a789b1de762b3db7d3d2f002d52a81486d716204816ff5bcc5680a76b8edb0b99651f996193bbdab40746f437bb20a3d46 DIST boogie-3.0.9.tar.gz 2044403 BLAKE2B 80062b0de01899902a591debe68d8557897295f79535804d5c029f916aad3eb286681b011d30313090444ce73db5e76c9703583f9b3929dd157a0625215de599 SHA512 78e7fac6fa98a39c0c19b0d805d8dc6ff273bda26088616eb8277778224213ac00faf145527d22d6c3941b25d197ce9be19278e97a8fc4c2d222b1686dc125f1 DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003 SHA512 221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be3dddd96edaf9c0852a9c23d7b099 @@ -65,7 +65,6 @@ DIST runtime.unix.system.net.primitives.4.3.0.nupkg 125060 BLAKE2B 76f760a4fe1f1 DIST runtime.unix.system.net.sockets.4.3.0.nupkg 105673 BLAKE2B 06119cfdac3ce590b2f12f5587c75b6799fa876d7def559a78a1ccf53e34e6e1bf79410bfd676b04f1ab3f34a887eb919078a55cf79dc75faa75fc62094c2cbe SHA512 31b62be088315ead04d89f452a6c49a656b88f0668f7dadb2790511675d48705e01c9df24dbed3a0095157875c208ab6e6b5b6afc82bac13e4d6cdd3026f8424 DIST runtime.unix.system.private.uri.4.3.0.nupkg 75969 BLAKE2B 82611545be3eba44ccfbef1f104e9b5afade845fd3b30c6cb40171368330f9d4bb2ad8752e415aa3b1678ec140c40f8e72cd4cc3731f42ca64016c1a1dce70cf SHA512 203ebe272791d79ab0c40afe9d0543852ee91b9fb4ae5bc15524d97728bc8bc9d7e0cbcf65d1fab8cfb0aa7a4ae37e7938933eef127aa5ea46f60e57b6ad2d91 DIST runtime.unix.system.runtime.extensions.4.3.0.nupkg 54075 BLAKE2B f81d86cc15c63aa0b4a3d03546a07649587af7a0285af0de4123734e719fc023fa4227b7abb18307d4fc060e2952c157ec72b3bb85d49ab8508d8167b1aeedd7 SHA512 54b81784c08e934389c59e6e155af6b1855e4bbc41678b01a702c94e6daba87c6ddfd16fe9e2cb61f3097bfa4950dbc37781454d027ce5ba6c50a393cc91b888 -DIST stylecop.analyzers.1.1.118.nupkg 377566 BLAKE2B 0751011ee9999e35efd4aafe36e7235a21eba54068fc89b6ab94f9e25ba26331d18135b5d4fa6447246e0f4dedbbb90490ceca5969f544b74bad48776a9abd25 SHA512 398619762085fdbdcafc0cc6590d8f2d01f9067411cd07c76db520b9c32926a05ef63b0f4e7c9087dda831a6df7c571370147610ea49c8c729f43d397ecf32bc DIST system.appcontext.4.1.0.nupkg 146990 BLAKE2B 7881a5a903a358e19b0de72fe800c70ac9233e7c5e1e4115d69be6f8dbc4fbe86debb79bcd453295730e803ff1da974075c999f52e4c721e085676746c2f9b58 SHA512 f724af13eb14aa57255f82841683a93b427de172b8d31b9fe2c6bc8c21a795e60ecf211b4e49e1c2e285fe1ad498e6bd9c843e109a60a3dc27b49df560106e96 DIST system.buffers.4.0.0.nupkg 35190 BLAKE2B fee35456dd7fde57a978d20526e4136f50764307ab2db6edf2c9d990992f4d2520531687885764ba2fb54f2a26640da699abb8ee538cda2015d65382d01128d5 SHA512 0663f4639c4e37c9dff12717cdeaebf30e38d91e986d6a99f9f16ba88189873e0399e418659e732a18c674d8875f8f41a1cf60319604173ca8430960759fddf2 DIST system.buffers.4.3.0.nupkg 35171 BLAKE2B 3b274a048ce14845ca957019b3670db00338972f6e11279e47f59ca6b4326aaecab1d11317694ed98e8a27f3de7ef6f90de94d4711ab224f805388d468728392 SHA512 3dcbf66f6edf7e9bb4f698cddcf81b9d059811d84e05c7ac618b2640efed642f089b0ef84c927c5f58feffe43bb96a6bcf4fec422529b82998b18d70e4648cbe @@ -195,7 +194,7 @@ DIST system.xml.xpath.4.3.0.nupkg 250182 BLAKE2B 8a4177d47af56bc7a6289ed8f2cac41 DIST system.xml.xpath.xmldocument.4.0.1.nupkg 86933 BLAKE2B 4c03b5a9433c2c954e75d212f9026885aa7514574b73a54880c3d55baee6bd5517abb46b67b22b9b6e63de92a8bc5ab4ff37e3f7e6454a5c5137ae2be6574b75 SHA512 81041a08d3b9158c43dfb48d42f13ec9950d7c2b7f63e1600a779a77786edfb46c522c32d9cc6a44358fbfe11efba0e539e578ef169261867a1905b8121a045d DIST system.xml.xpath.xmldocument.4.3.0.nupkg 138523 BLAKE2B ba53f3b5ac0f2d1d1e9120940b302e6960690ed4a44b96ba15b03e16f9159f2c57d6004aa55b796ba2327009d23fc2f10d4d09e948b88eb6af36efa5f76e401b SHA512 f75b6f7c75874ab6053e8942c1662a6e9a3561aa01502437b8d67f3bfcebd1ebf906792801326889ed7acb094c55469766d7d27cd10bc61b46ddaaa94dfc11e3 EBUILD boogie-3.0.10.ebuild 9280 BLAKE2B bb1915fb5a1d3318be070296679189b8a536ded67d996b0336726da0ef2c38e7fdd1c55074a13957ba69046a20a67aa619eb0d8abd9109b6f44c337b65db0652 SHA512 c334bc36710f68d3e91cd165d5f5d8fffee37da0bc4a03eca923302f685e23c6166854e6425d034268cded5638fc51324aec9541dbb568a560c354e4719c3e92 -EBUILD boogie-3.0.6.ebuild 9075 BLAKE2B d1cad1f44021b02c444eb1448e834cf8d2f601a932f677dadf3559e3c95db35e4c3c6b07b51ba66565ac68d38e3c25134abb928df884224fc34b36845b9d0702 SHA512 5229c2ad8d2f4e03b49008a1b6004a5837dee31499f0a16993b7c28123c150017f04205b386b96dd22208c860debdb0e7508ca9505b13f1e338c5321576eab7b +EBUILD boogie-3.0.11.ebuild 9258 BLAKE2B db8f9164f461500832f944480307fd8502077377f2fde0a1b97f2156451b7423543ea8922c56c19730f1422e628bd76a191aafa9805dbdf29469eec7edaeb940 SHA512 e2eeb3cd484ac7cfea57cdf274731ecbfb0f06d7ac9b684ca4bd91873338230e632e94bbc52e1f0e7e1718676ef88b2d7490512869db99adbbfbddcce1c139e0 EBUILD boogie-3.0.8.ebuild 9235 BLAKE2B ad9b4153f27c0539aab880a91cba5c2e4074c260adddd6dbfd40d109427fba25553a15813c5d6d0142c0b53b2f1ef1102c14edf036aafa86bdccde3f6d5c0e2a SHA512 2ffe8b9ec4f637273846e7c3029ef60b42c935620915575661b4b4b7e48f0d91ce45647086fb8015de3d48f9f28382f71fdc3323cfa58d3f1c09c03e5276a4be EBUILD boogie-3.0.9.ebuild 9258 BLAKE2B db8f9164f461500832f944480307fd8502077377f2fde0a1b97f2156451b7423543ea8922c56c19730f1422e628bd76a191aafa9805dbdf29469eec7edaeb940 SHA512 e2eeb3cd484ac7cfea57cdf274731ecbfb0f06d7ac9b684ca4bd91873338230e632e94bbc52e1f0e7e1718676ef88b2d7490512869db99adbbfbddcce1c139e0 MISC metadata.xml 1102 BLAKE2B 215544658792715aae72787f7c949ed89df9c05ceab5a919a861c02b7938c0d1ee228e0ede55008287b616faf70992a8c1f2854e6e5e1fc909718ae682996bb8 SHA512 b6a626c485e2a5db3390da62c629507a60417eda8b508d7ed8d1c017ac337743d2c4fe0e8554b103f989176dcd2969cc8579e91532b07a22c1b66328ef241e8d |