From 36d09db28968a6ab9c02c54de08be147e2444535 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 11 Jun 2026 11:25:19 +0000 Subject: [PATCH 1/6] deps/haskell-backend_release: Set Version v0.1.151 --- deps/haskell-backend_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release index a402c50ee2..26b3b0cf2a 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -v0.1.150 +v0.1.151 From 1ecf92a34642c68875b8a815f3d4c03911a0997e Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 11 Jun 2026 11:26:10 +0000 Subject: [PATCH 2/6] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version v0.1.151 --- flake.nix | 2 +- haskell-backend/src/main/native/haskell-backend | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/flake.nix b/flake.nix index 5fd8648e61..624c539d17 100644 --- a/flake.nix +++ b/flake.nix @@ -8,7 +8,7 @@ llvm-backend.inputs.nixpkgs.follows = "nixpkgs"; haskell-backend = { - url = "github:runtimeverification/haskell-backend/v0.1.150"; + url = "github:runtimeverification/haskell-backend/v0.1.151"; inputs.rv-nix-tools.follows = "rv-nix-tools"; inputs.nixpkgs.follows = "nixpkgs"; }; diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index 515eccf4a8..43e0664d0e 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 515eccf4a8ebbb0fe8ff807d15a96ce096ce2670 +Subproject commit 43e0664d0eea57e78f6985a5b6424d08fe90abfd From 92974e6882b7934a0fe3c50132d24e439a42397e Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 11 Jun 2026 11:28:14 +0000 Subject: [PATCH 3/6] flake.lock: update --- flake.lock | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/flake.lock b/flake.lock index 9dc83c895c..d4e47edde7 100644 --- a/flake.lock +++ b/flake.lock @@ -64,16 +64,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1780590347, - "narHash": "sha256-iYTKRQzsC56EfHNuDO/O9MbMFmNV9c2CM4NwOXSeSc4=", + "lastModified": 1781176134, + "narHash": "sha256-DpXzGzQ6nDFqj2CvEhcSq2OQtX3gGh98sDlAb9/3W8o=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "515eccf4a8ebbb0fe8ff807d15a96ce096ce2670", + "rev": "43e0664d0eea57e78f6985a5b6424d08fe90abfd", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.150", + "ref": "v0.1.151", "repo": "haskell-backend", "type": "github" } @@ -141,11 +141,11 @@ }, "nixpkgs-unstable": { "locked": { - "lastModified": 1780243769, - "narHash": "sha256-x5UQuRsH3MqI0U9afaXSNqzTPSeZlRLvFAav2Ux1pNw=", + "lastModified": 1780749050, + "narHash": "sha256-3av0pIjlOWQ6rDbNOmpUSvbNnJkGORQKKjb4LtCZsIY=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "331800de5053fcebacf6813adb5db9c9dca22a0c", + "rev": "a799d3e3886da994fa307f817a6bc705ae538eeb", "type": "github" }, "original": { From dd4a21c965e7001e6489e0bf99068848c50acfcf Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 11 Jun 2026 17:08:33 +0000 Subject: [PATCH 4/6] deps/haskell-backend_release: Set Version v0.1.152 --- deps/haskell-backend_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release index 26b3b0cf2a..1fab862d03 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -v0.1.151 +v0.1.152 From c63fcbae088a21be9dc6141de5bc259d8ed748ac Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 11 Jun 2026 17:09:29 +0000 Subject: [PATCH 5/6] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version v0.1.152 --- flake.nix | 2 +- haskell-backend/src/main/native/haskell-backend | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/flake.nix b/flake.nix index 624c539d17..6b35416492 100644 --- a/flake.nix +++ b/flake.nix @@ -8,7 +8,7 @@ llvm-backend.inputs.nixpkgs.follows = "nixpkgs"; haskell-backend = { - url = "github:runtimeverification/haskell-backend/v0.1.151"; + url = "github:runtimeverification/haskell-backend/v0.1.152"; inputs.rv-nix-tools.follows = "rv-nix-tools"; inputs.nixpkgs.follows = "nixpkgs"; }; diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index 43e0664d0e..d4dc50c2cb 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 43e0664d0eea57e78f6985a5b6424d08fe90abfd +Subproject commit d4dc50c2cb7c0d4f411d3f7a744eef63d700f6bb From fbacf204a876679ec8c685f8c5e08e51697a7047 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 11 Jun 2026 17:11:37 +0000 Subject: [PATCH 6/6] flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index d4e47edde7..9ba91ab614 100644 --- a/flake.lock +++ b/flake.lock @@ -64,16 +64,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1781176134, - "narHash": "sha256-DpXzGzQ6nDFqj2CvEhcSq2OQtX3gGh98sDlAb9/3W8o=", + "lastModified": 1781196098, + "narHash": "sha256-jor7jzFY251nQG1iCF0DHdgdr9SjXg4cRpmfIjyJiJo=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "43e0664d0eea57e78f6985a5b6424d08fe90abfd", + "rev": "d4dc50c2cb7c0d4f411d3f7a744eef63d700f6bb", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.151", + "ref": "v0.1.152", "repo": "haskell-backend", "type": "github" }