search

cryspen / libcrux

The formally verified crypto library for Rust
https://cryspen.com/libcrux
Apache License 2.0
89 stars 15 forks source link

Propagate recent cmake changes to nix CI #669

Closed R1kM closed 1 week ago

R1kM commented 1 week ago

Following https://github.com/cryspen/libcrux/pull/649