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