{"name":"elicit_proofs","vers":"0.11.0","deps":[{"name":"chrono","req":"^0.4","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"creusot-std","req":"^0.10","features":["nightly"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"elicit_db","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"elicit_server","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"elicitation","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"be99853dd442a53cf928dd961c254552bcbb953f5d6c5208dcb5a3c8688e1980","features":{"default":[],"verus":[]},"features2":{"creusot":["dep:creusot-std"],"kani":["dep:elicit_db","dep:serde_json","dep:chrono","dep:tracing"]},"yanked":false,"pubtime":"2026-05-19T13:31:43Z","v":2}
{"name":"elicit_proofs","vers":"0.11.1","deps":[{"name":"creusot-std","req":"^0.11","features":["nightly"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"elicit_db","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"elicit_server","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"elicit_ui","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"elicitation","req":"^0.11.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"schemars","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c66840eb1f6a22b9323d263c328ed7550fcf8c3335c23f397ebd778c468d9c6a","features":{"kani":[],"verus":[]},"features2":{"creusot":["dep:creusot-std"]},"yanked":false,"pubtime":"2026-06-03T16:53:28Z","v":2}