hacspec-lib is used at run time in 1 crate (of which 1 optionally).

Depender (with downloads and own rev deps) hacspec-lib version
1.6K 1 libcrux optional =0.1.0-beta.1