hax-lib-macros-types is used at run time in 6 crates (of which 4 optionally). It is a direct run-time dependency in 2 crates. It's used at build time in 1 crate.
Depender (with downloads and own rev deps) | hax-lib-macros-types version | |||
---|---|---|---|---|
1.6K | 1 | hax-lib-macros | =0.1.0-pre.1 | |
cargo-hax | build | =0.1.0-alpha.1 | ||
hax-driver | =0.1.0-alpha.1 |