{
  "cksum": "9cac3d3899a6ad25097f598642c64d1da225cab5a5ea38e75cd20881afc9f3db",
  "crate_file": "elicitation-0.6.3.crate",
  "crate_url": "https://static.crates.io/crates/elicitation/elicitation-0.6.3.crate",
  "deps": [
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "anyhow",
      "optional": false,
      "req": "^1.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "async-trait",
      "optional": false,
      "req": "^0.1",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "chrono",
      "optional": true,
      "req": "^0.4",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "derive"
      ],
      "kind": "normal",
      "name": "clap",
      "optional": true,
      "req": "^4",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "creusot-std",
      "optional": false,
      "req": "^0.9.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "html_reports"
      ],
      "kind": "dev",
      "name": "criterion",
      "optional": false,
      "req": "^0.8",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "csv",
      "optional": true,
      "req": "^1.3",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "derive-getters",
      "optional": false,
      "req": "^0.5",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "display",
        "error",
        "from"
      ],
      "kind": "normal",
      "name": "derive_more",
      "optional": false,
      "req": "^2",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "elicitation_derive",
      "optional": false,
      "req": "^0.6.3",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "elicitation_macros",
      "optional": false,
      "req": "^0.6.3",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "inventory",
      "optional": false,
      "req": "^0.3",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "jiff",
      "optional": true,
      "req": "^0.2",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "paste",
      "optional": false,
      "req": "^1.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "prusti-contracts",
      "optional": true,
      "req": "^0.2",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "regex",
      "optional": true,
      "req": "^1.12",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "client",
        "transport-io",
        "schemars",
        "elicitation"
      ],
      "kind": "normal",
      "name": "rmcp",
      "optional": false,
      "req": "^0.14",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "derive"
      ],
      "kind": "normal",
      "name": "schemars",
      "optional": false,
      "req": "^1",
      "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": [
        "parsing",
        "formatting",
        "macros"
      ],
      "kind": "normal",
      "name": "time",
      "optional": true,
      "req": "^0.3",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "macros",
        "rt-multi-thread",
        "io-std"
      ],
      "kind": "normal",
      "name": "tokio",
      "optional": false,
      "req": "^1",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "dev",
      "name": "tokio-test",
      "optional": false,
      "req": "^0.4",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "tracing",
      "optional": false,
      "req": "^0.1",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "env-filter"
      ],
      "kind": "dev",
      "name": "tracing-subscriber",
      "optional": false,
      "req": "^0.3",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "url",
      "optional": true,
      "req": "^2.5",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "v4",
        "serde"
      ],
      "kind": "normal",
      "name": "uuid",
      "optional": true,
      "req": "^1.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "v4",
        "serde"
      ],
      "kind": "dev",
      "name": "uuid",
      "optional": false,
      "req": "^1.0",
      "target": null
    }
  ],
  "features": {
    "api": [],
    "default": [],
    "kani-verifier": [],
    "serde_json": [],
    "verification": [],
    "verify-all": [
      "verify-kani",
      "verify-creusot",
      "verify-prusti",
      "verify-verus"
    ],
    "verify-creusot": [
      "verification"
    ],
    "verify-kani": [
      "verification"
    ],
    "verify-prusti": [
      "verification",
      "prusti-contracts"
    ],
    "verify-verus": [
      "verification"
    ]
  },
  "features2": {
    "chrono": [
      "dep:chrono"
    ],
    "cli": [
      "clap",
      "csv",
      "chrono"
    ],
    "dev": [
      "chrono",
      "time",
      "jiff",
      "uuid",
      "url",
      "regex",
      "cli"
    ],
    "jiff": [
      "dep:jiff"
    ],
    "regex": [
      "dep:regex"
    ],
    "time": [
      "dep:time"
    ],
    "url": [
      "dep:url"
    ],
    "uuid": [
      "dep:uuid"
    ]
  },
  "index_path": "el/ic/elicitation",
  "name": "elicitation",
  "pubtime": "2026-02-06T04:24:35Z",
  "v": 2,
  "vers": "0.6.3",
  "yanked": false
}