{"name":"praborrow-prover","vers":"0.3.0","deps":[{"name":"lazy_static","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"praborrow-core","req":"^0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.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":"z3","req":"^0.12","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5ffd912b0ea9a8acdb70af0e891de6bf0dfb60d577398f4bfc1a0914806a37e1","features":{"default":[]},"features2":{"z3-backend":["dep:z3"]},"yanked":false,"pubtime":"2026-01-09T16:54:23Z","v":2}
{"name":"praborrow-prover","vers":"0.4.0","deps":[{"name":"lazy_static","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"praborrow-core","req":"^0.4.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5864c01b91ad69a055cac1238b922fc8f980011f27d961ef256f348af6173d8e","features":{"default":["std"],"std":["praborrow-core/std"]},"features2":{"z3-backend":["dep:z3"]},"yanked":false,"pubtime":"2026-01-09T17:38:16Z","v":2}
{"name":"praborrow-prover","vers":"0.5.0","deps":[{"name":"lazy_static","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lru","req":"^0.16.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"praborrow-core","req":"^0.5.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"z3","req":"^0.12","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8137e09ed2750eec23fd5c01e903d2ad8b0ae83061965b132c9fc64a0108eed6","features":{"default":["std"],"std":["praborrow-core/std"]},"features2":{"z3-backend":["dep:z3"]},"yanked":false,"pubtime":"2026-01-10T08:00:54Z","v":2}
{"name":"praborrow-prover","vers":"0.7.0","deps":[{"name":"lazy_static","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lru","req":"^0.16.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"praborrow-core","req":"^0.7.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.17","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"47a51bcc1fd945ab82603ec4408017ebfec733437cbcf8e6a06499afad75ada5","features":{"default":["std"],"std":["praborrow-core/std"]},"features2":{"z3-backend":["dep:z3"]},"yanked":false,"pubtime":"2026-01-11T07:46:36Z","v":2}
{"name":"praborrow-prover","vers":"0.7.1","deps":[{"name":"lazy_static","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lru","req":"^0.16.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"praborrow-core","req":"^0.7.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.17","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c489cfb223e49ba1885ee271de97134c1b4be3c237ea8d0bf63a54d337daac3d","features":{"default":["std"],"std":["praborrow-core/std"]},"features2":{"z3-backend":["dep:z3"]},"yanked":false,"pubtime":"2026-01-11T07:54:41Z","v":2}
{"name":"praborrow-prover","vers":"0.7.2","deps":[{"name":"lazy_static","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lru","req":"^0.16.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"praborrow-core","req":"^0.7.2","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.17","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8e3bfe0ffd642eec94fe812f42161b218928c7e7a9b737a11ebc331e98c65bf5","features":{"default":["std"],"std":["praborrow-core/std"]},"features2":{"z3-backend":["dep:z3"]},"yanked":false,"pubtime":"2026-01-11T08:53:38Z","v":2}
{"name":"praborrow-prover","vers":"0.7.3","deps":[{"name":"lazy_static","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lru","req":"^0.16.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"praborrow-core","req":"^0.7.3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.17","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8cad27c7ef26cfa01fef27a5b3a891f52add11e861650d55659ac78648e61742","features":{"default":["std"],"std":["praborrow-core/std"]},"features2":{"z3-backend":["dep:z3"]},"yanked":false,"pubtime":"2026-01-11T13:56:45Z","v":2}
{"name":"praborrow-prover","vers":"0.8.0","deps":[{"name":"lazy_static","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lru","req":"^0.16.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"praborrow-core","req":"^0.8.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.17","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2a9a7c445cf5b1b26db5c94cbdde2a36bb935b18cb79dd8f001165323e69557b","features":{"default":["std"],"std":["praborrow-core/std"]},"features2":{"z3-backend":["dep:z3"]},"yanked":false,"pubtime":"2026-01-11T22:34:13Z","v":2}
{"name":"praborrow-prover","vers":"0.9.0","deps":[{"name":"lazy_static","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lru","req":"^0.16.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"praborrow-core","req":"^0.9.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.17","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"eeadd8a0e270217b3577ac44d96d4f34bccb6f9ed9ab64567d65ca25bebca76a","features":{"default":["std"],"std":["praborrow-core/std"]},"features2":{"z3-backend":["dep:z3"]},"yanked":false,"pubtime":"2026-01-12T00:26:06Z","v":2}
{"name":"praborrow-prover","vers":"0.9.1","deps":[{"name":"lazy_static","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lru","req":"^0.16.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"praborrow-core","req":"^0.9.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.17","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"581e2b730fccd3d3793cfbfeac5025f2f2c9de06efccd26d8d0c512c786b4749","features":{"default":["std"],"std":["praborrow-core/std"]},"features2":{"z3-backend":["dep:z3"]},"yanked":false,"pubtime":"2026-01-12T11:11:10Z","v":2}
{"name":"praborrow-prover","vers":"0.9.2","deps":[{"name":"lazy_static","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lru","req":"^0.16.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"praborrow-core","req":"^0.9.2","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.17","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2934dcb24af4b9a8d2c216d53a38f634d6f289bb1743f9444474de096b5fd293","features":{"default":["std"],"std":["praborrow-core/std"]},"features2":{"z3-backend":["dep:z3"]},"yanked":false,"pubtime":"2026-01-12T14:25:48Z","v":2}
{"name":"praborrow-prover","vers":"0.9.3","deps":[{"name":"lazy_static","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lru","req":"^0.16.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"praborrow-core","req":"^0.9.3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.17","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"be591269039cea846dafb8b180382344e217dcbe6379a83d094090f77e31cec8","features":{"default":["std"],"std":["praborrow-core/std"]},"features2":{"z3-backend":["dep:z3"]},"yanked":false,"pubtime":"2026-01-12T14:50:50Z","v":2}
{"name":"praborrow-prover","vers":"1.0.0","deps":[{"name":"async-trait","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lru","req":"^0.16.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"praborrow-core","req":"^1.0.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.17","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1ad22b51e042eee1b75d927abfecb31d13b44f78fa7ace3596ad574d30396922","features":{"default":["std"],"std":["praborrow-core/std"]},"features2":{"z3-backend":["dep:z3"]},"yanked":false,"pubtime":"2026-01-12T15:46:44Z","v":2}
{"name":"praborrow-prover","vers":"1.1.0","deps":[{"name":"async-trait","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lru","req":"^0.16.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"praborrow-core","req":"^1.1.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.17","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0165cf89505f0e65a1f77fb4c0f115c6ff713157b4896cd7ab29e74ee0a5feda","features":{"default":["std"],"std":["praborrow-core/std"]},"features2":{"z3-backend":["dep:z3"]},"yanked":false,"pubtime":"2026-01-13T05:31:59Z","v":2}
{"name":"praborrow-prover","vers":"1.1.1","deps":[{"name":"async-trait","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lru","req":"^0.16.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"praborrow-core","req":"^1.1.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.17","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"50c26ebc24335a79d361c1979c379ca51c2429bcd3c04cde0f39f61827c9d556","features":{"default":["std"],"std":["praborrow-core/std"]},"features2":{"z3-backend":["dep:z3"]},"yanked":false,"pubtime":"2026-01-13T06:12:36Z","v":2}
{"name":"praborrow-prover","vers":"1.1.2","deps":[{"name":"async-trait","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lru","req":"^0.16.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"praborrow-core","req":"^1.1.2","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.17","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":["attributes"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"65ce78e9487ec1fe0d3a575c847a2e38ea75c452724dcfc50bbac7e56f3e8826","features":{"default":["std"],"std":["praborrow-core/std"]},"features2":{"z3-backend":["dep:z3"]},"yanked":false,"pubtime":"2026-01-13T12:34:27Z","v":2}
{"name":"praborrow-prover","vers":"1.1.3","deps":[{"name":"async-trait","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"moka","req":"^0.12","features":["sync"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pkg-config","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"praborrow-core","req":"^1.1.3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.17","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":["attributes"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"46bc5f83eb249c0d2220de614ac1b3196c0db4ea85230a6e38383a0ab37741e4","features":{"default":["std"],"std":["praborrow-core/std"]},"features2":{"z3-backend":["dep:z3"]},"yanked":false,"pubtime":"2026-01-13T14:12:53Z","v":2}
{"name":"praborrow-prover","vers":"1.2.0","deps":[{"name":"async-trait","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"moka","req":"^0.12","features":["sync"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pkg-config","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"praborrow-core","req":"^1.1.3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.17","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"tracing","req":"^0.1","features":["attributes"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d0ef7eee9dc853e6ff90fc8d8f8942c2bc733475d5ad6f4df32f8fbf90b8768b","features":{"default":["std"],"std":["praborrow-core/std"]},"features2":{"z3-backend":["dep:z3"]},"yanked":false,"pubtime":"2026-01-14T03:10:18Z","v":2}
{"name":"praborrow-prover","vers":"1.2.1","deps":[{"name":"async-trait","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"moka","req":"^0.12","features":["sync"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pkg-config","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"praborrow-core","req":"^1.1.3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.17","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.49.0","features":["macros","net","rt","rt-multi-thread","sync","time","rt","macros"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tracing","req":"^0.1","features":["attributes"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"b0079e87320fea4f1356907f99e2f6149edaaa6fd01f8a3a892797eb9abf0e84","features":{"default":["std"],"std":["praborrow-core/std"]},"features2":{"z3-backend":["dep:z3"]},"yanked":false,"pubtime":"2026-01-14T03:22:36Z","v":2}
{"name":"praborrow-prover","vers":"1.2.2","deps":[{"name":"async-trait","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"lazy_static","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"moka","req":"^0.12","features":["sync"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pkg-config","req":"^0.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"praborrow-core","req":"^1.1.3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"sha2","req":"^0.10","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.17","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.49.0","features":["macros","net","rt","rt-multi-thread","sync","time","rt","macros"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"tracing","req":"^0.1","features":["attributes"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"z3","req":"^0.19.7","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"92d448612901d935c8554097f026cd721cf968bccb5972ebb59eb701c67db02e","features":{"default":["std"],"std":["praborrow-core/std"]},"features2":{"z3-backend":["dep:z3"]},"yanked":false,"pubtime":"2026-01-14T03:30:29Z","v":2}