{"name":"isabelle-rs","vers":"2.1.4","deps":[{"name":"bincode","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rowan","req":"^0.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rusqlite","req":"^0.32","features":["bundled"],"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":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt-multi-thread","sync","macros","io-util","io-std"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmtime","req":"^29","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"673043a299b4f9262921fc212726c5d5a285606be79e882179b558d69c81403c","features":{"default":[],"lsp":[],"wasm":[]},"yanked":false,"rust_version":"1.96.0","pubtime":"2026-06-17T12:05:44Z"}
{"name":"isabelle-rs","vers":"2.2.1","deps":[{"name":"bincode","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rowan","req":"^0.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rusqlite","req":"^0.32","features":["bundled"],"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":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt-multi-thread","sync","macros","io-util","io-std"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmtime","req":"^29","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d7a45a11d3985d20fc3240954742d22900dfbf7c6efd56790d84eb6c92f43e94","features":{"default":[],"lsp":[],"wasm":[]},"yanked":false,"rust_version":"1.96.0","pubtime":"2026-06-21T11:51:45Z"}
{"name":"isabelle-rs","vers":"2.3.0","deps":[{"name":"bincode","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":["html_reports"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"proptest","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rowan","req":"^0.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rusqlite","req":"^0.32","features":["bundled"],"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":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1","features":["rt-multi-thread","sync","macros","io-util","io-std"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasmtime","req":"^29","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"65284cae9faf25a4a4ea9f728ceafe86ca831035e8adf826db29632443580f38","features":{"default":[],"lsp":[],"wasm":[]},"yanked":false,"rust_version":"1.96.0","pubtime":"2026-07-02T10:51:50Z"}