hax-lib-macros-types is used at run time in 6 crates (of which 5 optionally). It is a direct run-time dependency in 2 crates. It's used at build time in 1 crate.
Number of dependers | hax-lib-macros-types version | Downloads/month |
---|---|---|
4 | 0.2.0 | 270 |
3 | 0.1.0 | 3.6K |
Depender (with downloads and own rev deps) | hax-lib-macros-types version | |||
---|---|---|---|---|
7.2K | 1 | hax-lib-macros | =0.2.0 | |
150 | cargo-hax | build | =0.2.0 | |
140 | hax-driver | =0.2.0 |