{"name":"lean-rs-sys","vers":"0.1.0","deps":[{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"6900922dde0f008e22968130da3854c094c83592dc7dd827e2f1b617fb20bb28","features":{"default":["dynamic","mimalloc"],"dynamic":[],"mimalloc":[],"static":[]},"yanked":false,"links":"leanshared","rust_version":"1.91","pubtime":"2026-05-18T21:58:22Z"}
{"name":"lean-rs-sys","vers":"0.1.1","deps":[{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"c1efc662b1ae6304127ee9259dd4744717e1ddc433d5e1d539fded78d5b35684","features":{"default":["dynamic","mimalloc"],"dynamic":[],"metadata-only":[],"mimalloc":[],"static":[]},"yanked":false,"links":"leanshared","rust_version":"1.91","pubtime":"2026-05-21T15:44:00Z"}
{"name":"lean-rs-sys","vers":"0.1.2","deps":[{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"7b4d00f64ea35533dbaa3abba7cb7beb87bb29e9eb5154d31b7b624b891da52a","features":{"default":["dynamic","mimalloc"],"dynamic":[],"metadata-only":[],"mimalloc":[],"static":[]},"yanked":false,"links":"leanshared","rust_version":"1.91","pubtime":"2026-05-21T19:50:39Z"}
{"name":"lean-rs-sys","vers":"0.1.3","deps":[{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"e5e165fc191c74d87415194482ad90647bc34b2213f151e8f203099da266c191","features":{"default":["dynamic","mimalloc"],"dynamic":[],"metadata-only":[],"mimalloc":[],"static":[]},"yanked":false,"links":"leanshared","rust_version":"1.91","pubtime":"2026-05-23T18:21:27Z"}
{"name":"lean-rs-sys","vers":"0.1.4","deps":[{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"4c40dcf02422c59a06ec3002e8a419bb6c1d3258559a599c6aefe167de5bc8d6","features":{"default":["dynamic","mimalloc"],"dynamic":[],"metadata-only":[],"mimalloc":[],"static":[]},"yanked":false,"links":"leanshared","rust_version":"1.91","pubtime":"2026-05-23T21:46:17Z"}
{"name":"lean-rs-sys","vers":"0.1.5","deps":[{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"25f6a9d57e30f34960e49d9ec10db66e1fefdd7f1ec25fc4fd3ba09cb21d324d","features":{"default":["dynamic","mimalloc"],"dynamic":[],"metadata-only":[],"mimalloc":[],"static":[]},"yanked":false,"links":"leanshared","rust_version":"1.91","pubtime":"2026-05-24T00:59:00Z"}
{"name":"lean-rs-sys","vers":"0.1.6","deps":[{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"816fc728e0a65b5250f5ef89b3e3ea1fc98dee03429260d268609949fcf281a3","features":{"default":["dynamic","mimalloc"],"dynamic":[],"metadata-only":[],"mimalloc":[],"static":[]},"yanked":false,"links":"leanshared","rust_version":"1.91","pubtime":"2026-05-24T14:30:47Z"}
{"name":"lean-rs-sys","vers":"0.1.7","deps":[{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"5fcc2019683bc80f2f1b5123155f0ef1c0c6ac4d0736d6e502cd33e733ff7e1d","features":{"default":["dynamic","mimalloc"],"dynamic":[],"metadata-only":[],"mimalloc":[],"static":[]},"yanked":false,"links":"leanshared","rust_version":"1.91","pubtime":"2026-05-24T15:47:30Z"}
{"name":"lean-rs-sys","vers":"0.1.8","deps":[{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"679d8312ca4ed247c0f49a5d2432e0530aeaaa357b9d8ec79f1c2ae55ffb877f","features":{"default":["dynamic","mimalloc"],"dynamic":[],"metadata-only":[],"mimalloc":[],"static":[]},"yanked":false,"links":"leanshared","rust_version":"1.91","pubtime":"2026-05-25T16:18:47Z"}
{"name":"lean-rs-sys","vers":"0.1.10","deps":[{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"cf1146c94d2c64222c99f392fe4472fc6efb773f945e0cde6fe8b74213e42be7","features":{"default":["dynamic","mimalloc"],"dynamic":[],"metadata-only":[],"mimalloc":[],"static":[]},"yanked":false,"links":"leanshared","rust_version":"1.91","pubtime":"2026-05-25T20:43:52Z"}
{"name":"lean-rs-sys","vers":"0.1.11","deps":[{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"d7a63e970e592d8a4fefb70b4d6a4e46bf8f08c823243f31101340200905c803","features":{"default":["dynamic","mimalloc"],"dynamic":[],"metadata-only":[],"mimalloc":[],"static":[]},"yanked":false,"links":"leanshared","rust_version":"1.91","pubtime":"2026-05-26T03:52:30Z"}
{"name":"lean-rs-sys","vers":"0.1.12","deps":[{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"2497a261f47b8bd3ae79c22304ec0a81b0c15b639aa9e715624c156c956fcc6a","features":{"default":["dynamic","mimalloc"],"dynamic":[],"metadata-only":[],"mimalloc":[],"static":[]},"yanked":false,"links":"leanshared","rust_version":"1.91","pubtime":"2026-05-26T11:03:43Z"}
{"name":"lean-rs-sys","vers":"0.1.13","deps":[{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"08905563b700fecd5dcf23ead466bc685cc36cf5f2a064629e60e21bc230068e","features":{"default":["dynamic","mimalloc"],"dynamic":[],"metadata-only":[],"mimalloc":[],"static":[]},"yanked":false,"links":"leanshared","rust_version":"1.91","pubtime":"2026-05-26T12:06:02Z"}
{"name":"lean-rs-sys","vers":"0.1.14","deps":[{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"f32dd434e6ceb1b6a2e61f852bac655d7cc7392d4998c9be2d737d6440f417ca","features":{"default":["dynamic","mimalloc"],"dynamic":[],"metadata-only":[],"mimalloc":[],"static":[]},"yanked":false,"links":"leanshared","rust_version":"1.91","pubtime":"2026-05-26T21:19:28Z"}
{"name":"lean-rs-sys","vers":"0.1.15","deps":[{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"78cef6c27d1fa2b90d39dddbb89f5bff45a4ef15cd86d70be8bff114b85ebfeb","features":{"default":["dynamic","mimalloc"],"dynamic":[],"metadata-only":[],"mimalloc":[],"static":[]},"yanked":false,"links":"leanshared","rust_version":"1.91","pubtime":"2026-05-26T23:22:26Z"}
{"name":"lean-rs-sys","vers":"0.1.16","deps":[{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"}],"cksum":"9b588244537e327ed8fdf32076001c604128e5cbf05bc031a6739d7457570bfd","features":{"default":["dynamic","mimalloc"],"dynamic":[],"metadata-only":[],"mimalloc":[],"static":[]},"yanked":false,"links":"leanshared","rust_version":"1.91","pubtime":"2026-05-27T21:11:40Z"}
{"name":"lean-rs-sys","vers":"0.1.17","deps":[{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"trybuild","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"29633341ca57439b09e54cd8b808a15dbab75fda958c6e8d893132818df3acbd","features":{"default":["dynamic","mimalloc"],"dynamic":[],"metadata-only":[],"mimalloc":[],"static":[]},"yanked":false,"links":"leanshared","rust_version":"1.91","pubtime":"2026-05-31T01:24:34Z"}
{"name":"lean-rs-sys","vers":"0.1.18","deps":[{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"trybuild","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"fd4cde5a47ebcdc9ca1f1077543c33374c60ec7a539315564e436eb9f2c13f65","features":{"default":["dynamic","mimalloc"],"dynamic":[],"metadata-only":[],"mimalloc":[],"static":[]},"yanked":false,"links":"leanshared","rust_version":"1.91","pubtime":"2026-05-31T13:01:24Z"}
{"name":"lean-rs-sys","vers":"0.1.19","deps":[{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"trybuild","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"459a02c0a103bd79c4c9561bd74d9408ae710a75e765cec421c2f59cc97878ab","features":{"default":["dynamic","mimalloc"],"dynamic":[],"metadata-only":[],"mimalloc":[],"static":[]},"yanked":false,"links":"leanshared","rust_version":"1.91","pubtime":"2026-05-31T15:30:29Z"}
{"name":"lean-rs-sys","vers":"0.1.20","deps":[{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"trybuild","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"8739279768e89c84bec41c41e24eae2c5246d6c8fcae7b8aa55626f4e1156437","features":{"default":["dynamic","mimalloc"],"dynamic":[],"metadata-only":[],"mimalloc":[],"static":[]},"yanked":false,"links":"leanshared","rust_version":"1.91","pubtime":"2026-06-02T12:29:40Z"}
{"name":"lean-rs-sys","vers":"0.2.0","deps":[{"name":"lean-rs-abi","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lean-rs-abi","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"trybuild","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"3b36d24d5442aab2c5669fc25d4050b4d0d8aadbb18e9648e3e1f245e7e24dde","features":{"default":["dynamic","mimalloc"],"dynamic":[],"metadata-only":[],"mimalloc":[],"static":[]},"yanked":false,"links":"leanshared","rust_version":"1.91","pubtime":"2026-06-08T15:05:27Z"}
{"name":"lean-rs-sys","vers":"0.2.1","deps":[{"name":"lean-rs-abi","req":"^0.2.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":"build"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"trybuild","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"991dcfefedd619aac26a3f8b7c87c48ed85452d413c89411aebac1bb5e9964ba","features":{"default":["dynamic","mimalloc"],"dynamic":[],"metadata-only":[],"mimalloc":[],"static":[]},"yanked":false,"links":"leanshared","rust_version":"1.91","pubtime":"2026-06-09T11:16:00Z"}
{"name":"lean-rs-sys","vers":"0.2.2","deps":[{"name":"lean-rs-abi","req":"^0.2.2","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":"build"},{"name":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"trybuild","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"97a2c27cf674fb9ea70bb77d02817e8b2402c96e5d79e5f765bed01a1a1dac94","features":{"default":["dynamic","mimalloc"],"dynamic":[],"metadata-only":[],"mimalloc":[],"static":[]},"yanked":false,"links":"leanshared","rust_version":"1.91","pubtime":"2026-06-10T12:54:14Z"}
{"name":"lean-rs-sys","vers":"0.2.3","deps":[{"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":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"trybuild","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"6fda2f3664dfc26f092dd7b2fb68d2baa9ad9d516ec95e6110a3c8e905078bdb","features":{"default":["dynamic","mimalloc"],"dynamic":[],"metadata-only":[],"mimalloc":[],"static":[]},"yanked":false,"links":"leanshared","rust_version":"1.91","pubtime":"2026-06-10T18:38:58Z"}
{"name":"lean-rs-sys","vers":"0.2.4","deps":[{"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":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"trybuild","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"43bca333d0bb72ee3550a65dcc1be6e6fa28aa196676a025e80ea88cac8e8a38","features":{"default":["dynamic","mimalloc"],"dynamic":[],"metadata-only":[],"mimalloc":[],"static":[]},"yanked":false,"links":"leanshared","rust_version":"1.91","pubtime":"2026-06-11T04:16:16Z"}
{"name":"lean-rs-sys","vers":"0.3.0","deps":[{"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":"sha2","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"trybuild","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"e669e8aebe22448ac7ea2c75cf5eda8769f9fa3896bb6088863b9e084ceaa135","features":{"default":["dynamic","mimalloc"],"dynamic":[],"metadata-only":[],"mimalloc":[],"static":[]},"yanked":false,"links":"leanshared","rust_version":"1.91","pubtime":"2026-06-19T08:49:51Z"}