{
  "cksum": "22da42a874b23f19970337d69aef6f1cf883091f3460d444d7773b34d342fc8c",
  "crate_file": "telltale-lean-bridge-5.0.0.crate",
  "crate_url": "https://static.crates.io/crates/telltale-lean-bridge/telltale-lean-bridge-5.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": "^5.0.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "dev",
      "name": "telltale-choreography",
      "optional": false,
      "req": "^5.0.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "telltale-theory",
      "optional": true,
      "req": "^5.0.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "dev",
      "name": "telltale-theory",
      "optional": false,
      "req": "^5.0.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "telltale-types",
      "optional": false,
      "req": "^5.0.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "multi-thread"
      ],
      "kind": "dev",
      "name": "telltale-vm",
      "optional": false,
      "req": "^5.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-19T22:56:35Z",
  "vers": "5.0.0",
  "yanked": false
}