{"name":"hax-rust-engine","vers":"0.3.3","deps":[{"name":"camino","req":"^1.1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"derive_generic_visitor","req":"^0.3.0","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-rust-engine-macros","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":"normal"},{"name":"itertools","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pastey","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty","req":"^0.12","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","derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde-jsonlines","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":["unbounded_depth"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_stacker","req":"^0.1.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"c7d062b4280e4d11cc97b09e505a59b818fca1135d860fa9d1be542f7149dc16","features":{},"yanked":false,"pubtime":"2025-09-03T11:36:07Z"}
{"name":"hax-rust-engine","vers":"0.3.4","deps":[{"name":"camino","req":"^1.1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"derive_generic_visitor","req":"^0.3.0","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-rust-engine-macros","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":"normal"},{"name":"itertools","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pastey","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty","req":"^0.12","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","derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde-jsonlines","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":["unbounded_depth"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_stacker","req":"^0.1.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"87e99f1923ce6a7aa21fd157ccfd27fce895872afdee3b888eea596df2a895e8","features":{},"yanked":false,"pubtime":"2025-09-03T14:28:14Z"}
{"name":"hax-rust-engine","vers":"0.3.5","deps":[{"name":"camino","req":"^1.1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"derive_generic_visitor","req":"^0.3.0","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-rust-engine-macros","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":"normal"},{"name":"itertools","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pastey","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty","req":"^0.12","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","derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":["unbounded_depth"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_stacker","req":"^0.1.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"4d1846f7d9dd0aa82ec99966828d76554ed571a17eba1733005cef38d62308ab","features":{},"yanked":false,"pubtime":"2025-10-02T12:12:31Z"}
{"name":"hax-rust-engine","vers":"0.3.6","deps":[{"name":"camino","req":"^1.1.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"derive_generic_visitor","req":"^0.3.0","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-lib","req":"=0.3.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"hax-lib-macros-types","req":"=0.3.6","features":["schemars"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-rust-engine-macros","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":"normal"},{"name":"itertools","req":"^0.11.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pastey","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"pretty","req":"^0.12","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","derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":["unbounded_depth"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_stacker","req":"^0.1.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"93a9e7537f3efb691583259cdfacb24459738f17bf518ecb33cb8f5359fa0f70","features":{},"yanked":false,"pubtime":"2026-01-15T10:33:18Z"}