Update dependency: deps/haskell-backend_release#4572

Merged

rv-jenkins merged 32 commits intodevelopfrom _update-deps/runtimeverification/haskell-backend

Aug 14, 2024

+11-11

Commits on Aug 5, 2024

deps/haskell-backend_release: Set Version v0.1.59
devops
committed
flake.nix, haskell-backend/src/main/native/haskell-backend: update to version v0.1.59
rv-jenkins
committed
flake.lock: update
rv-jenkins
committed

Commits on Aug 6, 2024

Merge remote-tracking branch 'origin/develop' into _update-deps/runtimeverification/haskell-backend
devops
committed
deps/haskell-backend_release: Set Version v0.1.60
devops
committed
flake.nix, haskell-backend/src/main/native/haskell-backend: update to version v0.1.60
rv-jenkins
committed
flake.lock: update
rv-jenkins
committed

Commits on Aug 7, 2024

Commits on Aug 8, 2024

Merge remote-tracking branch 'origin/develop' into _update-deps/runtimeverification/haskell-backend
devops
committed
deps/haskell-backend_release: Set Version v0.1.63
devops
committed
flake.nix, haskell-backend/src/main/native/haskell-backend: update to version v0.1.63
rv-jenkins
committed
flake.lock: update
rv-jenkins
committed

Commits on Aug 11, 2024

Merge branch 'develop' into _update-deps/runtimeverification/haskell-backend
jberthold
authored

Commits on Aug 12, 2024

deps/haskell-backend_release: Set Version v0.1.64
devops
committed
flake.nix, haskell-backend/src/main/native/haskell-backend: update to version v0.1.64
rv-jenkins
committed
flake.lock: update
rv-jenkins
committed
deps/haskell-backend_release: Set Version v0.1.65
devops
committed
flake.nix, haskell-backend/src/main/native/haskell-backend: update to version v0.1.65
rv-jenkins
committed
flake.lock: update
rv-jenkins
committed

Commits on Aug 14, 2024