From 2aa0b2d17442a1f8dee3ebb9166de10b3d61dea0 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 25 Mar 2024 13:58:18 +0000 Subject: [PATCH] update haskell-backend to version 8f97e95b77fe590a9fe5a9b0212f32fcad0be35b --- 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 af08e1f2..f313d31f 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: c62d2a871ea2bbc406a0e452a88a90e9f08910ac + tag: 8f97e95b77fe590a9fe5a9b0212f32fcad0be35b subdir: kore kore-rpc-types source-repository-package diff --git a/flake.lock b/flake.lock index 060b1ab2..51f3b408 100644 --- a/flake.lock +++ b/flake.lock @@ -13,17 +13,17 @@ "z3": "z3" }, "locked": { - "lastModified": 1711331811, - "narHash": "sha256-+2+ne9UhlguWiNbZ1BoYSHr9e9sG8s1GG6W8r1CQhHE=", + "lastModified": 1711373718, + "narHash": "sha256-VxC/knKFORjJVmSILng6jX35GfTNkZnfrVlGL8P1C3o=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "c62d2a871ea2bbc406a0e452a88a90e9f08910ac", + "rev": "8f97e95b77fe590a9fe5a9b0212f32fcad0be35b", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "c62d2a871ea2bbc406a0e452a88a90e9f08910ac", + "rev": "8f97e95b77fe590a9fe5a9b0212f32fcad0be35b", "type": "github" } }, diff --git a/flake.nix b/flake.nix index c1806f99..6a3f312b 100644 --- a/flake.nix +++ b/flake.nix @@ -2,7 +2,7 @@ description = "hs-backend-booster"; inputs = { - haskell-backend.url = "github:runtimeverification/haskell-backend/c62d2a871ea2bbc406a0e452a88a90e9f08910ac"; + haskell-backend.url = "github:runtimeverification/haskell-backend/8f97e95b77fe590a9fe5a9b0212f32fcad0be35b"; stacklock2nix.follows = "haskell-backend/stacklock2nix"; nixpkgs.follows = "haskell-backend/nixpkgs"; }; diff --git a/stack.yaml b/stack.yaml index f4b679e3..513c2918 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: c62d2a871ea2bbc406a0e452a88a90e9f08910ac + commit: 8f97e95b77fe590a9fe5a9b0212f32fcad0be35b subdirs: - kore - kore-rpc-types diff --git a/stack.yaml.lock b/stack.yaml.lock index 3faed519..bb419aa9 100644 --- a/stack.yaml.lock +++ b/stack.yaml.lock @@ -40,29 +40,29 @@ packages: original: hackage: monad-validate-1.3.0.0 - completed: - commit: c62d2a871ea2bbc406a0e452a88a90e9f08910ac + commit: 8f97e95b77fe590a9fe5a9b0212f32fcad0be35b git: https://github.com/runtimeverification/haskell-backend.git name: kore pantry-tree: - sha256: b94a2cb5757938afa8be88a4bc97e5bf6a014848e8f607bd82b6aae0e8944f83 + sha256: a7a48f4ac7cfc7c20acdf6bf477b31483f5850ebc799e3100e82bcaf0d878b1f size: 44685 subdir: kore version: 0.60.0.0 original: - commit: c62d2a871ea2bbc406a0e452a88a90e9f08910ac + commit: 8f97e95b77fe590a9fe5a9b0212f32fcad0be35b git: https://github.com/runtimeverification/haskell-backend.git subdir: kore - completed: - commit: c62d2a871ea2bbc406a0e452a88a90e9f08910ac + commit: 8f97e95b77fe590a9fe5a9b0212f32fcad0be35b git: https://github.com/runtimeverification/haskell-backend.git name: kore-rpc-types pantry-tree: - sha256: b8652673ea6a0323f7fdd9d487c120a899ce07c12524ba72d982953705e3cee3 + sha256: c08829b9bd9b68d767f4a6833f0ab56d0e8841ac28571b5cec21ae85f0fc37f4 size: 476 subdir: kore-rpc-types version: 0.60.0.0 original: - commit: c62d2a871ea2bbc406a0e452a88a90e9f08910ac + commit: 8f97e95b77fe590a9fe5a9b0212f32fcad0be35b git: https://github.com/runtimeverification/haskell-backend.git subdir: kore-rpc-types - completed: