{"name":"cargo-hax","vers":"0.0.0","deps":[],"cksum":"d53901c11bae6cb638357c02596f6d215cc11082ac9e3d82597a1870dfc47725","features":{},"yanked":true,"pubtime":"2023-05-24T13:29:58Z"}
{"name":"cargo-hax","vers":"0.1.0-alpha.1","deps":[{"name":"annotate-snippets","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"extension-traits","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-frontend-exporter","req":"=0.1.0-alpha.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"hax-frontend-exporter","req":"=0.1.0-alpha.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"hax-frontend-exporter-options","req":"=0.1.0-alpha.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-lib-macros-types","req":"=0.1.0-alpha.1","features":["schemars"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"hax-types","req":"=0.1.0-alpha.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-types","req":"=0.1.0-alpha.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"inquire","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"is-terminal","req":"^0.4.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"paste","req":"^1.0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"path-clean","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"prettyplease","req":"^0.2.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustup-toolchain","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"schemars","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"schemars","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"serde-jsonlines","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"syn","req":"2.*","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tiny_http","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"toml","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"version_check","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"version_check","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"which","req":"^4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0a574bcd76a27c2e08b5b73736d02e37608ce61a1bf9210f5aa074331d5a9a3e","features":{},"yanked":false,"pubtime":"2024-10-07T14:07:08Z"}
{"name":"cargo-hax","vers":"0.1.0-rc.1","deps":[{"name":"annotate-snippets","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"extension-traits","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-frontend-exporter","req":"=0.1.0-rc.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"hax-frontend-exporter","req":"=0.1.0-rc.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"hax-frontend-exporter-options","req":"=0.1.0-rc.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-lib-macros-types","req":"=0.1.0-rc.1","features":["schemars"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"hax-types","req":"=0.1.0-rc.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-types","req":"=0.1.0-rc.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"inquire","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"is-terminal","req":"^0.4.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"paste","req":"^1.0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"path-clean","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"prettyplease","req":"^0.2.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustup-toolchain","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"schemars","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"schemars","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"serde","req":"^1.0","features":["derive","rc"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive","rc"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"serde-jsonlines","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"syn","req":"2.*","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tiny_http","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"toml","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"version_check","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"version_check","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"which","req":"^4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7cb0a6bc221273f5a84b06eaa55421eb26471396ec98e86f34fae1bdd265fb57","features":{},"yanked":false,"pubtime":"2024-12-17T13:27:01Z"}
{"name":"cargo-hax","vers":"0.1.0","deps":[{"name":"annotate-snippets","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"extension-traits","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-frontend-exporter","req":"=0.1.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"hax-frontend-exporter","req":"=0.1.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"hax-frontend-exporter-options","req":"=0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-lib-macros-types","req":"=0.1.0","features":["schemars"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"hax-types","req":"=0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-types","req":"=0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"inquire","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"is-terminal","req":"^0.4.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"paste","req":"^1.0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"path-clean","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"prettyplease","req":"^0.2.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustup-toolchain","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"schemars","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"schemars","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"serde","req":"^1.0","features":["derive","rc"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive","rc"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"serde-jsonlines","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"syn","req":"2.*","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tiny_http","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"toml","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"version_check","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"version_check","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"which","req":"^4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"12ff82bf0844183a4b51ab6cde5f31c8df0aa4fa520c85d765e495a3beba1aab","features":{},"yanked":false,"pubtime":"2025-01-20T13:41:23Z"}
{"name":"cargo-hax","vers":"0.2.0","deps":[{"name":"annotate-snippets","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"extension-traits","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-frontend-exporter","req":"=0.2.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"hax-frontend-exporter","req":"=0.2.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"hax-frontend-exporter-options","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-lib-macros-types","req":"=0.2.0","features":["schemars"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"hax-types","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-types","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"inquire","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"is-terminal","req":"^0.4.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"paste","req":"^1.0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"path-clean","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"prettyplease","req":"^0.2.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustup-toolchain","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"schemars","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"schemars","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"serde","req":"^1.0","features":["derive","rc"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive","rc"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"serde-jsonlines","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"syn","req":"2.*","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tiny_http","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"toml","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"version_check","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"version_check","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"which","req":"^4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"8933705f57f08b2c2fadbf632b703d7e8d9ba23058678971e7f68b715583a8d8","features":{},"yanked":false,"pubtime":"2025-03-05T09:39:13Z"}
{"name":"cargo-hax","vers":"0.3.0","deps":[{"name":"annotate-snippets","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"extension-traits","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-frontend-exporter","req":"=0.3.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"hax-frontend-exporter","req":"=0.3.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"hax-frontend-exporter-options","req":"=0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-lib-macros-types","req":"=0.3.0","features":["schemars"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"hax-types","req":"=0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-types","req":"=0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"inquire","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"is-terminal","req":"^0.4.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"paste","req":"^1.0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"path-clean","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"prettyplease","req":"^0.2.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustup-toolchain","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"schemars","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"schemars","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"serde","req":"^1.0","features":["derive","rc"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive","rc"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"serde-jsonlines","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"syn","req":"2.*","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tiny_http","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"toml","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"version_check","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"version_check","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"which","req":"^4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"015837791204225b837d32c06b48d63002ddb403896a353624f55cbe4751c76b","features":{},"yanked":false,"pubtime":"2025-05-16T08:34:33Z"}
{"name":"cargo-hax","vers":"0.3.1","deps":[{"name":"annotate-snippets","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"extension-traits","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-frontend-exporter","req":"=0.3.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"hax-frontend-exporter","req":"=0.3.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"hax-frontend-exporter-options","req":"=0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-lib-macros-types","req":"=0.3.1","features":["schemars"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"hax-types","req":"=0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-types","req":"=0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"inquire","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"is-terminal","req":"^0.4.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"paste","req":"^1.0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"path-clean","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"prettyplease","req":"^0.2.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustup-toolchain","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"schemars","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"schemars","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"serde","req":"^1.0","features":["derive","rc"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive","rc"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"serde-jsonlines","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"syn","req":"2.*","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tiny_http","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"toml","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"version_check","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"version_check","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"which","req":"^4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d8f9bc8e5c23c783c1767340303f50053963e6fd7f67a7c6a2061c6484fb0e0c","features":{},"yanked":false,"pubtime":"2025-05-26T12:35:09Z"}
{"name":"cargo-hax","vers":"0.3.3","deps":[{"name":"annotate-snippets","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"extension-traits","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-frontend-exporter","req":"=0.3.3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"hax-frontend-exporter","req":"=0.3.3","features":[],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"hax-frontend-exporter-options","req":"=0.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-lib-macros-types","req":"=0.3.3","features":["schemars"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"hax-rust-engine","req":"=0.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"hax-types","req":"=0.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-types","req":"=0.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"inquire","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"is-terminal","req":"^0.4.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"paste","req":"^1.0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"path-clean","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"prettyplease","req":"^0.2.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustup-toolchain","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"schemars","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"schemars","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"serde","req":"^1.0","features":["derive","rc"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive","rc"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"serde-jsonlines","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"syn","req":"2.*","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tiny_http","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"toml","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"version_check","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"version_check","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"which","req":"^4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"afb024365bc9181f8bb39c8fe993565101ed774aed2c6fb89ec351cb162dc525","features":{},"yanked":false,"pubtime":"2025-09-03T11:36:33Z"}
{"name":"cargo-hax","vers":"0.3.4","deps":[{"name":"annotate-snippets","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"extension-traits","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-frontend-exporter","req":"=0.3.4","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"hax-frontend-exporter","req":"=0.3.4","features":[],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"hax-frontend-exporter-options","req":"=0.3.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-lib-macros-types","req":"=0.3.4","features":["schemars"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"hax-rust-engine","req":"=0.3.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"hax-types","req":"=0.3.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-types","req":"=0.3.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"inquire","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"is-terminal","req":"^0.4.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"paste","req":"^1.0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"path-clean","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"prettyplease","req":"^0.2.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustup-toolchain","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"schemars","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"schemars","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"serde","req":"^1.0","features":["derive","rc"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive","rc"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"serde-jsonlines","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"syn","req":"2.*","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tiny_http","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"toml","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"version_check","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"version_check","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"which","req":"^4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fe5c19e0ddde8a2a1f7ead00b1f0dc3c8e9d088613747004b9ccd60bf76bd574","features":{},"yanked":false,"pubtime":"2025-09-03T14:28:41Z"}
{"name":"cargo-hax","vers":"0.3.5","deps":[{"name":"annotate-snippets","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"extension-traits","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-frontend-exporter","req":"=0.3.5","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"hax-frontend-exporter","req":"=0.3.5","features":[],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"hax-frontend-exporter-options","req":"=0.3.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-lib-macros-types","req":"=0.3.5","features":["schemars"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"hax-rust-engine","req":"=0.3.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"hax-types","req":"=0.3.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-types","req":"=0.3.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"inquire","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"is-terminal","req":"^0.4.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"paste","req":"^1.0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"path-clean","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"prettyplease","req":"^0.2.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustup-toolchain","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"schemars","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"schemars","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"serde","req":"^1.0","features":["derive","rc"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive","rc"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"serde-jsonlines","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"syn","req":"2.*","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tiny_http","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"toml","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"version_check","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"version_check","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"which","req":"^4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"627599ae5c713a97aa2172494f577cfdb78d693f1801b214bb119cb37fe6a578","features":{},"yanked":false,"pubtime":"2025-10-02T12:13:14Z"}
{"name":"cargo-hax","vers":"0.3.6","deps":[{"name":"annotate-snippets","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"extension-traits","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-frontend-exporter","req":"=0.3.6","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"hax-frontend-exporter","req":"=0.3.6","features":[],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"hax-frontend-exporter-options","req":"=0.3.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-lib-macros-types","req":"=0.3.6","features":["schemars"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"hax-rust-engine","req":"=0.3.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"hax-types","req":"=0.3.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-types","req":"=0.3.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"inquire","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"is-terminal","req":"^0.4.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"paste","req":"^1.0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"path-clean","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"prettyplease","req":"^0.2.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustup-toolchain","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"schemars","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"schemars","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"serde","req":"^1.0","features":["derive","rc"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive","rc"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"serde-jsonlines","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"syn","req":"2.*","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tiny_http","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"toml","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"version_check","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"version_check","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"which","req":"^4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"611c250a529bf23b7fb58f2dde2d14b4fe6e9f4ffb8f7faced5856bcd19548f6","features":{},"yanked":false,"pubtime":"2026-01-15T10:34:08Z"}
{"name":"cargo-hax","vers":"0.3.7","deps":[{"name":"annotate-snippets","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cargo_metadata","req":"^0.15","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"extension-traits","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-frontend-exporter","req":"=0.3.7","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"hax-frontend-exporter","req":"=0.3.7","features":[],"optional":false,"default_features":false,"target":null,"kind":"build"},{"name":"hax-frontend-exporter-options","req":"=0.3.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-lib-macros-types","req":"=0.3.7","features":["schemars"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"hax-rust-engine","req":"=0.3.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"hax-types","req":"=0.3.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-types","req":"=0.3.7","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"inquire","req":"^0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"is-terminal","req":"^0.4.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"itertools","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"paste","req":"^1.0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"path-clean","req":"^1.0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"prettyplease","req":"^0.2.20","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustup-toolchain","req":"^0.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"schemars","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"schemars","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"serde","req":"^1.0","features":["derive","rc"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive","rc"],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"serde-jsonlines","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"syn","req":"2.*","features":["full"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tiny_http","req":"^0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"toml","req":"^0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"version_check","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"version_check","req":"^0.9","features":[],"optional":false,"default_features":true,"target":null,"kind":"build"},{"name":"which","req":"^4.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"03f230cd77f920685664a18ec5ac5bbc1b6affc23904170519f917762d48fb74","features":{},"yanked":false,"pubtime":"2026-05-20T15:17:47Z"}