{
  "cksum": "2aea13384c6e28ee284dfed19d5803ba176471d6bb486efa16fea39db39aa7d9",
  "crate_file": "telltale-lean-bridge-1.0.0.crate",
  "crate_url": "https://static.crates.io/crates/telltale-lean-bridge/telltale-lean-bridge-1.0.0.crate",
  "deps": [
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "anyhow",
      "optional": true,
      "req": "^1.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "derive"
      ],
      "kind": "normal",
      "name": "clap",
      "optional": true,
      "req": "^4.4",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "dev",
      "name": "proptest",
      "optional": false,
      "req": "^1.4",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "derive",
        "derive"
      ],
      "kind": "normal",
      "name": "serde",
      "optional": false,
      "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": "dev",
      "name": "serde_json",
      "optional": false,
      "req": "^1.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "telltale-choreography",
      "optional": true,
      "req": "^1.0.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "dev",
      "name": "telltale-choreography",
      "optional": false,
      "req": "^1.0.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "telltale-theory",
      "optional": true,
      "req": "^1.0.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "dev",
      "name": "telltale-theory",
      "optional": false,
      "req": "^1.0.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "telltale-types",
      "optional": false,
      "req": "^1.0.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "multi-thread"
      ],
      "kind": "dev",
      "name": "telltale-vm",
      "optional": false,
      "req": "^1.0.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "tempfile",
      "optional": false,
      "req": "^3.2",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "dev",
      "name": "tempfile",
      "optional": false,
      "req": "^3.2",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "thiserror",
      "optional": false,
      "req": "^1.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "dev",
      "name": "tracing",
      "optional": false,
      "req": "^0.1",
      "target": null
    }
  ],
  "features": {
    "cli": [
      "clap"
    ],
    "default": [
      "runner"
    ],
    "exporter": [
      "telltale-choreography",
      "anyhow"
    ],
    "golden": [
      "clap",
      "anyhow",
      "runner"
    ],
    "runner": [
      "telltale-theory"
    ]
  },
  "index_path": "te/ll/telltale-lean-bridge",
  "name": "telltale-lean-bridge",
  "pubtime": "2026-02-25T17:36:00Z",
  "vers": "1.0.0",
  "yanked": false
}