{"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}