This release includes faster fallback implementations for certain intrinsics, leading to improved performance, notably on ARMv8.
The opam pin hacl-star-raw --dev
command now also works.
Note: New releases of the OCaml API are no longer made in this repository. See cryspen/hacl-packages instead.