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

runtimeverification · Oct 27, 2023 · ce2bf9a · ce2bf9a
1 parent 31ded44
commit ce2bf9a
Showing 1 changed file with 51 additions and 14 deletions.
diff --git a/kmxwasm/flake.lock b/kmxwasm/flake.lock