{"name":"z3-sys","vers":"0.1.0","deps":[{"name":"libc","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"va_list","req":"^0.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"09ad369c3bebfb2b5585060ce765c1e0c4896b5a3bc58dd3870e9f73c0209b98","features":{},"yanked":false,"pubtime":"2015-12-28T02:31:50Z"}
{"name":"z3-sys","vers":"0.2.0","deps":[],"cksum":"e6b40aba855ee49a9edec577820b1306dc8428142bc13a0b55534af152f7d8b5","features":{},"yanked":false,"pubtime":"2018-03-09T16:02:27Z"}
{"name":"z3-sys","vers":"0.3.0","deps":[],"cksum":"b9b683d22042dbcd04b737ba483fc6d0242a4a58289803d096154b3e007f963d","features":{},"yanked":false,"pubtime":"2018-05-25T01:35:25Z"}
{"name":"z3-sys","vers":"0.4.0","deps":[],"cksum":"1dff903712349c6fa80acbd690641acd98f170a2e01b6f28f8fdcf850e2d4500","features":{},"yanked":false,"pubtime":"2018-12-06T16:55:40Z"}
{"name":"z3-sys","vers":"0.5.0","deps":[],"cksum":"ae57b4c31eabc2620fbf2ea3e4deac2cd8a12522ccc0ebcc29e60dff8137de31","features":{},"yanked":false,"pubtime":"2019-08-29T11:17:10Z"}
{"name":"z3-sys","vers":"0.6.0","deps":[{"name":"cmake","req":"^0.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"2487974559d1494e8e8925df85362d6109ae5555092510508a5b1077346c2833","features":{"static-link-z3":["cmake"]},"yanked":false,"links":"z3","pubtime":"2020-05-01T18:32:51Z"}
{"name":"z3-sys","vers":"0.6.1","deps":[{"name":"cmake","req":"^0.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"4002d8a1facb54d02dbfb86151281e5450618ab330936bc2f3acaab31eae11ae","features":{"static-link-z3":["cmake"]},"yanked":false,"links":"z3","pubtime":"2020-05-12T19:19:23Z"}
{"name":"z3-sys","vers":"0.6.2","deps":[{"name":"cmake","req":"^0.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"e1863cafae8eb86dd7d69c9218421b288594e8836346e93d4f36ade427195a21","features":{"static-link-z3":["cmake"]},"yanked":false,"links":"z3","pubtime":"2020-06-29T17:25:27Z"}
{"name":"z3-sys","vers":"0.6.3","deps":[{"name":"cmake","req":"^0.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"afa18ba5fbd4933e41ffb440c3fd91f91fe9cdb7310cce3ddfb6648563811de0","features":{"static-link-z3":["cmake"]},"yanked":false,"links":"z3","pubtime":"2020-10-29T16:42:06Z"}
{"name":"z3-sys","vers":"0.7.0","deps":[{"name":"bindgen","req":"^0.58","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"a06b2f89b9301ab628c1b2ce7eb99e3a0bc50701652afa5a88b9e2b4ea9ce75f","features":{"static-link-z3":["cmake"]},"yanked":false,"links":"z3","pubtime":"2021-07-21T22:48:27Z"}
{"name":"z3-sys","vers":"0.7.1","deps":[{"name":"bindgen","req":"^0.58","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"1c82dcbc58be4bf1994c520066cb2bd6c3d36aed0fdc57244f34d277421986a6","features":{"static-link-z3":["cmake"]},"yanked":false,"links":"z3","pubtime":"2021-08-24T22:56:28Z"}
{"name":"z3-sys","vers":"0.8.0","deps":[{"name":"bindgen","req":"^0.66.0","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1.49","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"e831b0f8b5a26b4676e36f8ccf4224e996f61fd750a18c1e621e71b89441cd80","features":{"static-link-z3":["cmake"]},"yanked":false,"links":"z3","pubtime":"2023-07-23T17:16:22Z"}
{"name":"z3-sys","vers":"0.8.1","deps":[{"name":"bindgen","req":"^0.66.0","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1.49","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"d7cf70fdbc0de3f42b404f49b0d4686a82562254ea29ff0a155eef2f5430f4b0","features":{"static-link-z3":["cmake"]},"yanked":false,"links":"z3","pubtime":"2023-07-25T07:21:45Z"}
{"name":"z3-sys","vers":"0.9.0","deps":[{"name":"bindgen","req":"^0.70","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"cc","req":"~1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1.54","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"pkg-config","req":"^0.3.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"vcpkg","req":"^0.2.15","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"e82aacda8a405a5afd68300dcc12df867d35649130870a43a79c5c6ed03d1cb9","features":{"deprecated-static-link-z3":[]},"features2":{"bundled":["dep:cmake"],"static-link-z3":["bundled","deprecated-static-link-z3"],"vcpkg":["dep:vcpkg"]},"yanked":false,"links":"z3","pubtime":"2025-07-10T12:36:02Z","v":2}
{"name":"z3-sys","vers":"0.9.1","deps":[{"name":"bindgen","req":"^0.70","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"cc","req":"~1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1.54","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"pkg-config","req":"^0.3.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"reqwest","req":"^0.12.22","features":["blocking","default-tls"],"optional":true,"default_features":false,"target":null,"kind":"build"},{"name":"serde_json","req":"^1.0.140","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"vcpkg","req":"^0.2.15","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"zip-extract","req":"^0.4.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"41aaefd0e6452e0a298e184bc21b3054a7eed4c5eaa0bc7b81df7f95a2e3f12f","features":{"deprecated-static-link-z3":[]},"features2":{"bundled":["dep:cmake"],"gh-release":["dep:reqwest","dep:serde_json","dep:zip-extract"],"static-link-z3":["bundled","deprecated-static-link-z3"],"vcpkg":["dep:vcpkg"]},"yanked":false,"links":"z3","pubtime":"2025-07-11T08:04:02Z","v":2}
{"name":"z3-sys","vers":"0.9.2","deps":[{"name":"bindgen","req":"^0.70","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1.54","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"pkg-config","req":"^0.3.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"reqwest","req":"^0.12.22","features":["blocking","default-tls"],"optional":true,"default_features":false,"target":null,"kind":"build"},{"name":"serde_json","req":"^1.0.140","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"vcpkg","req":"^0.2.15","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"zip-extract","req":"^0.4.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"9b770d75c423de2d6abc54dc579d3ff87e0c89bc3926c5c9d67a8dcd93a4536c","features":{"deprecated-static-link-z3":[]},"features2":{"bundled":["dep:cmake"],"gh-release":["dep:reqwest","dep:serde_json","dep:zip-extract"],"static-link-z3":["bundled","deprecated-static-link-z3"],"vcpkg":["dep:vcpkg"]},"yanked":false,"links":"z3","pubtime":"2025-07-12T10:16:59Z","v":2}
{"name":"z3-sys","vers":"0.9.3","deps":[{"name":"bindgen","req":"^0.72","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1.54","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"pkg-config","req":"^0.3.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"reqwest","req":"^0.12.22","features":["blocking","default-tls"],"optional":true,"default_features":false,"target":null,"kind":"build"},{"name":"serde_json","req":"^1.0.140","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"vcpkg","req":"^0.2.15","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"zip-extract","req":"^0.4.0","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"01f089877da016459728b99a460cf396719dbf251721b2aae9cd533b39078524","features":{"deprecated-static-link-z3":[]},"features2":{"bundled":["dep:cmake"],"gh-release":["dep:reqwest","dep:serde_json","dep:zip-extract"],"static-link-z3":["bundled","deprecated-static-link-z3"],"vcpkg":["dep:vcpkg"]},"yanked":false,"links":"z3","pubtime":"2025-07-14T18:41:06Z","v":2}
{"name":"z3-sys","vers":"0.9.4","deps":[{"name":"bindgen","req":"^0.72","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1.54","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"pkg-config","req":"^0.3.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"reqwest","req":"^0.12.22","features":["blocking","default-tls"],"optional":true,"default_features":false,"target":null,"kind":"build"},{"name":"serde_json","req":"^1.0.140","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"vcpkg","req":"^0.2.15","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"zip","req":"^4.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"98293e1b2a325e6ab403967b36f97541b14db12b00e747b628088db9fd0e018e","features":{"deprecated-static-link-z3":[]},"features2":{"bundled":["dep:cmake"],"gh-release":["dep:reqwest","dep:serde_json","dep:zip"],"static-link-z3":["bundled","deprecated-static-link-z3"],"vcpkg":["dep:vcpkg"]},"yanked":false,"links":"z3","pubtime":"2025-07-17T09:03:33Z","v":2}
{"name":"z3-sys","vers":"0.9.5","deps":[{"name":"bindgen","req":"^0.72","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1.54","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"pkg-config","req":"^0.3.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"reqwest","req":"^0.12.22","features":["blocking","default-tls"],"optional":true,"default_features":false,"target":null,"kind":"build"},{"name":"serde_json","req":"^1.0.140","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"vcpkg","req":"^0.2.15","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"zip","req":"^4.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"b3f75c6cbc0a6d3e82c7532ede7989c25da725955d7671ed914a1f74807d5d29","features":{"deprecated-static-link-z3":[]},"features2":{"bundled":["dep:cmake"],"gh-release":["dep:reqwest","dep:serde_json","dep:zip"],"static-link-z3":["bundled","deprecated-static-link-z3"],"vcpkg":["dep:vcpkg"]},"yanked":false,"links":"z3","rust_version":"1.85.0","pubtime":"2025-08-06T16:53:31Z","v":2}
{"name":"z3-sys","vers":"0.9.6","deps":[{"name":"bindgen","req":"^0.72","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1.54","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"pkg-config","req":"^0.3.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"reqwest","req":"^0.12.22","features":["blocking","default-tls"],"optional":true,"default_features":false,"target":null,"kind":"build"},{"name":"serde_json","req":"^1.0.140","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"vcpkg","req":"^0.2.15","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"zip","req":"^4.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"e5d6abdb4c6d5fbc7b9ceedf2f7d95ef2e7f3367d951835230481ad653f02a36","features":{"deprecated-static-link-z3":[]},"features2":{"bundled":["dep:cmake"],"gh-release":["dep:reqwest","dep:serde_json","dep:zip"],"static-link-z3":["bundled","deprecated-static-link-z3"],"vcpkg":["dep:vcpkg"]},"yanked":false,"links":"z3","rust_version":"1.85.0","pubtime":"2025-08-14T14:03:40Z","v":2}
{"name":"z3-sys","vers":"0.9.7","deps":[{"name":"bindgen","req":"^0.72","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1.54","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"pkg-config","req":"^0.3.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"reqwest","req":"^0.12.22","features":["blocking","default-tls"],"optional":true,"default_features":false,"target":null,"kind":"build"},{"name":"serde_json","req":"^1.0.140","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"vcpkg","req":"^0.2.15","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"zip","req":"^4.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"79d063575652f03a65d704b0a4732a5bc2069fe1c648e1996cb90925b6a8debc","features":{"deprecated-static-link-z3":[]},"features2":{"bundled":["dep:cmake"],"gh-release":["dep:reqwest","dep:serde_json","dep:zip"],"static-link-z3":["bundled","deprecated-static-link-z3"],"vcpkg":["dep:vcpkg"]},"yanked":false,"links":"z3","rust_version":"1.85.0","pubtime":"2025-08-19T09:09:17Z","v":2}
{"name":"z3-sys","vers":"0.9.8","deps":[{"name":"bindgen","req":"^0.72","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1.54","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"pkg-config","req":"^0.3.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"reqwest","req":"^0.12.22","features":["blocking","default-tls"],"optional":true,"default_features":false,"target":null,"kind":"build"},{"name":"serde_json","req":"^1.0.140","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"vcpkg","req":"^0.2.15","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"zip","req":"^4.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"70c949aa246ec4f1a08806ce5611ef3e8d82d6eb15dd002311a57395d198883b","features":{"deprecated-static-link-z3":[]},"features2":{"bundled":["dep:cmake"],"gh-release":["dep:reqwest","dep:serde_json","dep:zip"],"static-link-z3":["bundled","deprecated-static-link-z3"],"vcpkg":["dep:vcpkg"]},"yanked":false,"links":"z3","rust_version":"1.85.0","pubtime":"2025-08-25T22:19:51Z","v":2}
{"name":"z3-sys","vers":"0.9.9","deps":[{"name":"bindgen","req":"^0.72","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1.54","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"pkg-config","req":"^0.3.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"reqwest","req":"^0.12.22","features":["blocking","default-tls"],"optional":true,"default_features":false,"target":null,"kind":"build"},{"name":"serde_json","req":"^1.0.140","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"vcpkg","req":"^0.2.15","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"zip","req":"^4.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"64abc0382fdcf01351ed2830394d769bd95a6e927040e7886640ec2e3b3adde8","features":{"deprecated-static-link-z3":[]},"features2":{"bundled":["dep:cmake"],"gh-release":["dep:reqwest","dep:serde_json","dep:zip"],"static-link-z3":["bundled","deprecated-static-link-z3"],"vcpkg":["dep:vcpkg"]},"yanked":false,"links":"z3","rust_version":"1.85.0","pubtime":"2025-09-03T14:58:50Z","v":2}
{"name":"z3-sys","vers":"0.9.10","deps":[{"name":"bindgen","req":"^0.72","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1.54","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"pkg-config","req":"^0.3.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"reqwest","req":"^0.12.22","features":["blocking","default-tls"],"optional":true,"default_features":false,"target":null,"kind":"build"},{"name":"serde_json","req":"^1.0.140","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"vcpkg","req":"^0.2.15","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"zip","req":"^4.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"6cd1b38ffd95fae0fcc40026fb1a822074e2a923ad4e011e90df878cbed721e0","features":{"deprecated-static-link-z3":[]},"features2":{"bundled":["dep:cmake"],"gh-release":["dep:reqwest","dep:serde_json","dep:zip"],"static-link-z3":["bundled","deprecated-static-link-z3"],"vcpkg":["dep:vcpkg"]},"yanked":false,"links":"z3","rust_version":"1.85.0","pubtime":"2025-09-08T13:09:41Z","v":2}
{"name":"z3-sys","vers":"0.10.0","deps":[{"name":"bindgen","req":"^0.72","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1.54","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"pkg-config","req":"^0.3.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"reqwest","req":"^0.12.22","features":["blocking","default-tls"],"optional":true,"default_features":false,"target":null,"kind":"build"},{"name":"serde_json","req":"^1.0.140","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"vcpkg","req":"^0.2.15","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"zip","req":"^4.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"a5cf46e09874bd7db314139c7319ab506d1db771111dc3bc66f05496207540d0","features":{"deprecated-static-link-z3":[]},"features2":{"bundled":["dep:cmake"],"gh-release":["dep:reqwest","dep:serde_json","dep:zip"],"static-link-z3":["bundled","deprecated-static-link-z3"],"vcpkg":["dep:vcpkg"]},"yanked":false,"links":"z3","rust_version":"1.85.0","pubtime":"2025-09-26T11:50:22Z","v":2}
{"name":"z3-sys","vers":"0.10.1","deps":[{"name":"bindgen","req":"^0.72","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1.54","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"pkg-config","req":"^0.3.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"reqwest","req":"^0.12.22","features":["blocking","default-tls"],"optional":true,"default_features":false,"target":null,"kind":"build"},{"name":"serde_json","req":"^1.0.140","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"vcpkg","req":"^0.2.15","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"zip","req":"^4.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"d835f9ac24808e53d4fe3436f1f626e3967777c0067bfb441c261390f7c436f4","features":{"deprecated-static-link-z3":[]},"features2":{"bundled":["dep:reqwest","dep:serde_json","dep:zip","dep:cmake"],"gh-release":["dep:reqwest","dep:serde_json","dep:zip"],"static-link-z3":["bundled","deprecated-static-link-z3"],"vcpkg":["dep:vcpkg"]},"yanked":false,"links":"z3","rust_version":"1.85.0","pubtime":"2025-11-16T21:27:08Z","v":2}
{"name":"z3-sys","vers":"0.10.2","deps":[{"name":"bindgen","req":"^0.72","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1.54","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"pkg-config","req":"^0.3.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"reqwest","req":"^0.12.22","features":["blocking","default-tls"],"optional":true,"default_features":false,"target":null,"kind":"build"},{"name":"serde_json","req":"^1.0.140","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"vcpkg","req":"^0.2.15","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"zip","req":"^4.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"1c8b6f6371f887a327524718087bf333e6a45db69f6dfe8319909b9111979128","features":{"deprecated-static-link-z3":[]},"features2":{"bundled":["dep:reqwest","dep:serde_json","dep:zip","dep:cmake"],"gh-release":["dep:reqwest","dep:serde_json","dep:zip"],"static-link-z3":["bundled","deprecated-static-link-z3"],"vcpkg":["dep:vcpkg"]},"yanked":false,"links":"z3","rust_version":"1.85.0","pubtime":"2025-11-18T00:07:37Z","v":2}
{"name":"z3-sys","vers":"0.10.3","deps":[{"name":"bindgen","req":"^0.72","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1.54","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"pkg-config","req":"^0.3.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"reqwest","req":"^0.12.22","features":["blocking","native-tls-vendored"],"optional":true,"default_features":false,"target":null,"kind":"build"},{"name":"serde_json","req":"^1.0.140","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"vcpkg","req":"^0.2.15","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"zip","req":"^4.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"3940bd12746da62352129e4bf4087fd360919b1bb0b88c59550b9761199b04ae","features":{"deprecated-static-link-z3":[]},"features2":{"bundled":["dep:reqwest","dep:serde_json","dep:zip","dep:cmake"],"gh-release":["dep:reqwest","dep:serde_json","dep:zip"],"static-link-z3":["bundled","deprecated-static-link-z3"],"vcpkg":["dep:vcpkg"]},"yanked":false,"links":"z3","rust_version":"1.85.0","pubtime":"2025-11-20T22:01:37Z","v":2}
{"name":"z3-sys","vers":"0.10.4","deps":[{"name":"bindgen","req":"^0.72","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1.54","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"pkg-config","req":"^0.3.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"reqwest","req":"^0.12.22","features":["blocking"],"optional":true,"default_features":false,"target":null,"kind":"build"},{"name":"serde_json","req":"^1.0.140","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"vcpkg","req":"^0.2.15","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"zip","req":"^4.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"b18a464a6d3c31e6684906ca12e53c095ff625cd21fcbe09271a3aacb56a96f1","features":{"default":["reqwest-rustls"],"deprecated-static-link-z3":[],"reqwest-native-tls-vendored":["reqwest/native-tls-vendored"],"reqwest-rustls":["reqwest/rustls-tls"]},"features2":{"bundled":["dep:reqwest","dep:serde_json","dep:zip","dep:cmake"],"gh-release":["dep:reqwest","dep:serde_json","dep:zip"],"static-link-z3":["bundled","deprecated-static-link-z3"],"vcpkg":["dep:vcpkg"]},"yanked":false,"links":"z3","rust_version":"1.85.0","pubtime":"2025-12-27T13:36:09Z","v":2}
{"name":"z3-sys","vers":"0.10.5","deps":[{"name":"bindgen","req":"^0.72","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1.54","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"pkg-config","req":"^0.3.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"reqwest","req":"^0.12.22","features":["blocking"],"optional":true,"default_features":false,"target":null,"kind":"build"},{"name":"serde_json","req":"^1.0.140","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"vcpkg","req":"^0.2.15","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"zip","req":"^4.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"1fab6d04d653bbb73381bc6c906c5545d522ac29def4571fadc720c39ab162f6","features":{"default":["reqwest-rustls"],"deprecated-static-link-z3":[],"reqwest-native-tls-vendored":["reqwest/native-tls-vendored"],"reqwest-rustls":["reqwest/rustls-tls"]},"features2":{"bundled":["dep:reqwest","dep:serde_json","dep:zip","dep:cmake"],"gh-release":["dep:reqwest","dep:serde_json","dep:zip"],"static-link-z3":["bundled","deprecated-static-link-z3"],"vcpkg":["dep:vcpkg"]},"yanked":false,"links":"z3","rust_version":"1.85.0","pubtime":"2026-02-13T12:43:20Z","v":2}
{"name":"z3-sys","vers":"0.10.6","deps":[{"name":"bindgen","req":"^0.72","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1.54","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"pkg-config","req":"^0.3.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"reqwest","req":"^0.12.22","features":["blocking"],"optional":true,"default_features":false,"target":null,"kind":"build"},{"name":"serde_json","req":"^1.0.140","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"vcpkg","req":"^0.2.15","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"zip","req":"^4.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"7242a9063a67fadfe5b9d2956aa6c493c5159f2e22d69645876ed1bba6204643","features":{"default":["reqwest-rustls"],"deprecated-static-link-z3":[],"reqwest-native-tls-vendored":["reqwest/native-tls-vendored"],"reqwest-rustls":["reqwest/rustls-tls"]},"features2":{"bundled":["dep:reqwest","dep:serde_json","dep:zip","dep:cmake"],"gh-release":["dep:reqwest","dep:serde_json","dep:zip"],"static-link-z3":["bundled","deprecated-static-link-z3"],"vcpkg":["dep:vcpkg"]},"yanked":false,"links":"z3","rust_version":"1.85.0","pubtime":"2026-02-21T20:33:26Z","v":2}
{"name":"z3-sys","vers":"0.10.7","deps":[{"name":"bindgen","req":"^0.72","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1.54","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"pkg-config","req":"^0.3.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"reqwest","req":"^0.12.22","features":["blocking"],"optional":true,"default_features":false,"target":null,"kind":"build"},{"name":"serde_json","req":"^1.0.140","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"vcpkg","req":"^0.2.15","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"zip","req":"^4.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"2edfd1f4106f59e475dde9eab39eec89cf2d3fb41189eab87d575e0fa40a0818","features":{"default":["reqwest-rustls"],"deprecated-static-link-z3":[],"reqwest-native-tls-vendored":["reqwest/native-tls-vendored"],"reqwest-rustls":["reqwest/rustls-tls"]},"features2":{"bundled":["dep:reqwest","dep:serde_json","dep:zip","dep:cmake"],"gh-release":["dep:reqwest","dep:serde_json","dep:zip"],"static-link-z3":["bundled","deprecated-static-link-z3"],"vcpkg":["dep:vcpkg"]},"yanked":false,"links":"z3","rust_version":"1.85.0","pubtime":"2026-02-24T10:10:05Z","v":2}
{"name":"z3-sys","vers":"0.10.8","deps":[{"name":"bindgen","req":"^0.72","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1.54","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"pkg-config","req":"^0.3.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"reqwest","req":"^0.12.22","features":["blocking"],"optional":true,"default_features":false,"target":null,"kind":"build"},{"name":"serde_json","req":"^1.0.140","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"vcpkg","req":"^0.2.15","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"zip","req":"^4.3","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"5fc7af1cb6bb7271e5deb596479faaa3973af59033f3cfa9bbba9730724d264a","features":{"default":["reqwest-rustls"],"deprecated-static-link-z3":[],"reqwest-native-tls-vendored":["reqwest/native-tls-vendored"],"reqwest-rustls":["reqwest/rustls-tls"]},"features2":{"bundled":["dep:reqwest","dep:serde_json","dep:zip","dep:cmake"],"gh-release":["dep:reqwest","dep:serde_json","dep:zip"],"static-link-z3":["bundled","deprecated-static-link-z3"],"vcpkg":["dep:vcpkg"]},"yanked":false,"links":"z3","rust_version":"1.85.0","pubtime":"2026-03-06T19:35:39Z","v":2}
{"name":"z3-sys","vers":"0.10.9","deps":[{"name":"bindgen","req":"^0.72","features":["runtime"],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"cmake","req":"^0.1.54","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"pkg-config","req":"^0.3.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"reqwest","req":"^0.12.22","features":["blocking"],"optional":true,"default_features":false,"target":null,"kind":"build"},{"name":"serde_json","req":"^1.0.140","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"vcpkg","req":"^0.2.15","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"zip","req":"^8.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"c82b97329d02d87da6802ed9fda083f1b255d822ab13d5b1fb961196b58a69a1","features":{"default":["reqwest-rustls"],"deprecated-static-link-z3":[],"reqwest-native-tls-vendored":["reqwest/native-tls-vendored"],"reqwest-rustls":["reqwest/rustls-tls"]},"features2":{"bundled":["dep:reqwest","dep:serde_json","dep:zip","dep:cmake"],"gh-release":["dep:reqwest","dep:serde_json","dep:zip"],"static-link-z3":["bundled","deprecated-static-link-z3"],"vcpkg":["dep:vcpkg"]},"yanked":false,"links":"z3","rust_version":"1.85.0","pubtime":"2026-03-13T10:30:14Z","v":2}
{"name":"z3-sys","vers":"0.11.0","deps":[{"name":"bindgen","req":"^0.72","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"pkg-config","req":"^0.3.32","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"prettyplease","req":"^0.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"proc-macro2","req":"^1","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"quote","req":"^1","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"regex","req":"^1","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"reqwest","req":"^0.12.22","features":["blocking","rustls-tls"],"optional":true,"default_features":false,"target":null,"kind":"build"},{"name":"serde_json","req":"^1.0.140","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"syn","req":"^2","features":["full"],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"vcpkg","req":"^0.2.15","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"z3-src","req":"^416","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"},{"name":"zip","req":"^8.2","features":[],"optional":true,"default_features":true,"target":null,"kind":"build"}],"cksum":"c18b0a91a13522d21b3414847667de2b2056a721a3edcb5b6ee6858352d58db4","features":{},"features2":{"bindgen":["dep:bindgen","dep:proc-macro2","dep:prettyplease","dep:quote","dep:syn","dep:regex"],"bundled":["vendored"],"gh-release":["dep:reqwest","dep:serde_json","dep:zip"],"vcpkg":["dep:vcpkg"],"vendored":["dep:z3-src"]},"yanked":false,"links":"z3","rust_version":"1.85.0","pubtime":"2026-04-01T18:31:48Z","v":2}