{
  "cksum": "6f835c8d4aec033f96c04f61d2a4bd20c6b682eb3e4015d8c73ba2be42644b46",
  "crate_file": "elicitation_kani-0.9.0.crate",
  "crate_url": "https://static.crates.io/crates/elicitation_kani/elicitation_kani-0.9.0.crate",
  "deps": [
    {
      "default_features": true,
      "features": [
        "serde"
      ],
      "kind": "normal",
      "name": "chrono",
      "optional": true,
      "req": "^0.4",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "elicitation",
      "optional": false,
      "req": "^0.9.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "serde"
      ],
      "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",
        "serde"
      ],
      "kind": "normal",
      "name": "time",
      "optional": true,
      "req": "^0.3",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "serde"
      ],
      "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-03-05T16:04:03Z",
  "v": 2,
  "vers": "0.9.0",
  "yanked": false
}