HACL is used at run time in 1 crate.

Depender (with downloads and own rev deps) HACL version
1.6K 1 libcrux =0.0.2