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
140 2 hax-types =0.1.0-rc.1
130 hax-driver =0.1.0-rc.1
110 cargo-hax =0.1.0-rc.1
1 hax-cli-options-engine =0.1.0-pre.1
hax-subcommands build =0.1.0-pre.1