hax-types is used at run time in 2 crates.
| Depender (with downloads and own rev deps) | hax-types version | |||
|---|---|---|---|---|
| 150 | cargo-hax | =0.2.0 | ||
| 140 | hax-driver | =0.2.0 | ||
hax-types is used at run time in 2 crates.
| Depender (with downloads and own rev deps) | hax-types version | |||
|---|---|---|---|---|
| 150 | cargo-hax | =0.2.0 | ||
| 140 | hax-driver | =0.2.0 | ||