From 571d68311b3df40a1acdb1647e5950b542f0c5cc Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 8 Nov 2023 12:09:13 +0000 Subject: [PATCH 1/6] deps/hs-backend-booster_release: Set Version 9209680674611ab47fdbb389ccdf57fa016ab1f9 --- deps/hs-backend-booster_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release index e7832dff62d..037d2584491 100644 --- a/deps/hs-backend-booster_release +++ b/deps/hs-backend-booster_release @@ -1 +1 @@ -a81e7cf4ccafcfbc07340df3d3ef7efdca3df1fc +9209680674611ab47fdbb389ccdf57fa016ab1f9 From d6d77efb708a2b36f934f9fe226e73e8e489341e Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 8 Nov 2023 12:10:32 +0000 Subject: [PATCH 2/6] flake.nix, hs-backend-booster/src/main/native/hs-backend-booster: update to version 9209680674611ab47fdbb389ccdf57fa016ab1f9 --- flake.nix | 2 +- hs-backend-booster/src/main/native/hs-backend-booster | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/flake.nix b/flake.nix index 0ce3cc86651..47c52037532 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { haskell-backend.url = "github:runtimeverification/haskell-backend/eebe4e9fd9dd6c606b37a384dbbfecca85943a38"; booster-backend = { - url = "github:runtimeverification/hs-backend-booster/a81e7cf4ccafcfbc07340df3d3ef7efdca3df1fc"; + url = "github:runtimeverification/hs-backend-booster/9209680674611ab47fdbb389ccdf57fa016ab1f9"; inputs.nixpkgs.follows = "haskell-backend/nixpkgs"; inputs.haskell-backend.follows = "haskell-backend"; inputs.stacklock2nix.follows = "haskell-backend/stacklock2nix"; diff --git a/hs-backend-booster/src/main/native/hs-backend-booster b/hs-backend-booster/src/main/native/hs-backend-booster index a81e7cf4cca..92096806746 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 a81e7cf4ccafcfbc07340df3d3ef7efdca3df1fc +Subproject commit 9209680674611ab47fdbb389ccdf57fa016ab1f9 From e6119a1c38a4aaf4f9b0ed40acdc352293df9b58 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 8 Nov 2023 12:11:01 +0000 Subject: [PATCH 3/6] flake.nix, flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 59f800c4543..c6fd4f89429 100644 --- a/flake.lock +++ b/flake.lock @@ -15,17 +15,17 @@ ] }, "locked": { - "lastModified": 1698937618, - "narHash": "sha256-7ASzWfaln3OoDGRllQ130CbPltQqDRuzPCjb+xcVixo=", + "lastModified": 1699444972, + "narHash": "sha256-4Vlo0S2/131l+owlHow3811OsNypSrMJa8o4Y0UmnVA=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "a81e7cf4ccafcfbc07340df3d3ef7efdca3df1fc", + "rev": "9209680674611ab47fdbb389ccdf57fa016ab1f9", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "a81e7cf4ccafcfbc07340df3d3ef7efdca3df1fc", + "rev": "9209680674611ab47fdbb389ccdf57fa016ab1f9", "type": "github" } }, From 9b2d8d568604859a98ae99e8249fe0222e4fae25 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 8 Nov 2023 13:33:48 +0000 Subject: [PATCH 4/6] deps/hs-backend-booster_release: Set Version 15a9fc41edcf6b22730f37e77a3e29acb2ae3601 --- deps/hs-backend-booster_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release index 037d2584491..7be23be1bf6 100644 --- a/deps/hs-backend-booster_release +++ b/deps/hs-backend-booster_release @@ -1 +1 @@ -9209680674611ab47fdbb389ccdf57fa016ab1f9 +15a9fc41edcf6b22730f37e77a3e29acb2ae3601 From 5823f420426afa62eae3bd85254e9bdf141d30b8 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 8 Nov 2023 13:34:42 +0000 Subject: [PATCH 5/6] flake.nix, hs-backend-booster/src/main/native/hs-backend-booster: update to version 15a9fc41edcf6b22730f37e77a3e29acb2ae3601 --- flake.nix | 2 +- hs-backend-booster/src/main/native/hs-backend-booster | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/flake.nix b/flake.nix index 47c52037532..3a17f57a825 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { haskell-backend.url = "github:runtimeverification/haskell-backend/eebe4e9fd9dd6c606b37a384dbbfecca85943a38"; booster-backend = { - url = "github:runtimeverification/hs-backend-booster/9209680674611ab47fdbb389ccdf57fa016ab1f9"; + url = "github:runtimeverification/hs-backend-booster/15a9fc41edcf6b22730f37e77a3e29acb2ae3601"; inputs.nixpkgs.follows = "haskell-backend/nixpkgs"; inputs.haskell-backend.follows = "haskell-backend"; inputs.stacklock2nix.follows = "haskell-backend/stacklock2nix"; diff --git a/hs-backend-booster/src/main/native/hs-backend-booster b/hs-backend-booster/src/main/native/hs-backend-booster index 92096806746..15a9fc41edc 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 9209680674611ab47fdbb389ccdf57fa016ab1f9 +Subproject commit 15a9fc41edcf6b22730f37e77a3e29acb2ae3601 From 1374e7187f828f75065fd7c25ce15e21f18ccc77 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 8 Nov 2023 13:34:58 +0000 Subject: [PATCH 6/6] flake.nix, flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index c6fd4f89429..e5872d7dfdc 100644 --- a/flake.lock +++ b/flake.lock @@ -15,17 +15,17 @@ ] }, "locked": { - "lastModified": 1699444972, - "narHash": "sha256-4Vlo0S2/131l+owlHow3811OsNypSrMJa8o4Y0UmnVA=", + "lastModified": 1699449951, + "narHash": "sha256-XQ4xHUGvG77JTWPepKzeGnKyTMHm3T7YlzaCyRuRu0w=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "9209680674611ab47fdbb389ccdf57fa016ab1f9", + "rev": "15a9fc41edcf6b22730f37e77a3e29acb2ae3601", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "9209680674611ab47fdbb389ccdf57fa016ab1f9", + "rev": "15a9fc41edcf6b22730f37e77a3e29acb2ae3601", "type": "github" } },