From 9e32ee7be85bee0b40a7917e1d2e402f0c962426 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 14 Dec 2023 14:48:12 +0000 Subject: [PATCH 1/6] deps/haskell-backend_release: Set Version 4e9fb7af74bb0a6aa0b365bdb955ac682cb75ef7 --- 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 920bba143..94b47f136 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -a5847301404583e16d55cd4d051b8e605d704fbc +4e9fb7af74bb0a6aa0b365bdb955ac682cb75ef7 From e7eca1b291364e81e6ef13492048c065b1bb8475 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 14 Dec 2023 14:52:58 +0000 Subject: [PATCH 2/6] update haskell-backend to version 4e9fb7af74bb0a6aa0b365bdb955ac682cb75ef7 --- cabal.project | 2 +- flake.lock | 8 ++++---- flake.nix | 2 +- stack.yaml | 2 +- stack.yaml.lock | 12 ++++++------ 5 files changed, 13 insertions(+), 13 deletions(-) diff --git a/cabal.project b/cabal.project index 5e2e287d3..56d7dc83d 100644 --- a/cabal.project +++ b/cabal.project @@ -20,6 +20,6 @@ source-repository-package source-repository-package type: git location: https://github.com/runtimeverification/haskell-backend.git - tag: a5847301404583e16d55cd4d051b8e605d704fbc + tag: 4e9fb7af74bb0a6aa0b365bdb955ac682cb75ef7 --sha256: subdir: kore kore-rpc-types diff --git a/flake.lock b/flake.lock index 9ae35c46d..608b38a7f 100644 --- a/flake.lock +++ b/flake.lock @@ -7,17 +7,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1701950567, - "narHash": "sha256-e4A4dTW8GYQ0KPHcAb1PVaLXqGpKUJuQNJLlM7HO74Y=", + "lastModified": 1702563777, + "narHash": "sha256-4hIHCA6IwX8RjpfD7r2E9cJoNq9XUhedb5JmyAuv7eY=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "a5847301404583e16d55cd4d051b8e605d704fbc", + "rev": "4e9fb7af74bb0a6aa0b365bdb955ac682cb75ef7", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "a5847301404583e16d55cd4d051b8e605d704fbc", + "rev": "4e9fb7af74bb0a6aa0b365bdb955ac682cb75ef7", "type": "github" } }, diff --git a/flake.nix b/flake.nix index ac9d927f5..b6c333994 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "hs-backend-booster"; inputs = { - haskell-backend.url = "github:runtimeverification/haskell-backend/a5847301404583e16d55cd4d051b8e605d704fbc"; + haskell-backend.url = "github:runtimeverification/haskell-backend/4e9fb7af74bb0a6aa0b365bdb955ac682cb75ef7"; stacklock2nix.follows = "haskell-backend/stacklock2nix"; nixpkgs.follows = "haskell-backend/nixpkgs"; }; diff --git a/stack.yaml b/stack.yaml index 1af910f74..49a0adb21 100644 --- a/stack.yaml +++ b/stack.yaml @@ -14,7 +14,7 @@ extra-deps: - typerep-map-0.5.0.0 - monad-validate-1.2.0.1 - git: https://github.com/runtimeverification/haskell-backend.git - commit: a5847301404583e16d55cd4d051b8e605d704fbc + commit: 4e9fb7af74bb0a6aa0b365bdb955ac682cb75ef7 subdirs: - kore - kore-rpc-types diff --git a/stack.yaml.lock b/stack.yaml.lock index fd8c69989..e8cb83144 100644 --- a/stack.yaml.lock +++ b/stack.yaml.lock @@ -54,29 +54,29 @@ packages: original: hackage: monad-validate-1.2.0.1 - completed: - commit: a5847301404583e16d55cd4d051b8e605d704fbc + commit: 4e9fb7af74bb0a6aa0b365bdb955ac682cb75ef7 git: https://github.com/runtimeverification/haskell-backend.git name: kore pantry-tree: - sha256: 30a502eda589be5af735b1b59760ce3e0235c0cae8961978a46b3564dd8db32b + sha256: 389e1df9c3f23cf2f8062240705973b8087c994216fabb868b0a815c60013535 size: 44685 subdir: kore version: 0.60.0.0 original: - commit: a5847301404583e16d55cd4d051b8e605d704fbc + commit: 4e9fb7af74bb0a6aa0b365bdb955ac682cb75ef7 git: https://github.com/runtimeverification/haskell-backend.git subdir: kore - completed: - commit: a5847301404583e16d55cd4d051b8e605d704fbc + commit: 4e9fb7af74bb0a6aa0b365bdb955ac682cb75ef7 git: https://github.com/runtimeverification/haskell-backend.git name: kore-rpc-types pantry-tree: - sha256: 612bd29531bf7245dbc13176569e51e089d6887118d50566af326e079c18c18e + sha256: 2040097c72a2a33f43c886ab5efa1acdef72f48a3e26b7d94217e7e8fb466391 size: 476 subdir: kore-rpc-types version: 0.60.0.0 original: - commit: a5847301404583e16d55cd4d051b8e605d704fbc + commit: 4e9fb7af74bb0a6aa0b365bdb955ac682cb75ef7 git: https://github.com/runtimeverification/haskell-backend.git subdir: kore-rpc-types snapshots: From e4f8bf1e4afc37941285b675b1e2cdbf35168fa0 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 14 Dec 2023 23:27:48 +0000 Subject: [PATCH 3/6] deps/haskell-backend_release: Set Version 0f4666519bf78cf03383384aeaad0a074ae3fb0b --- 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 94b47f136..6327ff3a1 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -4e9fb7af74bb0a6aa0b365bdb955ac682cb75ef7 +0f4666519bf78cf03383384aeaad0a074ae3fb0b From 6bea10671841a2cce2c2ca863d6afd700cc51d74 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 14 Dec 2023 23:31:22 +0000 Subject: [PATCH 4/6] update haskell-backend to version 0f4666519bf78cf03383384aeaad0a074ae3fb0b --- cabal.project | 2 +- flake.lock | 8 ++++---- flake.nix | 2 +- stack.yaml | 2 +- stack.yaml.lock | 12 ++++++------ 5 files changed, 13 insertions(+), 13 deletions(-) diff --git a/cabal.project b/cabal.project index 56d7dc83d..040d6f8d5 100644 --- a/cabal.project +++ b/cabal.project @@ -20,6 +20,6 @@ source-repository-package source-repository-package type: git location: https://github.com/runtimeverification/haskell-backend.git - tag: 4e9fb7af74bb0a6aa0b365bdb955ac682cb75ef7 + tag: 0f4666519bf78cf03383384aeaad0a074ae3fb0b --sha256: subdir: kore kore-rpc-types diff --git a/flake.lock b/flake.lock index 608b38a7f..4dd56a27d 100644 --- a/flake.lock +++ b/flake.lock @@ -7,17 +7,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1702563777, - "narHash": "sha256-4hIHCA6IwX8RjpfD7r2E9cJoNq9XUhedb5JmyAuv7eY=", + "lastModified": 1702594961, + "narHash": "sha256-2GgSIV/q3ac7p56UVyL4+PZTnc72RBRU7apGppaYd6Y=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "4e9fb7af74bb0a6aa0b365bdb955ac682cb75ef7", + "rev": "0f4666519bf78cf03383384aeaad0a074ae3fb0b", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "4e9fb7af74bb0a6aa0b365bdb955ac682cb75ef7", + "rev": "0f4666519bf78cf03383384aeaad0a074ae3fb0b", "type": "github" } }, diff --git a/flake.nix b/flake.nix index b6c333994..1a91abf1c 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "hs-backend-booster"; inputs = { - haskell-backend.url = "github:runtimeverification/haskell-backend/4e9fb7af74bb0a6aa0b365bdb955ac682cb75ef7"; + haskell-backend.url = "github:runtimeverification/haskell-backend/0f4666519bf78cf03383384aeaad0a074ae3fb0b"; stacklock2nix.follows = "haskell-backend/stacklock2nix"; nixpkgs.follows = "haskell-backend/nixpkgs"; }; diff --git a/stack.yaml b/stack.yaml index 49a0adb21..79d9e1181 100644 --- a/stack.yaml +++ b/stack.yaml @@ -14,7 +14,7 @@ extra-deps: - typerep-map-0.5.0.0 - monad-validate-1.2.0.1 - git: https://github.com/runtimeverification/haskell-backend.git - commit: 4e9fb7af74bb0a6aa0b365bdb955ac682cb75ef7 + commit: 0f4666519bf78cf03383384aeaad0a074ae3fb0b subdirs: - kore - kore-rpc-types diff --git a/stack.yaml.lock b/stack.yaml.lock index e8cb83144..5364c6870 100644 --- a/stack.yaml.lock +++ b/stack.yaml.lock @@ -54,29 +54,29 @@ packages: original: hackage: monad-validate-1.2.0.1 - completed: - commit: 4e9fb7af74bb0a6aa0b365bdb955ac682cb75ef7 + commit: 0f4666519bf78cf03383384aeaad0a074ae3fb0b git: https://github.com/runtimeverification/haskell-backend.git name: kore pantry-tree: - sha256: 389e1df9c3f23cf2f8062240705973b8087c994216fabb868b0a815c60013535 + sha256: a6da6d018dd493236d325c066760a5d34f0a03f3abe2a0f6f5930dc30e37308d size: 44685 subdir: kore version: 0.60.0.0 original: - commit: 4e9fb7af74bb0a6aa0b365bdb955ac682cb75ef7 + commit: 0f4666519bf78cf03383384aeaad0a074ae3fb0b git: https://github.com/runtimeverification/haskell-backend.git subdir: kore - completed: - commit: 4e9fb7af74bb0a6aa0b365bdb955ac682cb75ef7 + commit: 0f4666519bf78cf03383384aeaad0a074ae3fb0b git: https://github.com/runtimeverification/haskell-backend.git name: kore-rpc-types pantry-tree: - sha256: 2040097c72a2a33f43c886ab5efa1acdef72f48a3e26b7d94217e7e8fb466391 + sha256: 32f98d72dff53f7a4f700923534774138982650754281b370f57c219029d1f73 size: 476 subdir: kore-rpc-types version: 0.60.0.0 original: - commit: 4e9fb7af74bb0a6aa0b365bdb955ac682cb75ef7 + commit: 0f4666519bf78cf03383384aeaad0a074ae3fb0b git: https://github.com/runtimeverification/haskell-backend.git subdir: kore-rpc-types snapshots: From dd604b0f688680798bf6c800e638a1b6fd6acd9f Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 20 Dec 2023 09:39:11 +0000 Subject: [PATCH 5/6] deps/haskell-backend_release: Set Version ca05f14b7957fec9f2a5ab3444cae01c5a76f12f --- 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 6327ff3a1..47266a91c 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -0f4666519bf78cf03383384aeaad0a074ae3fb0b +ca05f14b7957fec9f2a5ab3444cae01c5a76f12f From bb2fd70e22ad43d21bccb241409fa809b9b02239 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 20 Dec 2023 09:43:51 +0000 Subject: [PATCH 6/6] update haskell-backend to version ca05f14b7957fec9f2a5ab3444cae01c5a76f12f --- cabal.project | 2 +- flake.lock | 8 ++++---- flake.nix | 2 +- stack.yaml | 2 +- stack.yaml.lock | 12 ++++++------ 5 files changed, 13 insertions(+), 13 deletions(-) diff --git a/cabal.project b/cabal.project index 040d6f8d5..97b6372ea 100644 --- a/cabal.project +++ b/cabal.project @@ -20,6 +20,6 @@ source-repository-package source-repository-package type: git location: https://github.com/runtimeverification/haskell-backend.git - tag: 0f4666519bf78cf03383384aeaad0a074ae3fb0b + tag: ca05f14b7957fec9f2a5ab3444cae01c5a76f12f --sha256: subdir: kore kore-rpc-types diff --git a/flake.lock b/flake.lock index 4dd56a27d..8045ec576 100644 --- a/flake.lock +++ b/flake.lock @@ -7,17 +7,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1702594961, - "narHash": "sha256-2GgSIV/q3ac7p56UVyL4+PZTnc72RBRU7apGppaYd6Y=", + "lastModified": 1703063258, + "narHash": "sha256-wL5kFsbs6RS+bsrf+SDq85DDKce/sZZ7VQDtJZA5JS0=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "0f4666519bf78cf03383384aeaad0a074ae3fb0b", + "rev": "ca05f14b7957fec9f2a5ab3444cae01c5a76f12f", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "0f4666519bf78cf03383384aeaad0a074ae3fb0b", + "rev": "ca05f14b7957fec9f2a5ab3444cae01c5a76f12f", "type": "github" } }, diff --git a/flake.nix b/flake.nix index 1a91abf1c..3c2b2173f 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "hs-backend-booster"; inputs = { - haskell-backend.url = "github:runtimeverification/haskell-backend/0f4666519bf78cf03383384aeaad0a074ae3fb0b"; + haskell-backend.url = "github:runtimeverification/haskell-backend/ca05f14b7957fec9f2a5ab3444cae01c5a76f12f"; stacklock2nix.follows = "haskell-backend/stacklock2nix"; nixpkgs.follows = "haskell-backend/nixpkgs"; }; diff --git a/stack.yaml b/stack.yaml index 79d9e1181..6cd9b96c5 100644 --- a/stack.yaml +++ b/stack.yaml @@ -14,7 +14,7 @@ extra-deps: - typerep-map-0.5.0.0 - monad-validate-1.2.0.1 - git: https://github.com/runtimeverification/haskell-backend.git - commit: 0f4666519bf78cf03383384aeaad0a074ae3fb0b + commit: ca05f14b7957fec9f2a5ab3444cae01c5a76f12f subdirs: - kore - kore-rpc-types diff --git a/stack.yaml.lock b/stack.yaml.lock index 5364c6870..7ac6d37fc 100644 --- a/stack.yaml.lock +++ b/stack.yaml.lock @@ -54,29 +54,29 @@ packages: original: hackage: monad-validate-1.2.0.1 - completed: - commit: 0f4666519bf78cf03383384aeaad0a074ae3fb0b + commit: ca05f14b7957fec9f2a5ab3444cae01c5a76f12f git: https://github.com/runtimeverification/haskell-backend.git name: kore pantry-tree: - sha256: a6da6d018dd493236d325c066760a5d34f0a03f3abe2a0f6f5930dc30e37308d + sha256: 5e55ca5d13d80053b2c4ef46ea0590dc799b9a50283406b3cadf63dd3e52a736 size: 44685 subdir: kore version: 0.60.0.0 original: - commit: 0f4666519bf78cf03383384aeaad0a074ae3fb0b + commit: ca05f14b7957fec9f2a5ab3444cae01c5a76f12f git: https://github.com/runtimeverification/haskell-backend.git subdir: kore - completed: - commit: 0f4666519bf78cf03383384aeaad0a074ae3fb0b + commit: ca05f14b7957fec9f2a5ab3444cae01c5a76f12f git: https://github.com/runtimeverification/haskell-backend.git name: kore-rpc-types pantry-tree: - sha256: 32f98d72dff53f7a4f700923534774138982650754281b370f57c219029d1f73 + sha256: c9493d99798fa850782738ab91801b66b79b64a7f931b94d21d14a7144141516 size: 476 subdir: kore-rpc-types version: 0.60.0.0 original: - commit: 0f4666519bf78cf03383384aeaad0a074ae3fb0b + commit: ca05f14b7957fec9f2a5ab3444cae01c5a76f12f git: https://github.com/runtimeverification/haskell-backend.git subdir: kore-rpc-types snapshots: