{
  "cksum": "af22a8a36c5aa2ccb0edb02861f1e50194ae1074fdd24d4c5736c942ad4ceda5",
  "crate_file": "tla-checker-0.4.3.crate",
  "crate_url": "https://static.crates.io/crates/tla-checker/tla-checker-0.4.3.crate",
  "deps": [
    {
      "default_features": true,
      "features": [],
      "kind": "dev",
      "name": "criterion",
      "optional": false,
      "req": "^0.5",
      "target": null
    },
    {
      "default_features": false,
      "features": [
        "events"
      ],
      "kind": "normal",
      "name": "crossterm",
      "optional": false,
      "req": "^0.29.0",
      "target": "cfg(not(target_arch = \"wasm32\"))"
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "dhat",
      "optional": true,
      "req": "^0.3.3",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "fastrand",
      "optional": false,
      "req": "^2.4",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "indexmap",
      "optional": false,
      "req": "^2.13.0",
      "target": null
    },
    {
      "default_features": false,
      "features": [
        "crossterm"
      ],
      "kind": "normal",
      "name": "ratatui",
      "optional": false,
      "req": "^0.30.0",
      "target": "cfg(not(target_arch = \"wasm32\"))"
    },
    {
      "default_features": true,
      "features": [
        "transport-io"
      ],
      "kind": "normal",
      "name": "rmcp",
      "optional": false,
      "req": "^1.7.0",
      "target": "cfg(not(target_arch = \"wasm32\"))"
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "schemars",
      "optional": false,
      "req": "^1.2.1",
      "target": "cfg(not(target_arch = \"wasm32\"))"
    },
    {
      "default_features": true,
      "features": [
        "derive"
      ],
      "kind": "normal",
      "name": "serde",
      "optional": false,
      "req": "^1.0",
      "target": "cfg(not(target_arch = \"wasm32\"))"
    },
    {
      "default_features": true,
      "features": [
        "derive"
      ],
      "kind": "normal",
      "name": "serde",
      "optional": true,
      "req": "^1.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "serde_json",
      "optional": false,
      "req": "^1.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "stacker",
      "optional": false,
      "req": "^0.1.22",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "macros",
        "rt-multi-thread",
        "io-std"
      ],
      "kind": "normal",
      "name": "tokio",
      "optional": false,
      "req": "^1.52.3",
      "target": "cfg(not(target_arch = \"wasm32\"))"
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "wasm-bindgen",
      "optional": true,
      "req": "^0.2",
      "target": null
    }
  ],
  "features": {
    "default": [],
    "profiling": [],
    "wasm": [
      "wasm-bindgen",
      "serde"
    ]
  },
  "features2": {
    "dhat": [
      "dep:dhat"
    ]
  },
  "index_path": "tl/a-/tla-checker",
  "name": "tla-checker",
  "pubtime": "2026-05-18T00:58:01Z",
  "v": 2,
  "vers": "0.4.3",
  "yanked": false
}