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