{"name":"tla-checker","vers":"0.1.0","deps":[{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8d3089c626d63295cbe893f4044d92d2e4010802e660c8abf34e3f6054e35886","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"]},"yanked":false,"pubtime":"2026-02-05T01:02:38Z","v":2}
{"name":"tla-checker","vers":"0.1.1","deps":[{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c1bd7db98d6062f98238f9c0a7076aa46f0a8e43d9beaba522416fa0cd868365","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"]},"yanked":false,"pubtime":"2026-02-05T14:34:41Z","v":2}
{"name":"tla-checker","vers":"0.2.0","deps":[{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6bff9675520cd7a0aba703ea786fd13c21808d7c7ab70de2fd23fcd5b7bd669e","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"]},"yanked":false,"pubtime":"2026-02-07T01:45:27Z","v":2}
{"name":"tla-checker","vers":"0.3.0","deps":[{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fcb985a8ec0f8c55f5adb236322c37004963ed3c14094a4a537882511dff6ff8","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"]},"yanked":false,"pubtime":"2026-02-13T07:07:19Z","v":2}
{"name":"tla-checker","vers":"0.3.1","deps":[{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b2660d5e44521b388dcb24ee514f402b76698f863e2edeeca9b4d521b3f25806","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"]},"yanked":false,"pubtime":"2026-02-15T17:01:01Z","v":2}
{"name":"tla-checker","vers":"0.3.2","deps":[{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e406f274454c711532b4d219e9bcaedd7233f8db3c3586743b4505a2ea159b46","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"]},"yanked":false,"pubtime":"2026-02-16T18:47:05Z","v":2}
{"name":"tla-checker","vers":"0.3.3","deps":[{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5da9ca0ed8c2cae7a4d8498ec8fea7b2a077e5e27df579d0ed062fdcff00e215","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"]},"yanked":false,"pubtime":"2026-02-25T22:46:48Z","v":2}
{"name":"tla-checker","vers":"0.3.4","deps":[{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"97fa0f04ae0700c50cae47fbc17ea00c804a0ddf5557f862f02c3a445e092d45","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"]},"yanked":false,"pubtime":"2026-03-09T01:35:06Z","v":2}
{"name":"tla-checker","vers":"0.3.6","deps":[{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4b3ffce2e25e21fd6c33b388517908ea60cf982f8605319e17e8c55d5c3b1910","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"]},"yanked":false,"pubtime":"2026-03-24T00:39:49Z","v":2}
{"name":"tla-checker","vers":"0.3.7","deps":[{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"098044880630f65330121869e39e9f97f33dabcd5eab0e41bb71254752c5a543","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"]},"yanked":false,"pubtime":"2026-04-03T20:57:05Z","v":2}
{"name":"tla-checker","vers":"0.3.9","deps":[{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"71c31878e3b596a4f61aceee5675df5bd84ea2ad5f4f02a7875e0fe988cb33fe","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"]},"yanked":false,"pubtime":"2026-04-10T17:43:21Z","v":2}
{"name":"tla-checker","vers":"0.3.11","deps":[{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"edf9a741a1617bdeda68be2b234a8afdef96935f83ec9e251dcef861bc4b520a","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"]},"yanked":false,"pubtime":"2026-05-02T15:00:08Z","v":2}
{"name":"tla-checker","vers":"0.4.1","deps":[{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"54ab2fa8bd430aaa097a0ac80c294d3a30d684a983eabd4620d3dfc42a86e371","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"]},"yanked":false,"pubtime":"2026-05-17T23:41:32Z","v":2}
{"name":"tla-checker","vers":"0.4.2","deps":[{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"64f8eecc90d1f673816cb1efbcba6aca6c4538fac59be92a2767e720739f27f0","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"]},"yanked":false,"pubtime":"2026-05-18T00:03:19Z","v":2}
{"name":"tla-checker","vers":"0.4.3","deps":[{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"af22a8a36c5aa2ccb0edb02861f1e50194ae1074fdd24d4c5736c942ad4ceda5","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"]},"yanked":false,"pubtime":"2026-05-18T00:58:01Z","v":2}
{"name":"tla-checker","vers":"0.5.1","deps":[{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1247101361fa41b43459fa45db11a11063554de147d0f0fb5bf0ed9b66082dad","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"]},"yanked":false,"pubtime":"2026-05-28T01:50:53Z","v":2}
{"name":"tla-checker","vers":"0.5.2","deps":[{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a48f9bea17883b04132d7a6a24c585c1780ba000214c761b2e601ab86b206cdb","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"]},"yanked":false,"pubtime":"2026-05-28T04:08:17Z","v":2}
{"name":"tla-checker","vers":"0.5.3","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"73a16f121c2db595a771d4070f9d6714a6f8fb7e613e97736a691e4fc8828b94","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-05-28T22:16:31Z","v":2}
{"name":"tla-checker","vers":"0.5.4","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0cc9433e2a2fbdeb0213862cb483c55eaeb0f40c6a5daf624d1eb10d58577def","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-05-28T23:38:03Z","v":2}
{"name":"tla-checker","vers":"0.5.5","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6ddfa27089db94f90f207486b9a7a8086bde103625adca69e07bd54ee59a2e3d","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-05-29T02:38:25Z","v":2}
{"name":"tla-checker","vers":"0.6.0","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"50f1c7d496367e75faa5ad9ceb066ba2210d8570c31ed5c772023afb75341a55","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-05-29T18:32:36Z","v":2}
{"name":"tla-checker","vers":"0.6.1","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2425327da186bb761da0e6803a211e1c75748306a9ef65a963c0d07cb4e036e5","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-06-01T20:35:47Z","v":2}
{"name":"tla-checker","vers":"0.6.3","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d281784c5255758936622ff09c81bd6756cfdc15998f8c20e258b8f22552a9a6","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-06-02T03:37:51Z","v":2}
{"name":"tla-checker","vers":"0.6.5","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4de420e04cda9d58c580f9c9f02bf2dadd2ba2d22651b98c4d7bef3061ee22db","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-07-06T01:04:13Z","v":2}
{"name":"tla-checker","vers":"0.6.6","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"975abd4bfbeffef2b1f9eea7081021e5c01f75bd5d1004aa9f13c9285fa5e9ea","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-07-06T18:19:43Z","v":2}
{"name":"tla-checker","vers":"0.6.7","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a6dcc8c856bf2cb72197ee0224a08a1607e7568ae650677fe68c913f4866fb35","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-07-14T01:52:59Z","v":2}
{"name":"tla-checker","vers":"0.6.10","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"29ab69abff0bb2eae022c669d72c7bdbde42df0e17688728a09177bf60d2dae9","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-07-15T17:25:39Z","v":2}
{"name":"tla-checker","vers":"0.6.11","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c48d59bad2c8d3457c57b57b3722a43c722e9806d8539c40e12bd062987bac47","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-07-17T02:22:55Z","v":2}
{"name":"tla-checker","vers":"0.9.0","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3a6e6f0c3966bf7d5c75854f7bfe4215de150b6c33374169be33199cdd56ada4","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-09-07T17:47:51Z","v":2}
{"name":"tla-checker","vers":"0.9.2","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9f810e83c0da4cd31536d5c0cd043723660d59e61cfebc46ea5a35f1c05db30b","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-09-19T22:01:49Z","v":2}
{"name":"tla-checker","vers":"0.9.4","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"99ee7fe2f67a26c37d524761a06745c38568ef3ef1a171730c1aebb9e889f31c","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-09-20T05:09:57Z","v":2}
{"name":"tla-checker","vers":"0.9.5","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b60fb2bc7f4dbda709d069881da15d5ce982011b813b38ae71271ba6838b3400","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-09-21T13:13:08Z","v":2}
{"name":"tla-checker","vers":"0.9.6","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"bc75a90c17a7567d2dcbe7303dc2e735b55a17b82cb15e835242ed59c7882e39","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-09-21T22:26:43Z","v":2}
{"name":"tla-checker","vers":"0.9.7","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0e3f302649dd3ed79b91e10df4ecd0d01af66f0c8993cb70f27eb6189dffa4b8","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-09-22T04:45:32Z","v":2}
{"name":"tla-checker","vers":"0.9.8","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0414659fb358486a9cc26d871cb10ae63b6938be59b69f2168dc548a706cc05b","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-09-23T01:34:07Z","v":2}
{"name":"tla-checker","vers":"0.9.9","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a5ff44a717bbb9cc10aa563e7e589a57bc268774f6aabca29fd2ecbc0ed7d6d9","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-09-23T17:43:54Z","v":2}
{"name":"tla-checker","vers":"0.10.0","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7d0ee1e7f5efc27dc9fd6ebaa28d4290f9066604838b427f03559b42b5ab77dd","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-09-23T19:38:31Z","v":2}
{"name":"tla-checker","vers":"0.10.1","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"cf82b488b99d66568af253ed2b0f8aa2129eea07b597fec567f6b431bc9bd4dd","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-09-24T01:34:58Z","v":2}
{"name":"tla-checker","vers":"0.10.2","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4328e48f9201c297c996cf348295ab63ad631c1cf4f024b44467830ad80cabea","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-09-26T01:50:53Z","v":2}
{"name":"tla-checker","vers":"0.11.0","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f7e4e4c787a9b537c48427023f27da30d0d89f653873f24937943e71861fd066","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-09-29T15:56:03Z","v":2}
{"name":"tla-checker","vers":"0.11.1","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"61650ec8737e28f4e5a0f6e366cf192d9d7df561bd96d75a918473719f8bf27f","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-09-29T16:55:01Z","v":2}
{"name":"tla-checker","vers":"0.12.0","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fbb5a7424fe0dca01ec04e67f2a05a7088cfebce97c00c7b99aa485b5b890595","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-02T02:37:37Z","v":2}
{"name":"tla-checker","vers":"0.12.1","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4f9ba101f5c3ffefdbf8ffb00a71f8c5d55edf2a2e6f04b5d8340e31b1a560b3","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-02T17:45:10Z","v":2}
{"name":"tla-checker","vers":"0.13.0","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b9e62fe3940cb8beea4832fd0fa217450aeb18df217a466e0fbb2c62fb523964","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-02T22:23:09Z","v":2}
{"name":"tla-checker","vers":"0.14.0","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b662fa9441945ab53c1f7c04221ec66b06d233055a91b704cb7047858ddd40fc","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-03T00:03:21Z","v":2}
{"name":"tla-checker","vers":"0.15.0","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b71ee257a3cad5b37a06fe1775a34dd0d642290aee22eda5c91061895b7edc80","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-03T03:52:33Z","v":2}
{"name":"tla-checker","vers":"0.15.1","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"846a41574b36c5826cd4874c11a94dd64410202807bd7e015e0afc3ae633546b","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-03T04:43:14Z","v":2}
{"name":"tla-checker","vers":"0.16.0","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5e178e1d992377f8f3372956505d1d7981b7a4a7b18a20e43f4460b59ea43bd2","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-03T22:25:08Z","v":2}
{"name":"tla-checker","vers":"0.17.0","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"935ed3da7323144ea60b38010287255233218adba06158252b8e09e17d07db68","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-03T22:46:32Z","v":2}
{"name":"tla-checker","vers":"0.17.1","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0f30c8623ad4e9248f1e4ecc9c3faa97d056cad1ad9559a92c463c844d7b074c","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-04T01:27:19Z","v":2}
{"name":"tla-checker","vers":"0.17.2","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7e3c70fb1e9a5dae597160f63ef2faf726116f09f6377725b388dbb2a36a62c2","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-04T02:46:24Z","v":2}
{"name":"tla-checker","vers":"0.18.0","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a021a95d938c76a4e9b9533185f2e4cbf9c8c5e99411ed8cb2ecedcea0e9757a","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-04T15:29:15Z","v":2}
{"name":"tla-checker","vers":"0.18.1","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"978f97c875cad77489ddb57c36e7f76966eac695d83feaafee036218f867cd5d","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-04T16:58:02Z","v":2}
{"name":"tla-checker","vers":"0.19.0","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"25d4362217fae9c67a40366575beadf005573e2042466a38e4315a580374cee2","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-04T20:20:20Z","v":2}
{"name":"tla-checker","vers":"0.20.0","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0523f6ebf2101d5d7599877cf6e05f06a04dcdd9b5ca4cd55e55f08965915710","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-05T00:46:32Z","v":2}
{"name":"tla-checker","vers":"0.21.0","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9486779b7496b0aacc74a77a7b62c62eb5e731cfd9f77908171858e930f3eb68","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-05T03:30:44Z","v":2}
{"name":"tla-checker","vers":"0.21.1","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"58a1f71ee2196ff1e2aa5d82250d115ddc93c059426a62f1208f08b40fc8d1a5","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-05T03:55:10Z","v":2}
{"name":"tla-checker","vers":"0.21.2","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4a9a3b6a4ca3143b62b5e2da24964c84cbf3406cd3226aec6bd92281a3acb8b1","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-05T04:27:17Z","v":2}
{"name":"tla-checker","vers":"0.21.3","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b1ddf86bf033a02dedbc8ac5f991c24f797f4c01610e214a8d15c92af6c6fe8d","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-05T16:42:00Z","v":2}
{"name":"tla-checker","vers":"0.22.0","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"601c8b9d7018782045ad307951f36c1bb9e9ce36854cbd0f30ae77ea39e98321","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-05T20:46:18Z","v":2}
{"name":"tla-checker","vers":"0.22.1","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3be69f4b128117133195dd6e6edb72ff5b4eede94501e7edc67d7450ce022e96","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-05T23:48:51Z","v":2}
{"name":"tla-checker","vers":"0.23.0","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9f0a86f04749b4a72199714ca07a4b14f6cc8fab9835ea71bc7bff6fb3a04ad3","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-06T02:36:43Z","v":2}
{"name":"tla-checker","vers":"0.23.1","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"86985de4ce4c84a200af90022b4f25dfd4eead43c4c726498c74ff90a16bc664","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-06T14:49:42Z","v":2}
{"name":"tla-checker","vers":"0.23.2","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3754b0b585e8e5a9b1a5cf067d26d585b4cd287887acc7131677ccb0b01b7ab0","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-06T20:09:29Z","v":2}
{"name":"tla-checker","vers":"0.23.3","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c476c79b71e00a647536a74fad83a4b7a225d9d6c3a61a094db484f87233a86e","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-06T23:05:36Z","v":2}
{"name":"tla-checker","vers":"0.24.0","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e067fec25cdbfcb92b0dda16ca5f740fedae1d9f7e46fa94a552a4a4ee1155e4","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-07T21:19:17Z","v":2}
{"name":"tla-checker","vers":"0.24.1","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6211e558d658a48f99348ecd0c6fab680c93559f6594bef68b2d050309698fc4","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-08T15:16:30Z","v":2}
{"name":"tla-checker","vers":"0.24.2","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"936037d954af06acb97086193452ea15e46b9df1ee605a5c16526078f26e85fa","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-08T18:47:06Z","v":2}
{"name":"tla-checker","vers":"0.24.3","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b0bdb2ff5f1a96569257782d5ec709cc732b278a5cbe8da0c34a004dde61a014","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-09T18:35:19Z","v":2}
{"name":"tla-checker","vers":"0.24.4","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"113f30a6fbc0d66974b50064a022495e4d671dd74e30bb394b120f3856023c3a","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-09T20:44:24Z","v":2}
{"name":"tla-checker","vers":"0.24.5","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ee347cebcd703f56fc58bba3d41979b9ed84b2c97465de23253134a85babedcc","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-11T03:35:22Z","v":2}
{"name":"tla-checker","vers":"0.24.6","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c8a799af10cddcc63d7a42c9f304ed5a64da12eaab90777baf11935ebb8d551b","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-12T00:13:34Z","v":2}
{"name":"tla-checker","vers":"0.24.7","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7e6930194549b200da8d78302801e91e28f3ea3ede587a72316c0de26152a35a","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-13T01:50:45Z","v":2}
{"name":"tla-checker","vers":"0.24.8","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f50453317930791ec509003eff7fbadb7c41034128f6a17972ea0b9d49ae14e1","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-20T00:34:26Z","v":2}
{"name":"tla-checker","vers":"0.24.9","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4e099b59fe5238af8026f1e9a14db2ca622c4dbba1669b544c0c511c1473c426","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-21T08:16:31Z","v":2}
{"name":"tla-checker","vers":"0.24.10","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"096eb4948bd5e437201ee6da289ec047980f753e7f07e8adbb6519a9506fd1dc","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-24T18:59:04Z","v":2}
{"name":"tla-checker","vers":"0.24.11","deps":[{"name":"base64","req":"^0.22","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"criterion","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"crossterm","req":"^0.29.0","features":["events"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"dhat","req":"^0.3.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"fastrand","req":"^2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"libc","req":"^0.2.186","features":[],"optional":false,"default_features":true,"target":"cfg(target_os = \"linux\")","kind":"normal"},{"name":"ratatui","req":"^0.30.0","features":["crossterm"],"optional":false,"default_features":false,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"rmcp","req":"^1.7.0","features":["transport-io"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"schemars","req":"^1.2.1","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"stacker","req":"^0.1.22","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.52.3","features":["macros","rt-multi-thread","io-std","signal"],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"toml","req":"^1.1.2","features":[],"optional":false,"default_features":true,"target":"cfg(not(target_arch = \"wasm32\"))","kind":"normal"},{"name":"wasm-bindgen","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b8818344833b33648a9dc6d205bac705da77d3b9ea1bfbcf347262a874196c9a","features":{"default":[],"profiling":[],"wasm":["wasm-bindgen","serde"]},"features2":{"dhat":["dep:dhat"],"embed-wasm":["dep:base64"]},"yanked":false,"pubtime":"2026-10-28T15:34:04Z","v":2}