{
  "cksum": "6c889c4e8a9b2d0362e5d6aa1caf96425427c81f0e4348a1a8af01f273f94160",
  "crate_file": "elicitation_creusot-0.8.2.crate",
  "crate_url": "https://static.crates.io/crates/elicitation_creusot/elicitation_creusot-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": "creusot-std",
      "optional": false,
      "req": "^0.9.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "verification"
      ],
      "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": "regex",
      "optional": true,
      "req": "^1.12",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "serde_json",
      "optional": true,
      "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": [],
      "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": [],
    "verify-kani": []
  },
  "features2": {
    "all": [
      "uuid",
      "serde_json",
      "url",
      "regex",
      "chrono",
      "time",
      "jiff"
    ],
    "chrono": [
      "dep:chrono",
      "elicitation/chrono"
    ],
    "jiff": [
      "dep:jiff",
      "elicitation/jiff"
    ],
    "regex": [
      "dep:regex",
      "elicitation/regex"
    ],
    "serde_json": [
      "dep:serde_json",
      "elicitation/serde_json"
    ],
    "time": [
      "dep:time",
      "elicitation/time"
    ],
    "url": [
      "dep:url",
      "elicitation/url"
    ],
    "uuid": [
      "dep:uuid",
      "elicitation/uuid"
    ]
  },
  "index_path": "el/ic/elicitation_creusot",
  "name": "elicitation_creusot",
  "pubtime": "2026-02-23T18:17:40Z",
  "v": 2,
  "vers": "0.8.2",
  "yanked": false
}