From 23412b2bb1de41de69623085f25c7e64b284d0d4 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 7 Dec 2023 08:02:35 -0700 Subject: [PATCH] Update dependency: deps/hs-backend-booster_release (#3851) Co-authored-by: devops --- deps/hs-backend-booster_release | 2 +- flake.lock | 16 ++++++++-------- flake.nix | 4 ++-- haskell-backend/src/main/native/haskell-backend | 2 +- .../src/main/native/hs-backend-booster | 2 +- 5 files changed, 13 insertions(+), 13 deletions(-) diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release index ddb6056a270..3bfec1e3c05 100644 --- a/deps/hs-backend-booster_release +++ b/deps/hs-backend-booster_release @@ -1 +1 @@ -5294940d0f5a58a685b0f30934ed8fdb5dd3fa14 +7fa64107dbe26453024e5210d441b7999ef31f0b diff --git a/flake.lock b/flake.lock index f8cac3ac3e4..ce39032f303 100644 --- a/flake.lock +++ b/flake.lock @@ -15,17 +15,17 @@ ] }, "locked": { - "lastModified": 1701735161, - "narHash": "sha256-ez9JDQd5EEVmmGkWv4Yg4XmK6CeDYNOsqd3HPUQAiHg=", + "lastModified": 1701955831, + "narHash": "sha256-KgyowTAPxflKyMBCFIhhKLrqwmppziSF5IOduf3RPQk=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "5294940d0f5a58a685b0f30934ed8fdb5dd3fa14", + "rev": "7fa64107dbe26453024e5210d441b7999ef31f0b", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "5294940d0f5a58a685b0f30934ed8fdb5dd3fa14", + "rev": "7fa64107dbe26453024e5210d441b7999ef31f0b", "type": "github" } }, @@ -71,17 +71,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1701257709, - "narHash": "sha256-WoZ+XLi48Uqo558muURSY+SeThu2+VrO699r8UQI81g=", + "lastModified": 1701950567, + "narHash": "sha256-e4A4dTW8GYQ0KPHcAb1PVaLXqGpKUJuQNJLlM7HO74Y=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "0be07d293a1167615ef9342bb1820350f794e893", + "rev": "a5847301404583e16d55cd4d051b8e605d704fbc", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "0be07d293a1167615ef9342bb1820350f794e893", + "rev": "a5847301404583e16d55cd4d051b8e605d704fbc", "type": "github" } }, diff --git a/flake.nix b/flake.nix index 656a3df4b86..bf14f47d6e7 100644 --- a/flake.nix +++ b/flake.nix @@ -1,9 +1,9 @@ { description = "K Framework"; inputs = { - haskell-backend.url = "github:runtimeverification/haskell-backend/0be07d293a1167615ef9342bb1820350f794e893"; + haskell-backend.url = "github:runtimeverification/haskell-backend/a5847301404583e16d55cd4d051b8e605d704fbc"; booster-backend = { - url = "github:runtimeverification/hs-backend-booster/5294940d0f5a58a685b0f30934ed8fdb5dd3fa14"; + url = "github:runtimeverification/hs-backend-booster/7fa64107dbe26453024e5210d441b7999ef31f0b"; inputs.nixpkgs.follows = "haskell-backend/nixpkgs"; inputs.haskell-backend.follows = "haskell-backend"; inputs.stacklock2nix.follows = "haskell-backend/stacklock2nix"; diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index 0be07d293a1..a5847301404 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 0be07d293a1167615ef9342bb1820350f794e893 +Subproject commit a5847301404583e16d55cd4d051b8e605d704fbc diff --git a/hs-backend-booster/src/main/native/hs-backend-booster b/hs-backend-booster/src/main/native/hs-backend-booster index 5294940d0f5..7fa64107dbe 160000 --- a/hs-backend-booster/src/main/native/hs-backend-booster +++ b/hs-backend-booster/src/main/native/hs-backend-booster @@ -1 +1 @@ -Subproject commit 5294940d0f5a58a685b0f30934ed8fdb5dd3fa14 +Subproject commit 7fa64107dbe26453024e5210d441b7999ef31f0b