{"name":"lean-toolchain","vers":"0.1.0","deps":[{"name":"lean-rs-sys","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"ed3ed6849da7559507be34a9f480f890b00089bab762e0ccf68b0edce7d84a57","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-05-18T21:59:55Z"}
{"name":"lean-toolchain","vers":"0.1.1","deps":[{"name":"lean-rs-sys","req":"^0.1.1","features":["metadata-only"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"lean-rs-sys","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":["raw_value"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"375c9846b76526f1a6886a409f4b1a2002333d2258ccf8225116cca0a1e226ad","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-05-21T15:45:36Z"}
{"name":"lean-toolchain","vers":"0.1.2","deps":[{"name":"lean-rs-sys","req":"^0.1.2","features":["metadata-only"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"lean-rs-sys","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":["raw_value"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"b86da35733cbc82b575272e2d92382c5462f56ab1d969c6921a9630e6e17b740","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-05-21T19:52:14Z"}
{"name":"lean-toolchain","vers":"0.1.3","deps":[{"name":"lean-rs-sys","req":"^0.1.2","features":["metadata-only"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"lean-rs-sys","req":"^0.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":["raw_value"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"0ebbfa40867b66e4951f47fdf4f3252f96da91f1eb1413eb4b0ec357c00153d6","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-05-23T18:23:02Z"}
{"name":"lean-toolchain","vers":"0.1.4","deps":[{"name":"lean-rs-sys","req":"^0.1.2","features":["metadata-only"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"lean-rs-sys","req":"^0.1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":["raw_value"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"1a343970c2dd3d0844ff57bf276b2f2de218a29381b295e9a82619836c6464a1","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-05-23T21:47:53Z"}
{"name":"lean-toolchain","vers":"0.1.5","deps":[{"name":"lean-rs-sys","req":"^0.1.2","features":["metadata-only"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"lean-rs-sys","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":["raw_value"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"4a545afd5dd4a943c030c91c94a053ae24e3035b7320ea0e16266dfe057105e8","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-05-24T01:00:36Z"}
{"name":"lean-toolchain","vers":"0.1.6","deps":[{"name":"lean-rs-sys","req":"^0.1.2","features":["metadata-only"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"lean-rs-sys","req":"^0.1.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":["raw_value"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"59aa6efb17c9d9248891e4a6a266da3db6bd0ee3fe4380392b6a16788e3e9127","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-05-24T14:32:22Z"}
{"name":"lean-toolchain","vers":"0.1.7","deps":[{"name":"lean-rs-sys","req":"^0.1.2","features":["metadata-only"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"lean-rs-sys","req":"^0.1.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":["raw_value"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"576ec713e1e764635a623df75781b4c52869a4748e8b96d305e96c4f8cce428f","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-05-24T15:49:05Z"}
{"name":"lean-toolchain","vers":"0.1.8","deps":[{"name":"lean-rs-sys","req":"^0.1.2","features":["metadata-only"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"lean-rs-sys","req":"^0.1.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":["raw_value"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"ebe8d2d12ccbaaa244bfa12784619fc8518134c33f425bc11a7d699ece2e8682","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-05-25T16:18:49Z"}
{"name":"lean-toolchain","vers":"0.1.10","deps":[{"name":"lean-rs-sys","req":"^0.1.2","features":["metadata-only"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"lean-rs-sys","req":"^0.1.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":["raw_value"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"2331fd8fb8a936680184954d0664d9c899298e699c3c369e300932e2a7b691ae","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-05-25T20:43:54Z"}
{"name":"lean-toolchain","vers":"0.1.11","deps":[{"name":"lean-rs-sys","req":"^0.1.2","features":["metadata-only"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"lean-rs-sys","req":"^0.1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":["raw_value"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"toml","req":"^1.1","features":["parse","serde"],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"e9d22e486c8efed07f050753eea6085bf6c77c9757c4614b4c6a4fd77ccac7f9","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-05-26T03:52:32Z"}
{"name":"lean-toolchain","vers":"0.1.12","deps":[{"name":"lean-rs-sys","req":"^0.1.2","features":["metadata-only"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"lean-rs-sys","req":"^0.1.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":["raw_value"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"toml","req":"^1.1","features":["parse","serde"],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"fc86c648ed010b7bbe4e990cabdf64b69b4a84021ae28daae4d2578508c55da2","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-05-26T11:03:46Z"}
{"name":"lean-toolchain","vers":"0.1.13","deps":[{"name":"lean-rs-sys","req":"^0.1.2","features":["metadata-only"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"lean-rs-sys","req":"^0.1.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":["raw_value"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"toml","req":"^1.1","features":["parse","serde"],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"eeba18beaa0e51f1ed487162891809c8be273e7c9f90e75f77de75a5228348c9","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-05-26T12:06:04Z"}
{"name":"lean-toolchain","vers":"0.1.14","deps":[{"name":"lean-rs-sys","req":"^0.1.2","features":["metadata-only"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"lean-rs-sys","req":"^0.1.14","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":["raw_value"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"toml","req":"^1.1","features":["parse","serde"],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"46ded09fdaae6f148a64d884147639a7bfda481ba302300134a8ba2f841d2cfe","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-05-26T21:19:30Z"}
{"name":"lean-toolchain","vers":"0.1.15","deps":[{"name":"lean-rs-sys","req":"^0.1.2","features":["metadata-only"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"lean-rs-sys","req":"^0.1.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":["raw_value"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"toml","req":"^1.1","features":["parse","serde"],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"e73cbc1f7e7ff88f5848fe47580174f19a9bc102b4b42aa8087b32692258f140","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-05-26T23:22:28Z"}
{"name":"lean-toolchain","vers":"0.1.16","deps":[{"name":"lean-rs-sys","req":"^0.1.2","features":["metadata-only"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"lean-rs-sys","req":"^0.1.16","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":["raw_value"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"toml","req":"^1.1","features":["parse","serde"],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"e6176ff1935130142df9f300d6dab88aa369c071c6df0b86e915c67da35c9f06","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-05-27T21:11:42Z"}
{"name":"lean-toolchain","vers":"0.1.17","deps":[{"name":"lean-rs-sys","req":"^0.1.2","features":["metadata-only"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"lean-rs-sys","req":"^0.1.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":["raw_value"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"toml","req":"^1.1","features":["parse","serde"],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"6149d88522a189ac1e5a1f5257c5c39173dc2c9c860d4fc325cf8cf8ced2c6b2","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-05-31T01:24:36Z"}
{"name":"lean-toolchain","vers":"0.1.18","deps":[{"name":"lean-rs-sys","req":"^0.1.2","features":["metadata-only"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"lean-rs-sys","req":"^0.1.18","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":["raw_value"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"toml","req":"^1.1","features":["parse","serde"],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"f910cceefdb67b21e6bc1f1679a0d57fb9e48aeae91456843c75bebb3ef4a715","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-05-31T13:01:25Z"}
{"name":"lean-toolchain","vers":"0.1.19","deps":[{"name":"lean-rs-sys","req":"^0.1.2","features":["metadata-only"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"lean-rs-sys","req":"^0.1.19","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":["raw_value"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"toml","req":"^1.1","features":["parse","serde"],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"3ea2fd1ffdcc5602e3bc068d84ea1c0483baad7c67ff58caf8b457a8d62d29d3","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-05-31T15:30:32Z"}
{"name":"lean-toolchain","vers":"0.1.20","deps":[{"name":"lean-rs-sys","req":"^0.1.2","features":["metadata-only"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"lean-rs-sys","req":"^0.1.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde_json","req":"^1","features":["raw_value"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"toml","req":"^1.1","features":["parse","serde"],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"cd62b3c73876c35730b58e4cd7049153f506625e77221fcd74e9e2766a13c4df","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-06-02T12:29:42Z"}
{"name":"lean-toolchain","vers":"0.2.0","deps":[{"name":"lean-rs-abi","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":["raw_value"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"toml","req":"^1.1","features":["parse","serde"],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"e67bd882b999d5cf4045c8a1331cd71f7e68fb3c5c5a0f2e4779167e40f439d3","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-06-08T15:05:28Z"}
{"name":"lean-toolchain","vers":"0.2.1","deps":[{"name":"fs4","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lean-rs-abi","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":["raw_value"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"toml","req":"^1.1","features":["parse","serde"],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"2f146f52f8155da9d95e9b985d3d9ecfffa7da0f57feb9ef67a538a4d2e4bd93","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-06-09T11:16:00Z"}
{"name":"lean-toolchain","vers":"0.2.2","deps":[{"name":"fs4","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lean-rs-abi","req":"^0.2.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":["raw_value"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"toml","req":"^1.1","features":["parse","serde"],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"963f989131d7d3e917ae3ddf393f2762c4ffcba1871a59dc0794e66399a0755d","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-06-10T12:54:15Z"}
{"name":"lean-toolchain","vers":"0.2.3","deps":[{"name":"fs4","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lean-rs-abi","req":"^0.2.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lean-rs-abi","req":"^0.2.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":["raw_value"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"toml","req":"^1.1","features":["parse","serde"],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"d09d155d25e14538493c5007c9b61894ffa2c94bda72a5828d8ed78b0b9ff6bc","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-06-10T18:38:58Z"}
{"name":"lean-toolchain","vers":"0.2.4","deps":[{"name":"fs4","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lean-rs-abi","req":"^0.2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lean-rs-abi","req":"^0.2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":["raw_value"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"toml","req":"^1.1","features":["parse","serde"],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"6162e92c19736e6470815863ae945fb6a87b7a085cda0be93e8293581a22eb3f","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-06-11T04:16:34Z"}
{"name":"lean-toolchain","vers":"0.3.0","deps":[{"name":"fs4","req":"^1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lean-rs-abi","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lean-rs-abi","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":["raw_value"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"toml","req":"^1.1","features":["parse","serde"],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"4a6abaad5a24ffbc916a1d42337025983e17d5dd875c8cf01243f6e1621054f2","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-06-19T08:50:10Z"}