{
  "cksum": "d7a45a11d3985d20fc3240954742d22900dfbf7c6efd56790d84eb6c92f43e94",
  "crate_file": "isabelle-rs-2.2.1.crate",
  "crate_url": "https://static.crates.io/crates/isabelle-rs/isabelle-rs-2.2.1.crate",
  "deps": [
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "bincode",
      "optional": false,
      "req": "^1",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "derive"
      ],
      "kind": "normal",
      "name": "clap",
      "optional": false,
      "req": "^4",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "html_reports"
      ],
      "kind": "dev",
      "name": "criterion",
      "optional": false,
      "req": "^0.5",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "proptest",
      "optional": false,
      "req": "^1",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "rowan",
      "optional": false,
      "req": "^0.15",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "bundled"
      ],
      "kind": "normal",
      "name": "rusqlite",
      "optional": false,
      "req": "^0.32",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "derive"
      ],
      "kind": "normal",
      "name": "serde",
      "optional": false,
      "req": "^1",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "serde_json",
      "optional": false,
      "req": "^1",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "sha2",
      "optional": false,
      "req": "^0.10",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "thiserror",
      "optional": false,
      "req": "^2",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "rt-multi-thread",
        "sync",
        "macros",
        "io-util",
        "io-std"
      ],
      "kind": "normal",
      "name": "tokio",
      "optional": false,
      "req": "^1",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "tracing",
      "optional": false,
      "req": "^0.1",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "tracing-subscriber",
      "optional": false,
      "req": "^0.3",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "wasmtime",
      "optional": false,
      "req": "^29",
      "target": null
    }
  ],
  "features": {
    "default": [],
    "lsp": [],
    "wasm": []
  },
  "index_path": "is/ab/isabelle-rs",
  "name": "isabelle-rs",
  "pubtime": "2026-06-21T11:51:45Z",
  "rust_version": "1.96.0",
  "vers": "2.2.1",
  "yanked": false
}