nightly update

Inria-Prosecco · Jan 15, 2025 · 7d96d3f · 7d96d3f
1 parent 413670d
commit 7d96d3f
Show file tree

Hide file tree

Showing 2 changed files with 35 additions and 34 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/libcrux-Cargo.lock b/libcrux-Cargo.lock