kmxwasm/flake.{nix,lock}: update Nix derivations

runtimeverification · Oct 16, 2023 · 8b204bf · 8b204bf
1 parent 0438f50
commit 8b204bf
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/kmxwasm/flake.lock b/kmxwasm/flake.lock