flake.nix, haskell-backend/src/main/native/haskell-backend: update to…

… version c2b8559a11c4d22c6ddc02ac7620b7a5ece65931
runtimeverification · Oct 9, 2023 · 548bd39 · 548bd39
1 parent 321ae9a
commit 548bd39
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/flake.nix b/flake.nix
@@ -2,7 +2,7 @@
   description = "K Framework";
   inputs = {
     nixpkgs.url = "nixpkgs/nixos-23.05";
-    haskell-backend.url = "github:runtimeverification/haskell-backend/a62ea52492519ef3813227796b318cfce001e3c8";
+    haskell-backend.url = "github:runtimeverification/haskell-backend/c2b8559a11c4d22c6ddc02ac7620b7a5ece65931";
     booster-backend = {
       url = "github:runtimeverification/hs-backend-booster/cb313711f98dcf100b315138502e6bdffbb58369";
       # NB booster-backend will bring in another dependency on haskell-backend,

diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend