crates.io-index/ka/ni/kani-verifier

{"name":"kani-verifier","vers":"0.0.0","deps":[],"cksum":"75f5fe30908f6631932ea560f93baac6b19563eb80e1bd9aaadb1c6700f77fe2","features":{},"yanked":true}
{"name":"kani-verifier","vers":"0.1.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7e51ddbe057f3e7ddc87861e9a26819f4b7dd4235c9a1833d59458ff973e411f","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.2.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"496cc43a55967d3fa5f2ba84aa3c827394e42705006a44e0f6a0266b4fa29079","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.3.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"cb34363ed9d7af9b23abb0b8948adab31266399e054aa11eec2d818c58cb80bc","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.4.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"08793db173050e1ac828dc9f7ffaadb2c8c748b16ae77f3e93be4b0858e57d5d","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.5.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"f1d040b5388f5cf553218e0b898a2872a214d3d3f4437d768dc76e8af39bad9f","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.6.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"3a98d9c82664c1656d8b5ce5bf658b119f7a290c217b6dd860eb12623180b82d","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.7.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"c83550f8582e56a8c14794e2762dcf3177290c599f048b39ac3dcc8498842449","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.8.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"d92f40f3ea383572dfbb7badd78843b96925a108e6dbcf8bab46082752c3251f","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.9.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"359f3e782aed4273918dbdb4ce4db1a848c47a901434ad3f1252e8e8e061f867","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.10.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"448031904b65a8936445ef3e5cdaaeef088314a3a165a9e6952c054bf758f525","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.11.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"b5603fa70a6cadf8b7ad80a88f8b5ceed877a2ef3c31c3894d66cb11f0bceeae","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.12.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"f460a14ea263cedeeebb3f1395a572af3b9daf89d07a80d6a630395abde77510","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.13.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"b9f5f1227519437fc10b5ce293c3b62eb6ea568d708e493da92a7e27253456f5","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.14.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"10e32656158a69b2c5e271b07f864a9c3f31d2e7a8672b6ab80fbca7026092a9","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.14.1","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"9c34b8ae8618b8772f94de72a5c2be63d9bb96f914a8d46f41296ff8ff57ab6b","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.15.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"43ef83353748ff9d732198877eec42c69d5558b95eb12fb0289d040d8a685da1","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.16.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"3352733ee4981b94351f7be49b06711db30acf273f5a7f5eee89353e05d9e28c","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.17.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"194bc861534d69171d2fe7360af2b5b9963ce4c3b591c15392191811ae42c924","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.18.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"4af93df2d99807aeac673d81719e339d3cc1d9709a5532d0a5610dd6203ea746","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.19.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"570cb42a897d5d842f39cb9b63f7cdd42ae0e5b5ceb0097545124b93598b4959","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.20.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"7c55ce139ebd3aed743a981cab1b8d2146a25e944a5cd19cc5b149b54e24e40e","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.21.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"819528cd642d6150d59fff1ae043ee1766f8d07c6288db968f903cbf18f38346","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.22.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"cffaefed7941000cf72602bf839f40defc72c4a139e57f510f9cab8909036654","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.23.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"cd22bfd7ea344687bbdaf5dd2ae9fb722b16f5f2db2173c6c47f603a5b791abf","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.24.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"01410f6393dd628ab4649252c7546132bf429fcd8d0d470e3a7b58f1334b8158","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.25.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"7f110dab78eb32e34f9cf6279143669e5b94d3f208c9a013663368df1074db28","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.26.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"70d1b7a43dbe1783cef0d3820a710b70dd40878a9040b8f291d0e496d63fa5ae","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.27.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"fd5170a1ef1b8b10fa1dd52385357f2d3205616d78be8ffc703bc116fd1160ad","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.28.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"788fa02340df1f23f013e912392c8226d946f1e1be3c188f42de566b3cf4e79c","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.29.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"7e7a0b1dd3ec41dc8a54163596d1bfd57f67c4b90181cc450f6e84526a9121da","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.30.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"d8bc5449e23413462210e69a7719116662e096b20713d87e7b5b0cb41f3ab970","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.31.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"f6f71015381de7c4a8964eddd56dda0e14a82515b393995852495a384ff61a58","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.32.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"16cf6493d2515d10ecff8f153273dac804acf32bab91d2a05df1761470e71b0e","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.33.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"d3789c9556194434cee8a0cbe9d5e41d029c22c2d46befdf7ba86f1db3ea96ed","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.34.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"a679f788012ffaba6fa9c9fee8113c294cc24e863a520be38ce59801c3390dfb","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.35.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"d80796d4cc94521a23e64b18293cb7383d37e3eb156be6849f803bb0b807d0d1","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.36.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"0013f7474e8a6985f93af913939bc4423b004bf9095229e7aea3952a3a09ee30","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.37.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"fc5a082859030e73a61382f130b263cce28be9d4a3bab911400e6f8a8b6b88c9","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.38.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"ed1a35bac09e3274fbf5c4de08959989452767e29cd55cce91f9fd61660d9386","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.39.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"e3181f1d8894d36fd32f3c5b509a1d91b70fe2d4c0f30a76767648fe22d01db4","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.40.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"ff383ea390d5e1544ba914e44bd39c6b7d86d303abf6d2b7e1d232e677ae261f","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.41.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"a4d6dbf1f790eede0259b8b9ae88c85de859ad1ef59a0ffa68f6bdae12429e21","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.42.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"8025df1a2021c36a13d9bfcc65323422273571f098043d4a598e79431d27436a","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.43.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"3122b44e01be5efbe232cef3589aaa74a87c3c23fd2a1d80519d353faf15dbbb","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.44.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"771ecd8ed1ce8494263f661cc4e3d2f61e7d6774564d2eca7dfc27fcabb31753","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.45.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"ef3a297e9d62c35c0a65906824f79398ff0902f46bf4162babc7bd6f90d6dd40","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.46.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"5bfc685aa7ce9475363968b4fb63b077774cd7412ee3f92a41e2da04c1a7774f","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.47.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"afd43d4541626d4354e408f81f3c6662e9aaa54619695cbb63f30fd8cbd40a68","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.48.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"638dfad0a5e3ec9e6473fb7679240a3d69641aa7c545bdaa1bcc7c036b027eba","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.49.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"e2d57b04e250ddf497329c165b92b65dab4fd771bfe24234c733258494171d7b","features":{},"yanked":false}
{"name":"kani-verifier","vers":"0.50.0","deps":[{"name":"anyhow","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"home","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"os_info","req":"^3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"ca237f372cdfd4164537dd512a067776f27f64b44ec06a56409cbdac58eb7216","features":{},"yanked":false}