Hotfix adjust sed expression for flake update hs backend (#4539)

The upgrade mechanism for HS backend in `k` was broken by some changes
to the nix flake which modified the syntax for the `haskell-backend`
dependency in `flake.nix`.
This PR fixes the update script and updates HS backend to the latest
version.

* [update-deps.yml] adjusts the `sed` expression
* (by manually running the shell script from the above:)
  - update HS backend to version 0.1.46
  - update `flake.lock` to reflect this update

.github/workflows/update-deps.yml

@@ -50,7 +50,7 @@ jobs:
           cd haskell-backend/src/main/native/haskell-backend
           git checkout "${hs_backend_version}"
           cd -
-          sed -i 's!    haskell-backend.url = "github:runtimeverification/haskell-backend/.*";!    haskell-backend.url = "github:runtimeverification/haskell-backend/'"${hs_backend_version}"'";!' flake.nix
+          sed -i 's!      url = "github:runtimeverification/haskell-backend/.*";!      url = "github:runtimeverification/haskell-backend/'"${hs_backend_version}"'";!' flake.nix
           if git add flake.nix haskell-backend/src/main/native/haskell-backend && git commit -m "flake.nix, haskell-backend/src/main/native/haskell-backend: update to version ${hs_backend_version}"; then
             changed=true
           fi

flake.nix

@@ -3,7 +3,7 @@
   inputs = {
     llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.59";
     haskell-backend = {
-      url = "github:runtimeverification/haskell-backend/v0.1.32";
+      url = "github:runtimeverification/haskell-backend/v0.1.46";
       inputs.rv-utils.follows = "llvm-backend/rv-utils";
       inputs.nixpkgs.follows = "llvm-backend/nixpkgs";
     };