hax-adt-into is used at run time in 7 crates. It is a direct run-time dependency in 2 crates.
| Depender (with downloads and own rev deps) | hax-adt-into version | |||
|---|---|---|---|---|
| 5 | hax-frontend-exporter | =0.1.0-pre.1 | ||
| 2 | hax-types | =0.1.0-alpha.1 | ||
hax-adt-into is used at run time in 7 crates. It is a direct run-time dependency in 2 crates.
| Depender (with downloads and own rev deps) | hax-adt-into version | |||
|---|---|---|---|---|
| 5 | hax-frontend-exporter | =0.1.0-pre.1 | ||
| 2 | hax-types | =0.1.0-alpha.1 | ||