{"name":"lean-rs-interop-shims","vers":"0.2.1","deps":[{"name":"lean-toolchain","req":"^0.2.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"28ee3a625eb8140609fee7b8bdb0db7a898033f70422645aa33af291e12c9c60","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-06-09T11:25:34Z"}
{"name":"lean-rs-interop-shims","vers":"0.2.2","deps":[{"name":"lean-toolchain","req":"^0.2.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1e0f50cbd0d81a0730b1b30845bb1c9480f5850a3d5b3712c6f080d84ee42ce8","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-06-10T13:14:29Z"}
{"name":"lean-rs-interop-shims","vers":"0.2.3","deps":[{"name":"lean-toolchain","req":"^0.2.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d5eb34b42d6ab09dacf48688c79b82e1e261fb0c30abb8e9b2de5f8a2f3aa022","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-06-10T18:53:33Z"}
{"name":"lean-rs-interop-shims","vers":"0.2.4","deps":[{"name":"lean-toolchain","req":"^0.2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"de76fda000bc1142785b2c26fe55ad4f7b3ba6f942b67981f5dc14823d19b354","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-06-11T04:16:38Z"}
{"name":"lean-rs-interop-shims","vers":"0.3.0","deps":[{"name":"lean-toolchain","req":"^0.3.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":"normal"}],"cksum":"cb440f8086ccd9ce124708a6a0c2ea33c32ec6135965b0188e5edf59e6069e1c","features":{},"yanked":false,"rust_version":"1.91","pubtime":"2026-06-19T08:50:14Z"}