libcrux-hacl is used at run time in 7 crates (of which 2 optionally). It is a direct run-time dependency in 3 crates.

Depender (with downloads and own rev deps) libcrux-hacl version
800 1 libcrux-ecdh =0.0.2-alpha.3
600 1 libcrux-hkdf =0.0.2-alpha.3
550 libcrux-hmac =0.0.2-alpha.3