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