{
  "cksum": "105fa7a5d0b462c262d84a86ae9e8bdc483d7d48946a6336441f480f248585c0",
  "crate_file": "elicitation_kani-0.8.2.crate",
  "crate_url": "https://static.crates.io/crates/elicitation_kani/elicitation_kani-0.8.2.crate",
  "deps": [
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "chrono",
      "optional": true,
      "req": "^0.4",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "elicitation",
      "optional": false,
      "req": "^0.8.2",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "jiff",
      "optional": true,
      "req": "^0.2",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "kani-verifier",
      "optional": true,
      "req": "^0.67",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "regex",
      "optional": true,
      "req": "^1.12",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "parsing",
        "formatting",
        "macros"
      ],
      "kind": "normal",
      "name": "time",
      "optional": true,
      "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
    }
  ],
  "features": {
    "default": []
  },
  "features2": {
    "chrono": [
      "dep:chrono",
      "elicitation/chrono"
    ],
    "jiff": [
      "dep:jiff",
      "elicitation/jiff"
    ],
    "kani": [
      "dep:kani-verifier"
    ],
    "regex": [
      "dep:regex",
      "elicitation/regex"
    ],
    "time": [
      "dep:time",
      "elicitation/time"
    ],
    "url": [
      "dep:url",
      "elicitation/url"
    ],
    "uuid": [
      "dep:uuid",
      "elicitation/uuid"
    ]
  },
  "index_path": "el/ic/elicitation_kani",
  "name": "elicitation_kani",
  "pubtime": "2026-02-23T17:55:01Z",
  "v": 2,
  "vers": "0.8.2",
  "yanked": false
}