{"name":"jingle","vers":"0.1.0","deps":[{"name":"jingle_sleigh","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.197","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.58","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1.40","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"33e805618f627e009a22fa26a110a28b4a8420761111e78f52382a9fb3c26b75","features":{"elf":["jingle_sleigh/elf"],"gimli":["jingle_sleigh/gimli"]},"yanked":false,"rust_version":"1.77.0","pubtime":"2024-05-21T16:56:31Z"}
{"name":"jingle","vers":"0.1.1","deps":[{"name":"jingle_sleigh","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.197","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.58","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1.40","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d143fda5c3fb1c792e8e8d462f03d99bc01c8749b831c543a310cf7ff9fc6b91","features":{"elf":["jingle_sleigh/elf"],"gimli":["jingle_sleigh/gimli"]},"yanked":false,"rust_version":"1.77.0","pubtime":"2024-05-22T09:30:24Z"}
{"name":"jingle","vers":"0.1.2","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^0.6","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.24","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.9.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b94ce4c655ab77e45829010ecf56a5db9e72278b11dc02d2b934acd879335322","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin_features":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-07-10T14:17:04Z","v":2}
{"name":"jingle","vers":"0.1.3","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^0.6","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.1.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.24","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.9","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2b665efe7ab4769687b611d019def27628cdc26619346494353e12a973ea1ad1","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin_features":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-07-16T16:29:35Z","v":2}
{"name":"jingle","vers":"0.1.4","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^0.6","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.24","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.13","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.9","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4e8d6a01faf58fd44682dde37f3053bf0cc7c1d20ca8c96178f2818cc4e91423","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin_features":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-07-16T18:57:18Z","v":2}
{"name":"jingle","vers":"0.2.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.25","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.9.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"deccef17a9ec707e2b1a17103acd571e6469addbbe13ba3c33ffec997c5c14fb","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-08-06T21:17:25Z","v":2}
{"name":"jingle","vers":"0.2.1","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.25","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.14.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.9.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"166c7a1d4f9409bfe0aa7b3770418d91a1e2613fd58cb3e5290b5c0189827f0b","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-08-11T23:13:57Z","v":2}
{"name":"jingle","vers":"0.2.2","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.2.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.25","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.14.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.9.5","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6dec8ed4c7f8fbbcf0268c3ccb9c4d9425515d7bf283c9fef5150b249c0beb0a","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-08-13T04:00:44Z","v":2}
{"name":"jingle","vers":"0.2.3","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.2.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.25","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.16.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.9.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1883c54dbb8dd817d5ece350dfc3a127a6cdcd745ab2d9fc60cb8b35dea4ebf2","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-08-21T13:49:47Z","v":2}
{"name":"jingle","vers":"0.2.4","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.2.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.25","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.16.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.9.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5593230daa08f92c667eaeaaf5ea47011b05e96ac38c44cd1e3f8ae0746726a1","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-08-22T22:26:31Z","v":2}
{"name":"jingle","vers":"0.2.5","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.2.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.25","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.17.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.9.9","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"bcc575c648dd0efd848130d235221e77f9e1a1d33e58c0dca0d1eaa257ae6678","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-09-03T15:27:48Z","v":2}
{"name":"jingle","vers":"0.2.6","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.2.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.25","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.18.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.9.9","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"44f34f37d0d72ac899901dfa7738ba8ef9a621a9deccfe6d439c5a93d6480476","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-09-14T11:46:20Z","v":2}
{"name":"jingle","vers":"0.2.7","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.2.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.26","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.18.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.9.9","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"45dd8fac29aa2b249766f60e7033294014e6a5432a65f6c161a8e598f337dcfb","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-09-17T17:10:16Z","v":2}
{"name":"jingle","vers":"0.3.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.26","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.18.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.9.9","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"be3575affba14533798118a9aa5e32366bc46728076c047824829a55de11fd61","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-09-19T09:24:00Z","v":2}
{"name":"jingle","vers":"0.3.1","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.26","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.18.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.9.9","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"aad362e93506044c930f934eda1f941ec77b509f98b6a01282039fab21cf1b8e","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-09-19T12:45:21Z","v":2}
{"name":"jingle","vers":"0.3.2","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.26","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.18.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.9.9","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ea8f7b738a554b60de6b0a8c1994d5e93d5e836e72fdbc164c5450c1f6614149","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-09-19T13:38:17Z","v":2}
{"name":"jingle","vers":"0.3.3","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.26","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f19696e887acb676167cfb34db3e1335cfef5783f3e36a90990621e59bcf9bbb","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-09-26T12:23:37Z","v":2}
{"name":"jingle","vers":"0.3.4","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.26","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8ad5373fbfd411bf897e024dbfec040c482b64853d69baaa409a24d777559afa","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-11-07T11:18:19Z","v":2}
{"name":"jingle","vers":"0.3.5","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.26","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b669dbc2f958397f07fb81464792e0636a0aa1ecfc04f1e30a627bcb21435171","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-12-02T19:03:38Z","v":2}
{"name":"jingle","vers":"0.3.6","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4e0859f3ced36cd73c12ea6695386a59c98d02bc60e057aa36bcaa712a5b9a45","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-12-03T11:18:09Z","v":2}
{"name":"jingle","vers":"0.3.7","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"449435835e79baca07c9495ed761a8d4ae3191dae799ed29b647f6ac273e816b","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-12-09T00:21:36Z","v":2}
{"name":"jingle","vers":"0.4.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.4.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"398a9aff33b3455daa08448d815d393792749dc864f767d53e280c7feb059278","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-12-19T10:02:58Z","v":2}
{"name":"jingle","vers":"0.4.1","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d949636739bffe93bad538a9c3b8ccd4ead00aedc28efb6f5f1e46beb50c1198","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-12-21T09:04:01Z","v":2}
{"name":"jingle","vers":"0.4.2","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.4.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"769e1a737cb1b647286a2db0b5f38b27ed2c6828156374a770c25751cddd120b","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-12-21T18:34:38Z","v":2}
{"name":"jingle","vers":"0.5.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.4.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sorted-vec","req":"^0.8.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"43b34ea344b44620d3e1afface18950c5b09f53b4ffbcb5cdb86a41397c7ab76","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-01-28T23:50:25Z","v":2}
{"name":"jingle","vers":"0.5.1","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.4.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sorted-vec","req":"^0.8.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0e08c0ee52bad9b828d57d95bf7fabc6e6b8f39fb401e9a98268eca9b5a7c640","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-02-01T23:18:32Z","v":2}
{"name":"jingle","vers":"0.5.2","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sorted-vec","req":"^0.8.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4317cab9f52fc6ff6a0d7f99f7de8046c78f426b2343897b935881f6a3768d79","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-02-02T12:32:45Z","v":2}
{"name":"jingle","vers":"0.5.3","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sorted-vec","req":"^0.8.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"21eaafe2ac16de26a660b1a509f3a211d71ae53b3c14854559ba408f9dc760ae","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-02-03T00:11:20Z","v":2}
{"name":"jingle","vers":"0.5.4","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sorted-vec","req":"^0.8.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"412d34305d059960ca7a1240aa70aa10695b4c0fa7bafc0eb6453df5bdf02131","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-02-11T20:37:01Z","v":2}
{"name":"jingle","vers":"0.5.5","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sorted-vec","req":"^0.8.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e3e5b863a4df151519cf0637655eef5e1f444d390a8601324f31aa1ece2bb060","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-02-11T21:41:18Z","v":2}
{"name":"jingle","vers":"0.5.6","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sorted-vec","req":"^0.8.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"725a26f4016ff4aaef832850f9d08d182193e68ff13e1215804e8bc3b3f8850e","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-02-12T13:42:57Z","v":2}
{"name":"jingle","vers":"0.5.7","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.4.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sorted-vec","req":"^0.8.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a8ac66a7d30b66b465c0ccee463bd6fe336030fce8642a2f5ec755137d66dc5e","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-02-13T11:38:08Z","v":2}
{"name":"jingle","vers":"0.5.8","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.4.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sorted-vec","req":"^0.8.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2613710ff7847b695ccf0db0ef198485de13f53a16bb62e22d4f82288cfb2c90","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-02-21T00:15:17Z","v":2}
{"name":"jingle","vers":"0.5.9","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.4.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sorted-vec","req":"^0.8.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"52ad451debcbf3d17ad9894f90a2eaf5f54954db146c866abdfb6306286226f6","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-02-22T10:35:32Z","v":2}
{"name":"jingle","vers":"0.6.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sorted-vec","req":"^0.8.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"45e61cf12480decaa7d74b3919111c10821db4579cbfdbeb5d7cfa47c746828e","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-02-23T12:45:16Z","v":2}
{"name":"jingle","vers":"0.6.1","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sorted-vec","req":"^0.8.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b864b2f1533f3c21effca5eeb2cc48337fbda05a96b94d8a716a88d6b7be1073","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-02-23T13:39:25Z","v":2}
{"name":"jingle","vers":"0.6.2","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sorted-vec","req":"^0.8.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e2fafbf239af3f4bc5f82730ff4d7441a92ba1c3419574c252bc2b8a25fed970","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-02-25T13:59:53Z","v":2}
{"name":"jingle","vers":"0.6.3","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sorted-vec","req":"^0.8.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7defdbb066eaf75478d1b1b9cfcc7d22e3c95e1c3c351b565790adfedbe89163","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-02-25T17:28:12Z","v":2}
{"name":"jingle","vers":"0.6.4","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sorted-vec","req":"^0.8.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"bd603f12cdba4c57e7d18ac1e500b9b19d5bc1d3822b700dddcaed21b39a04b9","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-02-26T13:51:01Z","v":2}
{"name":"jingle","vers":"0.6.5","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sorted-vec","req":"^0.8.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0bacde24f31e43b913c3a92aec6c0b5e51cfdbd3d8e9dd04dfe749481b7d8bc4","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-02-26T22:16:35Z","v":2}
{"name":"jingle","vers":"0.6.6","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sorted-vec","req":"^0.8.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b858ba203fc67c53581ec437329e813b46ef7d596f28d45837108d68fc2d84dd","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-02-27T11:28:01Z","v":2}
{"name":"jingle","vers":"0.6.7","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sorted-vec","req":"^0.8.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5a8cd159fb3ee271bcd5c4eb7519c5d00b02b1838f7f25e4a072ab3c1b9620ff","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-03-01T23:12:30Z","v":2}
{"name":"jingle","vers":"0.6.8","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sorted-vec","req":"^0.8.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"51a3a58c1af8ea6cd9c62a9f9929bbcac5f527291b7b23a71da57ab14206efd7","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-03-25T10:00:55Z","v":2}
{"name":"jingle","vers":"0.6.9","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sorted-vec","req":"^0.8.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.10.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f0b2f9aa6508275c785ff60259c23a635663a2b3f1291c95303d4647ae4c8045","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-04-01T12:09:12Z","v":2}
{"name":"jingle","vers":"0.6.10","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sorted-vec","req":"^0.8.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3a7e43edb66f3a82e59ee7a7746da09e4e2f1f657e5cd535737eed0e51dada84","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-04-04T13:18:00Z","v":2}
{"name":"jingle","vers":"0.6.11","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"69ca4b753c9f6649da8b3659770c9dd26e2f82faaba260251ca42ef16d42b39b","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-04-10T11:49:09Z","v":2}
{"name":"jingle","vers":"0.6.12","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3d5a94a3c516f1d55613f58d4f9d73277a0b561fdd0a76e5b0b979e345a24f53","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-04-10T14:46:21Z","v":2}
{"name":"jingle","vers":"0.6.13","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1add07bea92780a4fa7ef19e392f2613b88e2d41a55e06d0738a58cc958a078f","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-04-13T09:55:54Z","v":2}
{"name":"jingle","vers":"0.6.14","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a08fdc8df57601555ed50a06a44e25bd28c1d6ee7fba4ab2db0ea50cbc1675fe","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-04-13T13:38:44Z","v":2}
{"name":"jingle","vers":"0.6.15","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4ea6b03b9968370cd3ff3faa535262b30ec85473ebeac7d2c1370fedb6882513","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-04-15T15:27:13Z","v":2}
{"name":"jingle","vers":"0.6.16","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e60b5c9021db1eb57db9ad28083ff503bbc401dab273af5c867b15039c8af9c7","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-04-16T21:53:17Z","v":2}
{"name":"jingle","vers":"0.6.17","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"199ca300ff2ca6cb56eb757b0b3d2152417b6b3e8a9e9029884d2b101c8c357e","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-04-24T13:11:37Z","v":2}
{"name":"jingle","vers":"0.6.18","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b43258018925a231d5b1fb52fda9cd9b0bb338ab45a80140214a1e48b6bb1434","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-04-29T08:10:40Z","v":2}
{"name":"jingle","vers":"0.6.19","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e0af4099914e30df899b2b62683a965afe6ae01043dce86d1b5bdee4c929e646","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-04-30T20:26:15Z","v":2}
{"name":"jingle","vers":"0.6.20","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e4a3746813c9e07db37cd779d6cc809e100b6e2ee530482d2c00e56e542d2a50","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-05-04T19:04:03Z","v":2}
{"name":"jingle","vers":"0.6.21","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0e15f3e1ceed5530d76b2beb1db33d113a1cbebafa7db262369d9de41ff1d13d","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-05-06T12:50:03Z","v":2}
{"name":"jingle","vers":"0.6.22","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"657d2f601bb2425238b76cf1d355f736c27bd0a5727cfb139cdfd7b4f4efad5e","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-05-06T22:54:22Z","v":2}
{"name":"jingle","vers":"0.6.23","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a1970d208d239928cc933b5f868517a037dcf79f05706444af9895e254ded98d","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-05-07T23:45:29Z","v":2}
{"name":"jingle","vers":"0.6.24","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6808fda8d7a9f3e422fe602969442aeb96248eb3faea1de0e6659a53f27f8afb","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-05-08T09:18:31Z","v":2}
{"name":"jingle","vers":"0.6.25","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0fcf963e809294aa0e3684f62eff308d4e7d9a204ac227c3f897a6b062ccda4c","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-05-08T15:08:15Z","v":2}
{"name":"jingle","vers":"0.6.26","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"eeda9a76736518176263fbef4a763cc269885fcf2ee2314bce16a80e0a68dbbc","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-05-08T19:54:53Z","v":2}
{"name":"jingle","vers":"0.6.27","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6c27fcb49150c1bef5b42c5f492a153b06ee329ff381fc8b1ed57ea1f2274324","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-05-12T16:40:08Z","v":2}
{"name":"jingle","vers":"0.6.28","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b9ca402218ab36ca432aa565759d618eb59b1ccfe92e8d81c9645b16ccf5af55","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-05-13T22:54:44Z","v":2}
{"name":"jingle","vers":"0.6.29","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"42d8d4c4ad4538fa1b34e1e30a2882aff462ce8c2db818a0884c888da8859b9c","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-05-17T12:13:16Z","v":2}
{"name":"jingle","vers":"0.6.30","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7b7a143fc005372b9fdf4e666a5a8d868a214dfc94c6988b54d9770a9d7a169b","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-05-21T06:34:56Z","v":2}
{"name":"jingle","vers":"0.6.31","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"internment","req":"^0.8.6","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c6b5d9fe73162a5dc11116ef8c866b27b17d9c473392ffb16c92e3fd26dd2d40","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-05-23T14:42:59Z","v":2}
{"name":"jingle","vers":"0.6.32","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive","rc"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f97a032356af67a2595e0909fe829bc448b1f92789f0fb7fcefe21ba9f0c8035","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-05-24T18:20:50Z","v":2}
{"name":"jingle","vers":"0.6.33","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive","rc"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"df10fa50c66902a5c65c5f25d9e8556ffd91f317d05a0a817e74b1ed51ae354e","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-05-26T09:21:42Z","v":2}
{"name":"jingle","vers":"0.6.34","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive","rc"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"69bdf656424af7d34ce99e332a148a5cf9a36a0251bc5a6b5a3fd5655250e65c","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-05-27T08:32:15Z","v":2}
{"name":"jingle","vers":"0.6.35","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive","rc"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8d6053ee936895f684c1e951395c7b353fc1ea6ca4f5b55d20d091eb7e7ef98b","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-05-27T16:39:18Z","v":2}
{"name":"jingle","vers":"0.6.36","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"im","req":"^15.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive","rc"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fbc0f37feab5626ede405b6b5e6df6b6143eb4970ddd9879431045dcc9ab7c3c","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-05-29T18:38:24Z","v":2}
{"name":"jingle","vers":"0.6.37","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.5","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"confy","req":"^1.0.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"hex","req":"^0.4","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"im","req":"^15.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"inventory","req":"^0.3.21","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle_sleigh","req":"^0.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"petgraph","req":"^0.8.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0.27.2","features":["macros"],"optional":true,"default_features":false,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive","rc"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["fmt","env-filter"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.20.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"z3-sys","req":"^0.11.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2cabba3124369a3a842fa21dae156be15101a5ea949174d5a5ad1f43d9b7c0c7","features":{"default":[],"gimli":["jingle_sleigh/gimli"]},"features2":{"bin":["dep:clap","dep:confy","dep:hex","dep:anyhow"],"pyo3":["dep:pyo3","jingle_sleigh/pyo3","dep:z3-sys"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2026-06-06T04:16:10Z","v":2}