{
  "cksum": "f49cb4cc297814cf6b6488e53271674db6277f5a48e3b5981dd0cae30de904f7",
  "crate_file": "elicitation_kani-0.11.0.crate",
  "crate_url": "https://static.crates.io/crates/elicitation_kani/elicitation_kani-0.11.0.crate",
  "deps": [
    {
      "default_features": true,
      "features": [
        "serde",
        "schemars"
      ],
      "kind": "normal",
      "name": "accesskit",
      "optional": true,
      "req": "^0.24",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "serde"
      ],
      "kind": "normal",
      "name": "chrono",
      "optional": true,
      "req": "^0.4",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "derive",
        "string"
      ],
      "kind": "normal",
      "name": "clap",
      "optional": true,
      "req": "^4",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "serde"
      ],
      "kind": "normal",
      "name": "egui",
      "optional": true,
      "req": "^0.34",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "elicit_ui",
      "optional": true,
      "req": "^0.11.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "elicitation",
      "optional": false,
      "req": "^0.11.0",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "geo-types",
      "optional": true,
      "req": "^0.7",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "geo-types"
      ],
      "kind": "normal",
      "name": "geojson",
      "optional": true,
      "req": "^1",
      "target": null
    },
    {
      "default_features": false,
      "features": [],
      "kind": "normal",
      "name": "georaster",
      "optional": true,
      "req": "^0.2",
      "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": "palette",
      "optional": true,
      "req": "^0.7",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "paste",
      "optional": true,
      "req": "^1",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "proj",
      "optional": true,
      "req": "^0.31",
      "target": null
    },
    {
      "default_features": false,
      "features": [
        "serde"
      ],
      "kind": "normal",
      "name": "ratatui",
      "optional": true,
      "req": "^0.30",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "regex",
      "optional": true,
      "req": "^1.12",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "serde"
      ],
      "kind": "normal",
      "name": "rstar",
      "optional": true,
      "req": "^0.12",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "serde_json",
      "optional": true,
      "req": "^1",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "runtime-tokio",
        "tls-native-tls",
        "any",
        "postgres",
        "sqlite",
        "mysql",
        "macros",
        "uuid",
        "chrono"
      ],
      "kind": "normal",
      "name": "sqlx",
      "optional": true,
      "req": "^0.8",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "tiff",
      "optional": true,
      "req": "^0.9.1",
      "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",
      "target": null
    },
    {
      "default_features": true,
      "features": [],
      "kind": "normal",
      "name": "wkb",
      "optional": true,
      "req": "^0.9",
      "target": null
    },
    {
      "default_features": true,
      "features": [
        "geo-types"
      ],
      "kind": "normal",
      "name": "wkt",
      "optional": true,
      "req": "^0.14",
      "target": null
    }
  ],
  "features": {
    "default": [],
    "tokio-types": [],
    "wgpu-types": [
      "elicitation/wgpu-types"
    ],
    "winit-types": [
      "elicitation/winit-types"
    ]
  },
  "features2": {
    "chrono": [
      "dep:chrono",
      "elicitation/chrono"
    ],
    "clap-types": [
      "dep:clap",
      "elicitation/clap-types"
    ],
    "egui-types": [
      "dep:egui",
      "dep:paste",
      "elicitation/egui-types"
    ],
    "geo-types": [
      "dep:geo-types",
      "elicitation/geo-types"
    ],
    "geojson-types": [
      "dep:geojson",
      "dep:serde_json",
      "elicitation/geojson-types"
    ],
    "georaster-types": [
      "dep:georaster",
      "dep:tiff",
      "elicitation/georaster-types"
    ],
    "jiff": [
      "dep:jiff",
      "elicitation/jiff"
    ],
    "kani": [
      "dep:kani-verifier"
    ],
    "palette": [
      "dep:palette",
      "elicitation/palette"
    ],
    "proj-types": [
      "dep:proj",
      "elicitation/proj-types"
    ],
    "ratatui": [
      "dep:ratatui",
      "dep:paste",
      "elicitation/ratatui"
    ],
    "regex": [
      "dep:regex",
      "elicitation/regex"
    ],
    "rstar-types": [
      "dep:rstar",
      "elicitation/rstar-types"
    ],
    "serde_json": [
      "dep:serde_json",
      "elicitation/serde_json"
    ],
    "sqlx-types": [
      "dep:sqlx",
      "elicitation/sqlx-types"
    ],
    "time": [
      "dep:time",
      "elicitation/time"
    ],
    "ui-types": [
      "dep:elicit_ui",
      "dep:accesskit"
    ],
    "url": [
      "dep:url",
      "elicitation/url"
    ],
    "uuid": [
      "dep:uuid",
      "elicitation/uuid"
    ],
    "wkb-types": [
      "dep:wkb",
      "elicitation/wkb-types"
    ],
    "wkt-types": [
      "dep:wkt",
      "elicitation/wkt-types"
    ]
  },
  "index_path": "el/ic/elicitation_kani",
  "name": "elicitation_kani",
  "pubtime": "2026-05-18T03:46:07Z",
  "v": 2,
  "vers": "0.11.0",
  "yanked": false
}