{"name":"elicitation_kani","vers":"0.8.2","deps":[{"name":"chrono","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"elicitation","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jiff","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"kani-verifier","req":"^0.67","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"regex","req":"^1.12","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"time","req":"^0.3","features":["parsing","formatting","macros"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"url","req":"^2.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"uuid","req":"^1.0","features":["v4","serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"105fa7a5d0b462c262d84a86ae9e8bdc483d7d48946a6336441f480f248585c0","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"]},"yanked":false,"pubtime":"2026-02-23T17:55:01Z","v":2}
{"name":"elicitation_kani","vers":"0.8.3","deps":[{"name":"chrono","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"elicitation","req":"^0.8.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jiff","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"kani-verifier","req":"^0.67","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"regex","req":"^1.12","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"time","req":"^0.3","features":["parsing","formatting","macros"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"url","req":"^2.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"uuid","req":"^1.0","features":["v4","serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6eeb0c11c1d6db11d14749297554a8172def4b82976f61ca2d55b37730437942","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"]},"yanked":false,"pubtime":"2026-03-02T05:19:48Z","v":2}
{"name":"elicitation_kani","vers":"0.9.0","deps":[{"name":"chrono","req":"^0.4","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"elicitation","req":"^0.9.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jiff","req":"^0.2","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"kani-verifier","req":"^0.67","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"regex","req":"^1.12","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"time","req":"^0.3","features":["parsing","formatting","macros","serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"url","req":"^2.5","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"uuid","req":"^1.0","features":["v4","serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6f835c8d4aec033f96c04f61d2a4bd20c6b682eb3e4015d8c73ba2be42644b46","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"]},"yanked":false,"pubtime":"2026-03-05T16:04:03Z","v":2}
{"name":"elicitation_kani","vers":"0.9.1","deps":[{"name":"chrono","req":"^0.4","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"elicitation","req":"^0.9.1","features":["verification"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jiff","req":"^0.2","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"kani-verifier","req":"^0.67","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"regex","req":"^1.12","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"time","req":"^0.3","features":["parsing","formatting","macros","serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"url","req":"^2.5","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"uuid","req":"^1.0","features":["v4","serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3283761c9d24baceb8c2e303007b4bfdafa5831151e4ac32185503040ed11a1a","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"]},"yanked":false,"pubtime":"2026-03-10T06:06:01Z","v":2}
{"name":"elicitation_kani","vers":"0.10.0","deps":[{"name":"accesskit","req":"^0.24","features":["serde","schemars"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4","features":["derive","string"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"egui","req":"^0.34","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"elicit_ui","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"elicitation","req":"^0.10.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"geo-types","req":"^0.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"jiff","req":"^0.2","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"kani-verifier","req":"^0.67","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"palette","req":"^0.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"paste","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"ratatui","req":"^0.30","features":["serde"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"regex","req":"^1.12","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"sqlx","req":"^0.8","features":["runtime-tokio","tls-native-tls","any","postgres","sqlite","mysql","macros"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"time","req":"^0.3","features":["parsing","formatting","macros","serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"url","req":"^2.5","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"uuid","req":"^1.0","features":["v4","serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e376e6d5aa363a8567f51da8155a094d4be858a78dc1fe58e6bb3dcab1b3e0a2","features":{"default":[],"tokio-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"],"jiff":["dep:jiff","elicitation/jiff"],"kani":["dep:kani-verifier"],"palette":["dep:palette","elicitation/palette"],"ratatui":["dep:ratatui","dep:paste","elicitation/ratatui"],"regex":["dep:regex","elicitation/regex"],"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"]},"yanked":false,"pubtime":"2026-04-04T18:46:43Z","v":2}
{"name":"elicitation_kani","vers":"0.11.0","deps":[{"name":"accesskit","req":"^0.24","features":["serde","schemars"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4","features":["derive","string"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"egui","req":"^0.34","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"elicit_ui","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"elicitation","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"geo-types","req":"^0.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"geojson","req":"^1","features":["geo-types"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"georaster","req":"^0.2","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"jiff","req":"^0.2","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"kani-verifier","req":"^0.67","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"palette","req":"^0.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"paste","req":"^1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"proj","req":"^0.31","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"ratatui","req":"^0.30","features":["serde"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"regex","req":"^1.12","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rstar","req":"^0.12","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"sqlx","req":"^0.8","features":["runtime-tokio","tls-native-tls","any","postgres","sqlite","mysql","macros","uuid","chrono"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tiff","req":"^0.9.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"time","req":"^0.3","features":["parsing","formatting","macros","serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"url","req":"^2.5","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"uuid","req":"^1","features":["v4","serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"wkb","req":"^0.9","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"wkt","req":"^0.14","features":["geo-types"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f49cb4cc297814cf6b6488e53271674db6277f5a48e3b5981dd0cae30de904f7","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"]},"yanked":false,"pubtime":"2026-05-18T03:46:07Z","v":2}
{"name":"elicitation_kani","vers":"0.11.1","deps":[{"name":"accesskit","req":"^0.24","features":["serde","schemars"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"chrono","req":"^0.4","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4","features":["derive","string"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"egui","req":"^0.34","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"elicit_ui","req":"^0.11.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"elicitation","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"geo-types","req":"^0.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"geojson","req":"^1","features":["geo-types"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"georaster","req":"^0.2","features":[],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"jiff","req":"^0.2","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"kani-verifier","req":"^0.67","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"palette","req":"^0.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"paste","req":"^1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"proj","req":"^0.31","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"ratatui","req":"^0.30","features":["serde"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"regex","req":"^1.12","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rstar","req":"^0.13","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"sqlx","req":"^0.8","features":["runtime-tokio","tls-native-tls","any","postgres","sqlite","mysql","macros","uuid","chrono"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tiff","req":"^0.9.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"time","req":"^0.3","features":["parsing","formatting","macros","serde","serde-human-readable","serde-well-known"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"url","req":"^2.5","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"uuid","req":"^1","features":["v4","serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"wkb","req":"^0.9","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"wkt","req":"^0.14","features":["geo-types","serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"02cb8a8ef5516a4d057617760dc047384d1fea4664bef27abdca21d3de3d74e6","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"]},"yanked":false,"pubtime":"2026-06-03T02:04:05Z","v":2}