{
  "cksum": "ebe2f7944590723b08176aa3aa84650fb2b9efd4a5f6fc69679288ddb27fc054",
  "crate_file": "telltale-lean-bridge-4.0.0.crate",
  "crate_url": "https://static.crates.io/crates/telltale-lean-bridge/telltale-lean-bridge-4.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": "bpaf",
      "optional": true,
      "req": "^0.9",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "cfg-if",
      "optional": false,
      "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": "^4.0.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "dev",
      "name": "telltale-choreography",
      "optional": false,
      "req": "^4.0.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "telltale-theory",
      "optional": true,
      "req": "^4.0.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "dev",
      "name": "telltale-theory",
      "optional": false,
      "req": "^4.0.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "telltale-types",
      "optional": false,
      "req": "^4.0.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "multi-thread"
      ],
      "kind": "dev",
      "name": "telltale-vm",
      "optional": false,
      "req": "^4.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",
      "bpaf"
    ],
    "golden": [
      "clap",
      "anyhow",
      "runner"
    ],
    "runner": [
      "telltale-theory"
    ]
  },
  "index_path": "te/ll/telltale-lean-bridge",
  "name": "telltale-lean-bridge",
  "pubtime": "2026-03-08T07:00:58Z",
  "vers": "4.0.0",
  "yanked": false
}