{"name":"hax-driver","vers":"0.1.0-alpha.1","deps":[{"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":"hax-frontend-exporter","req":"=0.1.0-alpha.1","features":["rustc"],"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":"hax-lib-macros-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":["rustc"],"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":"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":"tracing","req":"^0.1","features":["max_level_trace","release_max_level_trace"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-subscriber","req":"^0.3","features":["env-filter","std","fmt"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-tree","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0865260aa77c180cb0928e064171de860b86b9c99fb4148433e44fc193daf37c","features":{},"yanked":false,"pubtime":"2024-10-07T14:07:55Z"}
{"name":"hax-driver","vers":"0.1.0-rc.1","deps":[{"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":"hax-frontend-exporter","req":"=0.1.0-rc.1","features":["rustc"],"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":"hax-lib-macros-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":["rustc"],"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":"serde","req":"^1.0","features":["derive","rc"],"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":"tracing-subscriber","req":"^0.3","features":["env-filter","std","fmt"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-tree","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"10cfafa4342ed0c94cee80cd873487ce780b7b46a22543fb9daebcbd9060d35d","features":{},"yanked":false,"pubtime":"2024-12-17T13:27:38Z"}
{"name":"hax-driver","vers":"0.1.0","deps":[{"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":"hax-frontend-exporter","req":"=0.1.0","features":["rustc"],"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":"hax-lib-macros-types","req":"=0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-types","req":"=0.1.0","features":["rustc"],"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":"serde","req":"^1.0","features":["derive","rc"],"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":"tracing-subscriber","req":"^0.3","features":["env-filter","std","fmt"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-tree","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fbedfe7cef3ae64360dc589dc38edaa8d2cc29078b21c28dc8513048111a6fd8","features":{},"yanked":false,"pubtime":"2025-01-20T13:41:46Z"}
{"name":"hax-driver","vers":"0.2.0","deps":[{"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":"hax-frontend-exporter","req":"=0.2.0","features":["rustc"],"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":"hax-lib-macros-types","req":"=0.2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-types","req":"=0.2.0","features":["rustc"],"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":"serde","req":"^1.0","features":["derive","rc"],"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":"tracing-subscriber","req":"^0.3","features":["env-filter","std","fmt"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-tree","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"dcc1bb7e70bfcec0a0578aaaecc1e8e4d0036090bcc08add70e32ab4b6ff536c","features":{},"yanked":false,"pubtime":"2025-03-05T09:39:37Z"}
{"name":"hax-driver","vers":"0.3.0","deps":[{"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":"hax-frontend-exporter","req":"=0.3.0","features":["rustc"],"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":"hax-lib-macros-types","req":"=0.3.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-types","req":"=0.3.0","features":["rustc"],"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":"serde","req":"^1.0","features":["derive","rc"],"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":"tracing-subscriber","req":"^0.3","features":["env-filter","std","fmt"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-tree","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2bef068fd866e74bcc757d4cfa2eac46b87cf38a60a00d0bf64230f17ed50a91","features":{},"yanked":false,"pubtime":"2025-05-16T08:35:04Z"}
{"name":"hax-driver","vers":"0.3.1","deps":[{"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":"hax-frontend-exporter","req":"=0.3.1","features":["rustc"],"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":"hax-lib-macros-types","req":"=0.3.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-types","req":"=0.3.1","features":["rustc"],"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":"serde","req":"^1.0","features":["derive","rc"],"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":"tracing-subscriber","req":"^0.3","features":["env-filter","std","fmt"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-tree","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"df4396c3bf2b6ed7da94c0d462737de44077717a9b3ec67fad801aac1e516d56","features":{},"yanked":false,"pubtime":"2025-05-26T12:35:37Z"}
{"name":"hax-driver","vers":"0.3.3","deps":[{"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":"hax-frontend-exporter","req":"=0.3.3","features":["rustc"],"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":"hax-lib-macros-types","req":"=0.3.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-types","req":"=0.3.3","features":["rustc"],"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":"serde","req":"^1.0","features":["derive","rc"],"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":"tracing-subscriber","req":"^0.3","features":["env-filter","std","fmt"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-tree","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"95e6161c6907ef00e48ef619c67c98c9321d51990723dc4b4bb2d93f91d0b788","features":{},"yanked":false,"pubtime":"2025-09-03T11:36:55Z"}
{"name":"hax-driver","vers":"0.3.4","deps":[{"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":"hax-frontend-exporter","req":"=0.3.4","features":["rustc"],"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":"hax-lib-macros-types","req":"=0.3.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-types","req":"=0.3.4","features":["rustc"],"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":"serde","req":"^1.0","features":["derive","rc"],"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":"tracing-subscriber","req":"^0.3","features":["env-filter","std","fmt"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-tree","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"fea8dbb1ec651c48162e67949233a7b9353be569675bb952b1217b54ac4d1bd3","features":{},"yanked":false,"pubtime":"2025-09-03T14:29:06Z"}
{"name":"hax-driver","vers":"0.3.5","deps":[{"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":"hax-frontend-exporter","req":"=0.3.5","features":["rustc"],"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":"hax-lib-macros-types","req":"=0.3.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-types","req":"=0.3.5","features":["rustc"],"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":"serde","req":"^1.0","features":["derive","rc"],"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":"tracing-subscriber","req":"^0.3","features":["env-filter","std","fmt"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-tree","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"2b56dc5fe5947b26fe214992480bf69d84eb5a91d8662906487773b6e5969885","features":{},"yanked":false,"pubtime":"2025-10-02T12:13:50Z"}
{"name":"hax-driver","vers":"0.3.6","deps":[{"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":"hax-frontend-exporter","req":"=0.3.6","features":["rustc"],"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":"hax-lib-macros-types","req":"=0.3.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"hax-types","req":"=0.3.6","features":["rustc"],"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":"serde","req":"^1.0","features":["derive","rc"],"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":"tracing-subscriber","req":"^0.3","features":["env-filter","std","fmt"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tracing-tree","req":"^0.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7c5b80106fac90de6bfe2a101f6605e2bf35d7b432202c74f8329c462d6f7623","features":{},"yanked":false,"pubtime":"2026-01-15T10:32:15Z"}