diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release index 0d6043265f..b1d6fbf55b 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -v0.1.104 +v0.1.107 diff --git a/flake.lock b/flake.lock index fce466c75c..a7fa0bfd18 100644 --- a/flake.lock +++ b/flake.lock @@ -65,16 +65,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1733283993, - "narHash": "sha256-CK126KzmZQfPqqn0SFba1vg4DL/V/13dsjcFareE8Lo=", + "lastModified": 1734716270, + "narHash": "sha256-SayqTaWqaAxJsIQZYU7kue3xNxfMaDXXcMjXWnDDCpQ=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "1b6cacb3eab29c7e449b2d255321c3ed348f4229", + "rev": "ee1e0d0c53928127ca8092e529bb2bda6fbd2063", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.104", + "ref": "v0.1.107", "repo": "haskell-backend", "type": "github" } diff --git a/flake.nix b/flake.nix index 2a664a969e..0f42497070 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.103"; haskell-backend = { - url = "github:runtimeverification/haskell-backend/v0.1.104"; + url = "github:runtimeverification/haskell-backend/v0.1.107"; inputs.rv-utils.follows = "llvm-backend/rv-utils"; inputs.nixpkgs.follows = "llvm-backend/nixpkgs"; }; diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index 1b6cacb3ea..ee1e0d0c53 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 1b6cacb3eab29c7e449b2d255321c3ed348f4229 +Subproject commit ee1e0d0c53928127ca8092e529bb2bda6fbd2063