Update dependency: deps/haskell-backend_release (#4840)

* Bugfix for matching unevaluated function calls in the subject under
injections (should abort the rewrite but claimed the match to have
failed)
* Improvement of evaluation: using equations from the path condition to
(syntactically) replace expressions by domain values
* Refactoring of the indexing mechanism, now indexing more kinds of
terms and fixing a soundness issue related to unevaluated functions in
indexed cells

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Julian Kuners <julian.kuners@gmail.com>

Author: 3 people

.github/workflows/update-deps.yml

@@ -30,9 +30,9 @@ jobs:
           git config --global user.email devops@runtimeverification.com
 
       - name: 'Install Nix'
-        uses: cachix/install-nix-action@v22
+        uses: cachix/install-nix-action@v31.5.1
         with:
-          install_url: https://releases.nixos.org/nix/nix-2.13.3/install
+          install_url: https://releases.nixos.org/nix/nix-2.30.1/install
           extra_nix_config: |
             access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
             substituters = http://cache.nixos.org https://hydra.iohk.io

deps/haskell-backend_release

@@ -1 +1 @@
-v0.1.132
+v0.1.135

flake.lock

@@ -8,7 +8,7 @@
     llvm-backend.inputs.nixpkgs.follows = "nixpkgs";
 
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.132";
+      url = "github:runtimeverification/haskell-backend/v0.1.135";
       inputs.rv-nix-tools.follows = "rv-nix-tools";
       inputs.nixpkgs.follows = "nixpkgs";
     };