hax-frontend-exporter is used at run time in 4 crates. It's used at build time in 1 crate.
| Depender (with downloads and own rev deps) | hax-frontend-exporter version | |||
|---|---|---|---|---|
| 310 | 2 | hax-types | =0.1.0-alpha.1 | |
| 180 | cargo-hax | =0.1.0-alpha.1 | ||
| 160 | hax-driver | =0.1.0-alpha.1 | ||
| 1 | hax-cli-options-engine | =0.1.0-pre.1 | ||
| hax-subcommands | build | =0.1.0-pre.1 | ||