{"name":"crackers","vers":"0.1.1","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"derive_builder","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle","req":"^0.1.2","features":["gimli"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","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":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.203","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":"toml_edit","req":"^0.22","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-indicatif","req":"^0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["env-filter"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.13.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"335fc57cc53787f8754f3f0d42a1d9495bbe7c29735593d38341e0eddab05cd7","features":{"bundled":["z3/bundled"]},"features2":{"bin":["dep:tracing-subscriber","toml","dep:clap","dep:anyhow","dep:tracing-indicatif"],"default":["toml"],"pyo3":["dep:pyo3","jingle/pyo3"],"toml":["dep:toml_edit"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-07-10T14:41:21Z","v":2}
{"name":"crackers","vers":"0.1.2","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"derive_builder","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle","req":"^0.1.2","features":["gimli"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","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":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.203","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":"toml_edit","req":"^0.22","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-indicatif","req":"^0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["env-filter"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.13.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"be2a63d3fd6dad316eca0f1a94e22faccbc6574b3c2279ed5a52e304665984f2","features":{"z3-gh-release":["z3/gh-release"]},"features2":{"bin":["dep:tracing-subscriber","toml","dep:clap","dep:anyhow","dep:tracing-indicatif"],"default":["toml"],"pyo3":["dep:pyo3","jingle/pyo3"],"toml":["dep:toml_edit"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-07-11T10:35:25Z","v":2}
{"name":"crackers","vers":"0.1.3","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"derive_builder","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle","req":"^0.1.3","features":["gimli"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","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":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.203","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":"toml_edit","req":"^0.22","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-indicatif","req":"^0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["env-filter"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.13.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a8c6c6ac09d81f2cc326bc51dbf72465a0e36346e704ce39cd34c7ba3961c854","features":{"z3-gh-release":["z3/gh-release"]},"features2":{"bin":["dep:tracing-subscriber","toml","dep:clap","dep:anyhow","dep:tracing-indicatif"],"default":["toml"],"pyo3":["dep:pyo3","jingle/pyo3"],"toml":["dep:toml_edit"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-07-16T16:50:45Z","v":2}
{"name":"crackers","vers":"0.2.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"derive_builder","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle","req":"^0.1.3","features":["gimli"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","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":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.203","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":"toml_edit","req":"^0.22","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-indicatif","req":"^0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["env-filter"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.13.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"6af003682e63ebffec09d06b0b74895b304bec98bd29e545e02615f7fa18836d","features":{"z3-gh-release":["z3/gh-release"]},"features2":{"bin":["dep:tracing-subscriber","toml","dep:clap","dep:anyhow","dep:tracing-indicatif"],"default":["toml"],"pyo3":["dep:pyo3","jingle/pyo3"],"toml":["dep:toml_edit"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-07-16T19:11:23Z","v":2}
{"name":"crackers","vers":"0.2.1","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"derive_builder","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle","req":"^0.1.3","features":["gimli"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.36","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":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.203","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":"toml_edit","req":"^0.22","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-indicatif","req":"^0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["env-filter"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.13.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"985b975387aa3f327339e75dd7448316c4244045d94c18d1c2634ea38ae1b77b","features":{"z3-gh-release":["z3/gh-release"]},"features2":{"bin":["dep:tracing-subscriber","toml","dep:clap","dep:anyhow","dep:tracing-indicatif"],"default":["toml"],"pyo3":["dep:pyo3","jingle/pyo3"],"toml":["dep:toml_edit"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-07-16T21:38:30Z","v":2}
{"name":"crackers","vers":"0.3.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"derive_builder","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle","req":"^0.2.0","features":["gimli"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.37.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.203","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":"toml_edit","req":"^0.22","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-indicatif","req":"^0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["env-filter"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.14.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"46af179ac409fe7ebd371b81cd7a66a8bf5d8c907b3ad645fb34ed0b5bc96827","features":{"z3-gh-release":["z3/gh-release"]},"features2":{"bin":["dep:tracing-subscriber","toml","dep:clap","dep:anyhow","dep:tracing-indicatif"],"default":["toml"],"pyo3":["dep:pyo3","jingle/pyo3"],"toml":["dep:toml_edit"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-08-06T21:58:29Z","v":2}
{"name":"crackers","vers":"0.4.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"derive_builder","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle","req":"^0.2.2","features":["gimli"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.37.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.203","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":"toml_edit","req":"^0.22","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-indicatif","req":"^0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["env-filter"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.14.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c27635685dbaf52c27470f0b4d952e150aebcca8efde8b1a1b99e8dbec8a59b1","features":{"z3-gh-release":["z3/gh-release"]},"features2":{"bin":["dep:tracing-subscriber","toml","dep:clap","dep:anyhow","dep:tracing-indicatif"],"default":["toml"],"pyo3":["dep:pyo3","jingle/pyo3"],"toml":["dep:toml_edit"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-08-14T05:09:43Z","v":2}
{"name":"crackers","vers":"0.5.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"derive_builder","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle","req":"^0.2.3","features":["gimli"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.37.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.203","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":"toml_edit","req":"^0.22","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-indicatif","req":"^0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["env-filter"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.16.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b7b61b81821d935140766f860cc961d702566c69c3e6227f1cd78cc8c2bd4812","features":{"z3-gh-release":["z3/gh-release"]},"features2":{"bin":["dep:tracing-subscriber","toml","dep:clap","dep:anyhow","dep:tracing-indicatif"],"default":["toml"],"pyo3":["dep:pyo3","jingle/pyo3"],"toml":["dep:toml_edit"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-08-21T15:04:50Z","v":2}
{"name":"crackers","vers":"0.5.1","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"derive_builder","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle","req":"^0.2.4","features":["gimli"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.37.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.203","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":"toml_edit","req":"^0.22","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-indicatif","req":"^0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["env-filter"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.16.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"bd9ccef2e224f7b61d3198b4746062694d2ac397b2df61c33eea61b225fa0cdd","features":{"z3-gh-release":["z3/gh-release"]},"features2":{"bin":["dep:tracing-subscriber","toml","dep:clap","dep:anyhow","dep:tracing-indicatif"],"default":["toml"],"pyo3":["dep:pyo3","jingle/pyo3"],"toml":["dep:toml_edit"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-08-22T22:40:56Z","v":2}
{"name":"crackers","vers":"0.5.2","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"derive_builder","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle","req":"^0.2.5","features":["gimli"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.37.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.203","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":"toml_edit","req":"^0.22","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-indicatif","req":"^0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["env-filter"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.17.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c33c43beb291dbca9e61025b1351fc7759b60ba73350e4aa8b05148e733f5101","features":{"z3-gh-release":["z3/gh-release"]},"features2":{"bin":["dep:tracing-subscriber","toml","dep:clap","dep:anyhow","dep:tracing-indicatif"],"default":["toml"],"pyo3":["dep:pyo3","jingle/pyo3"],"toml":["dep:toml_edit"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-09-03T18:51:44Z","v":2}
{"name":"crackers","vers":"0.5.3","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"derive_builder","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle","req":"^0.2.6","features":["gimli"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.37.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.203","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":"toml_edit","req":"^0.22","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-indicatif","req":"^0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["env-filter"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.18.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8620f6f069158ba865e979f1a3212b53af2ea8f84fbf611793611fba588aa6aa","features":{"z3-gh-release":["z3/gh-release"]},"features2":{"bin":["dep:tracing-subscriber","toml","dep:clap","dep:anyhow","dep:tracing-indicatif"],"default":["toml"],"pyo3":["dep:pyo3","jingle/pyo3"],"toml":["dep:toml_edit"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-09-14T12:07:27Z","v":2}
{"name":"crackers","vers":"0.5.4","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"derive_builder","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle","req":"^0.2.6","features":["gimli"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.37.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.203","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":"toml_edit","req":"^0.23.5","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-indicatif","req":"^0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["env-filter"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.18.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ccbc20d8427851864d9b5fbcd7f7a0edd002fecb55e248aad4893dbd3b0c2f02","features":{"z3-gh-release":["z3/gh-release"]},"features2":{"bin":["dep:tracing-subscriber","toml","dep:clap","dep:anyhow","dep:tracing-indicatif"],"default":["toml"],"pyo3":["dep:pyo3","jingle/pyo3"],"toml":["dep:toml_edit"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-09-17T19:29:01Z","v":2}
{"name":"crackers","vers":"0.6.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"derive_builder","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle","req":"^0.3.2","features":["gimli"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.37.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.203","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":"toml_edit","req":"^0.23.5","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-indicatif","req":"^0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["env-filter"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.18.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"cac5804ca2bbe7e8664cae8309e511822c100272e6ac26d74dd049a6b3e4e144","features":{"z3-gh-release":["z3/gh-release"]},"features2":{"bin":["dep:tracing-subscriber","toml","dep:clap","dep:anyhow","dep:tracing-indicatif"],"default":["toml"],"pyo3":["dep:pyo3","jingle/pyo3"],"toml":["dep:toml_edit"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-09-22T16:22:43Z","v":2}
{"name":"crackers","vers":"0.6.1","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"derive_builder","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle","req":"^0.3.2","features":["gimli"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.37.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.203","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":"toml_edit","req":"^0.23.5","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-indicatif","req":"^0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["env-filter"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.18.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"57cfcb29e9a5016e2721ef91dd7a87d272966860396497c6051e4fc8cb897fa5","features":{"z3-gh-release":["z3/gh-release"]},"features2":{"bin":["dep:tracing-subscriber","toml","dep:clap","dep:anyhow","dep:tracing-indicatif"],"default":["toml"],"pyo3":["dep:pyo3","jingle/pyo3"],"toml":["dep:toml_edit"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-09-22T18:13:17Z","v":2}
{"name":"crackers","vers":"0.6.2","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"derive_builder","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle","req":"^0.3.2","features":["gimli"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.37.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.203","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":"toml_edit","req":"^0.23.5","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-indicatif","req":"^0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["env-filter"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8bba69025a705fccd389a43992a078a69ed0668f47c1008c61904e676d4d370b","features":{"z3-gh-release":["z3/gh-release"]},"features2":{"bin":["dep:tracing-subscriber","toml","dep:clap","dep:anyhow","dep:tracing-indicatif"],"default":["toml"],"pyo3":["dep:pyo3","jingle/pyo3"],"toml":["dep:toml_edit"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-09-26T16:03:35Z","v":2}
{"name":"crackers","vers":"0.6.3","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"derive_builder","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle","req":"^0.3.2","features":["gimli"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.37.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pyo3","req":"^0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"rand","req":"^0.9.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.203","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":"toml_edit","req":"^0.23.5","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-indicatif","req":"^0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["env-filter"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b2a6ce024364b516d806c261628d02c4b6c7c72c340ee3faa29dbdb15119c0b8","features":{"z3-gh-release":["z3/gh-release"]},"features2":{"bin":["dep:tracing-subscriber","toml","dep:clap","dep:anyhow","dep:tracing-indicatif"],"default":["toml"],"pyo3":["dep:pyo3","jingle/pyo3"],"toml":["dep:toml_edit"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-10-09T13:02:35Z","v":2}
{"name":"crackers","vers":"0.6.4","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"derive_builder","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle","req":"^0.3.6","features":["gimli"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.37.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":"rand","req":"^0.9.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.203","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":"toml_edit","req":"^0.23.5","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-indicatif","req":"^0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["env-filter"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b7a2ba19ab2d870fea1f91f985021d750b138904fc3bd0286a82f5ce383077d8","features":{"z3-gh-release":["z3/gh-release"]},"features2":{"bin":["dep:tracing-subscriber","toml","dep:clap","dep:anyhow","dep:tracing-indicatif"],"default":["toml"],"pyo3":["dep:pyo3","jingle/pyo3"],"toml":["dep:toml_edit"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-12-03T12:23:40Z","v":2}
{"name":"crackers","vers":"0.7.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"derive_builder","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle","req":"^0.4.2","features":["gimli"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.37.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":"rand","req":"^0.9.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.203","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":"toml_edit","req":"^0.23.5","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-indicatif","req":"^0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["env-filter"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"66717dba5f6573c0f34167380092ef3666fe0b23a13a74ab8da2ad67688e1e24","features":{"z3-gh-release":["z3/gh-release"]},"features2":{"bin":["dep:tracing-subscriber","toml","dep:clap","dep:anyhow","dep:tracing-indicatif"],"default":["toml"],"pyo3":["dep:pyo3","jingle/pyo3"],"toml":["dep:toml_edit"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-12-21T19:41:10Z","v":2}
{"name":"crackers","vers":"0.8.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"derive_builder","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle","req":"^0.4.2","features":["gimli"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.37.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":"rand","req":"^0.9.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.203","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":"toml_edit","req":"^0.23.5","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-indicatif","req":"^0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["env-filter"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"338c9c586de988b21ed769d33d1205de6ce98873f403e404ce6900130f491eb9","features":{"z3-gh-release":["z3/gh-release"]},"features2":{"bin":["dep:tracing-subscriber","toml","dep:clap","dep:anyhow","dep:tracing-indicatif"],"default":["toml"],"pyo3":["dep:pyo3","jingle/pyo3"],"toml":["dep:toml_edit"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-12-22T18:12:28Z","v":2}
{"name":"crackers","vers":"0.8.1","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"derive_builder","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle","req":"^0.4.2","features":["gimli"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.37.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":"rand","req":"^0.9.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.203","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":"toml_edit","req":"^0.23.5","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-indicatif","req":"^0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["env-filter"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2150ff3f6004982249e0c11b6e10de977a8fdd2fe268f1c2f26ef74a3953379f","features":{"z3-gh-release":["z3/gh-release"]},"features2":{"bin":["dep:tracing-subscriber","toml","dep:clap","dep:anyhow","dep:tracing-indicatif"],"default":["toml"],"pyo3":["dep:pyo3","jingle/pyo3"],"toml":["dep:toml_edit"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-12-24T11:39:56Z","v":2}
{"name":"crackers","vers":"0.9.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"derive_builder","req":"^0.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"jingle","req":"^0.4.2","features":["gimli"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"object","req":"^0.37.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":"rand","req":"^0.9.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0.203","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":"toml_edit","req":"^0.23.5","features":["serde"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-indicatif","req":"^0.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["env-filter"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"78bf9a2e8502ab6b052c1da32a669c264e0bc1e61e1f59c868b50b65dd7c25f3","features":{"z3-gh-release":["z3/gh-release"]},"features2":{"bin":["dep:tracing-subscriber","toml","dep:clap","dep:anyhow","dep:tracing-indicatif"],"default":["toml"],"pyo3":["dep:pyo3","jingle/pyo3"],"toml":["dep:toml_edit"]},"yanked":false,"rust_version":"1.85.0","pubtime":"2025-12-25T12:50:32Z","v":2}