{"name":"hax-types","vers":"0.1.0-alpha","deps":[{"name":"annotate-snippets","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bincode","req":"^2.0.0-rc.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive","env"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-adt-into","req":"=0.1.0-alpha","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-frontend-exporter","req":"=0.1.0-alpha","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"hax-frontend-exporter-options","req":"=0.1.0-alpha","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":"path-clean","req":"^1.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":"serde","req":"^1.0","features":["derive"],"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":"zstd","req":"^0.13.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"87b88aaec99c17a6a343e6fb3c257e309b637fc7b067c7a805aea8df85ecf5cc","features":{"rustc":["hax-frontend-exporter/rustc"]},"yanked":false,"pubtime":"2024-10-07T13:49:01Z"}
{"name":"hax-types","vers":"0.1.0-alpha.1","deps":[{"name":"annotate-snippets","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"bincode","req":"^2.0.0-rc.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive","env"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-adt-into","req":"=0.1.0-alpha.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-options","req":"=0.1.0-alpha.1","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":"path-clean","req":"^1.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":"serde","req":"^1.0","features":["derive"],"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":"zstd","req":"^0.13.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"77643cd003ceb427ab18f9c8f0f7d87f778578a544c09cb0135318858868f2e8","features":{"rustc":["hax-frontend-exporter/rustc"]},"yanked":false,"pubtime":"2024-10-07T14:06:32Z"}
{"name":"hax-types","vers":"0.1.0-rc.1","deps":[{"name":"annotate-snippets","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive","env"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-adt-into","req":"=0.1.0-rc.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-options","req":"=0.1.0-rc.1","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":"miette","req":"^7.2.0","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":"schemars","req":"^0.8","features":[],"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":"normal"},{"name":"serde-brief","req":"^0.1","features":["std","alloc"],"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":"tracing","req":"^0.1","features":["max_level_trace","release_max_level_trace"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"zstd","req":"^0.13.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"151a2f7716f1ad2708859f3f2220fc4104fa0811bda444564ff3a92c66ef5556","features":{"rustc":["hax-frontend-exporter/rustc"]},"yanked":false,"pubtime":"2024-12-17T13:26:30Z"}
{"name":"hax-types","vers":"0.1.0","deps":[{"name":"annotate-snippets","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive","env"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-adt-into","req":"=0.1.0","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-options","req":"=0.1.0","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":"miette","req":"^7.2.0","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":"schemars","req":"^0.8","features":[],"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":"normal"},{"name":"serde-brief","req":"^0.1","features":["std","alloc"],"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":"tracing","req":"^0.1","features":["max_level_trace","release_max_level_trace"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"zstd","req":"^0.13.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4f29d4149831d44242ff907f653dfa7b3704f083bdeeeb79ad80bce7c403bfd4","features":{"rustc":["hax-frontend-exporter/rustc"]},"yanked":false,"pubtime":"2025-01-20T13:41:01Z"}
{"name":"hax-types","vers":"0.2.0","deps":[{"name":"annotate-snippets","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive","env"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-adt-into","req":"=0.2.0","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-options","req":"=0.2.0","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":"miette","req":"^7.2.0","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":"schemars","req":"^0.8","features":[],"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":"normal"},{"name":"serde-brief","req":"^0.1","features":["std","alloc"],"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":"tracing","req":"^0.1","features":["max_level_trace","release_max_level_trace"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"zstd","req":"^0.13.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"cfed1ec647f2695b3729f28b0ca089702783d1dd3d29c63ee50b00666f5605b0","features":{"rustc":["hax-frontend-exporter/rustc"]},"yanked":false,"pubtime":"2025-03-05T09:38:50Z"}
{"name":"hax-types","vers":"0.3.0","deps":[{"name":"annotate-snippets","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive","env"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-adt-into","req":"=0.3.0","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-options","req":"=0.3.0","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":"miette","req":"^7.2.0","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":"schemars","req":"^0.8","features":[],"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":"normal"},{"name":"serde-brief","req":"^0.1","features":["std","alloc"],"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":"tracing","req":"^0.1","features":["max_level_trace","release_max_level_trace"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"zstd","req":"^0.13.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"1040af6cc1c4293e8124e075eb2ae2528ab11f3d8ef707e48b3f91380365ab21","features":{"rustc":["hax-frontend-exporter/rustc"]},"yanked":false,"pubtime":"2025-05-16T08:34:05Z"}
{"name":"hax-types","vers":"0.3.1","deps":[{"name":"annotate-snippets","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive","env"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-adt-into","req":"=0.3.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-options","req":"=0.3.1","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":"miette","req":"^7.2.0","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":"schemars","req":"^0.8","features":[],"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":"normal"},{"name":"serde-brief","req":"^0.1","features":["std","alloc"],"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":"tracing","req":"^0.1","features":["max_level_trace","release_max_level_trace"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"zstd","req":"^0.13.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0e6349350a4463962d7e218b173c0451074975774f0986847d5546ab5c5ae006","features":{"rustc":["hax-frontend-exporter/rustc"]},"yanked":false,"pubtime":"2025-05-26T12:34:32Z"}
{"name":"hax-types","vers":"0.3.2","deps":[{"name":"annotate-snippets","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive","env"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-adt-into","req":"=0.3.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-frontend-exporter","req":"=0.3.2","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"hax-frontend-exporter-options","req":"=0.3.2","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":"miette","req":"^7.2.0","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":"schemars","req":"^0.8","features":[],"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":"normal"},{"name":"serde-brief","req":"^0.1","features":["std","alloc"],"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":"tracing","req":"^0.1","features":["max_level_trace","release_max_level_trace"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"zstd","req":"^0.13.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fbdb3a50690870a4c0d29c347ff1206e77586858f4e2c295cd1a1808f1177d17","features":{"rustc":["hax-frontend-exporter/rustc"]},"yanked":false,"pubtime":"2025-07-24T13:09:24Z"}
{"name":"hax-types","vers":"0.3.3","deps":[{"name":"annotate-snippets","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive","env"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-adt-into","req":"=0.3.3","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-options","req":"=0.3.3","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":"miette","req":"^7.2.0","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":"schemars","req":"^0.8","features":[],"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":"normal"},{"name":"serde-brief","req":"^0.1","features":["std","alloc"],"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":"tracing","req":"^0.1","features":["max_level_trace","release_max_level_trace"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"zstd","req":"^0.13.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"08cd85b96b22d1a955c6f2a4a4ecc982bd8f1673f22610351aa2bd13c5072a1d","features":{"rustc":["hax-frontend-exporter/rustc"]},"yanked":false,"pubtime":"2025-09-03T11:24:01Z"}
{"name":"hax-types","vers":"0.3.4","deps":[{"name":"annotate-snippets","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive","env"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-adt-into","req":"=0.3.4","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-options","req":"=0.3.4","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":"miette","req":"^7.2.0","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":"schemars","req":"^0.8","features":[],"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":"normal"},{"name":"serde-brief","req":"^0.1","features":["std","alloc"],"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":"tracing","req":"^0.1","features":["max_level_trace","release_max_level_trace"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"zstd","req":"^0.13.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"faf094ac22918d93dd78ae7667e43d6468145226cf78c96d6c39a058888b507e","features":{"rustc":["hax-frontend-exporter/rustc"]},"yanked":false,"pubtime":"2025-09-03T14:27:52Z"}
{"name":"hax-types","vers":"0.3.5","deps":[{"name":"annotate-snippets","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive","env"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-adt-into","req":"=0.3.5","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-options","req":"=0.3.5","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":"miette","req":"^7.2.0","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":"schemars","req":"^0.8","features":[],"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":"normal"},{"name":"serde-brief","req":"^0.1","features":["std","alloc"],"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":"tracing","req":"^0.1","features":["max_level_trace","release_max_level_trace"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"zstd","req":"^0.13.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ccf36821a6554af2c4bbb3c5744a70f4627221b548a72d25b13968e206f6f664","features":{"rustc":["hax-frontend-exporter/rustc"]},"yanked":false,"pubtime":"2025-10-02T12:12:03Z"}
{"name":"hax-types","vers":"0.3.6","deps":[{"name":"annotate-snippets","req":"^0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"clap","req":"^4.0","features":["derive","env"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"colored","req":"^2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-adt-into","req":"=0.3.6","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-options","req":"=0.3.6","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":"miette","req":"^7.2.0","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":"schemars","req":"^0.8","features":[],"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":"normal"},{"name":"serde-brief","req":"^0.1","features":["std","alloc"],"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":"tracing","req":"^0.1","features":["max_level_trace","release_max_level_trace"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"zstd","req":"^0.13.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5a2e1b9df7ded450b11dcf6b3b017c828fb51092c63f075b56aaae416c75cffa","features":{"rustc":["hax-frontend-exporter/rustc"]},"yanked":false,"pubtime":"2026-01-15T10:27:31Z"}