Update dependency: haskell-backend/src/main/native/haskell-backend (#…

…3253) * haskell-backend/src/main/native/haskell-backend: 5dc023d92 - Update dependency: deps/k_release (#3531) * Sync flake inputs to submodules * haskell-backend/src/main/native/haskell-backend: 858a31999 - Adjust json schema to use LeftAssoc and RightAssoc (#3548) * Sync flake inputs to submodules --------- Co-authored-by: rv-jenkins <[email protected]>
runtimeverification · Mar 21, 2023 · 9194fea · 9194fea
1 parent f88fab4
commit 9194fea
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
+1 −1		deps/k_release
+1 −1		docker/build.sh
+6 −7		src/main/json/kore-schema.json
+1 −1		test.nix