From 1653f522357cca161843a4ee812f4c1b2a524884 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 27 Mar 2024 01:42:08 -0600 Subject: [PATCH] Update dependency: deps/haskell-backend_release (#562) Co-authored-by: devops --- cabal.project | 2 +- deps/haskell-backend_release | 2 +- flake.lock | 8 ++++---- flake.nix | 2 +- stack.yaml | 2 +- stack.yaml.lock | 10 +++++----- 6 files changed, 13 insertions(+), 13 deletions(-) diff --git a/cabal.project b/cabal.project index f313d31f..be0317a9 100644 --- a/cabal.project +++ b/cabal.project @@ -5,7 +5,7 @@ packages: source-repository-package type: git location: https://github.com/runtimeverification/haskell-backend.git - tag: 8f97e95b77fe590a9fe5a9b0212f32fcad0be35b + tag: e7ba3c7e5626d3b2dd61318e91704fd6bf47228e subdir: kore kore-rpc-types source-repository-package diff --git a/deps/haskell-backend_release b/deps/haskell-backend_release index 722e1dfc..2020d28d 100644 --- a/deps/haskell-backend_release +++ b/deps/haskell-backend_release @@ -1 +1 @@ -8f97e95b77fe590a9fe5a9b0212f32fcad0be35b +e7ba3c7e5626d3b2dd61318e91704fd6bf47228e diff --git a/flake.lock b/flake.lock index 51f3b408..d8ef5058 100644 --- a/flake.lock +++ b/flake.lock @@ -13,17 +13,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1711373718, - "narHash": "sha256-VxC/knKFORjJVmSILng6jX35GfTNkZnfrVlGL8P1C3o=", + "lastModified": 1711486984, + "narHash": "sha256-h1c/d59u+xZju8snq8CiriYoEymZBJjdaEZE+rREXGk=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "8f97e95b77fe590a9fe5a9b0212f32fcad0be35b", + "rev": "e7ba3c7e5626d3b2dd61318e91704fd6bf47228e", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "8f97e95b77fe590a9fe5a9b0212f32fcad0be35b", + "rev": "e7ba3c7e5626d3b2dd61318e91704fd6bf47228e", "type": "github" } }, diff --git a/flake.nix b/flake.nix index 6a3f312b..829d85a3 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "hs-backend-booster"; inputs = { - haskell-backend.url = "github:runtimeverification/haskell-backend/8f97e95b77fe590a9fe5a9b0212f32fcad0be35b"; + haskell-backend.url = "github:runtimeverification/haskell-backend/e7ba3c7e5626d3b2dd61318e91704fd6bf47228e"; stacklock2nix.follows = "haskell-backend/stacklock2nix"; nixpkgs.follows = "haskell-backend/nixpkgs"; }; diff --git a/stack.yaml b/stack.yaml index 513c2918..424ccd84 100644 --- a/stack.yaml +++ b/stack.yaml @@ -12,7 +12,7 @@ extra-deps: - smtlib-backends-process-0.3 - monad-validate-1.3.0.0 - git: https://github.com/runtimeverification/haskell-backend.git - commit: 8f97e95b77fe590a9fe5a9b0212f32fcad0be35b + commit: e7ba3c7e5626d3b2dd61318e91704fd6bf47228e subdirs: - kore - kore-rpc-types diff --git a/stack.yaml.lock b/stack.yaml.lock index bb419aa9..a62c8ca1 100644 --- a/stack.yaml.lock +++ b/stack.yaml.lock @@ -40,20 +40,20 @@ packages: original: hackage: monad-validate-1.3.0.0 - completed: - commit: 8f97e95b77fe590a9fe5a9b0212f32fcad0be35b + commit: e7ba3c7e5626d3b2dd61318e91704fd6bf47228e git: https://github.com/runtimeverification/haskell-backend.git name: kore pantry-tree: - sha256: a7a48f4ac7cfc7c20acdf6bf477b31483f5850ebc799e3100e82bcaf0d878b1f + sha256: 3622275a4699b19b8e69fddecda6e0d20ab95e646557759369b34b95e96451a6 size: 44685 subdir: kore version: 0.60.0.0 original: - commit: 8f97e95b77fe590a9fe5a9b0212f32fcad0be35b + commit: e7ba3c7e5626d3b2dd61318e91704fd6bf47228e git: https://github.com/runtimeverification/haskell-backend.git subdir: kore - completed: - commit: 8f97e95b77fe590a9fe5a9b0212f32fcad0be35b + commit: e7ba3c7e5626d3b2dd61318e91704fd6bf47228e git: https://github.com/runtimeverification/haskell-backend.git name: kore-rpc-types pantry-tree: @@ -62,7 +62,7 @@ packages: subdir: kore-rpc-types version: 0.60.0.0 original: - commit: 8f97e95b77fe590a9fe5a9b0212f32fcad0be35b + commit: e7ba3c7e5626d3b2dd61318e91704fd6bf47228e git: https://github.com/runtimeverification/haskell-backend.git subdir: kore-rpc-types - completed: