From 245790b2dbfed8188877b48b445d59b3672d30be Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 14 Nov 2024 00:53:41 +0000 Subject: [PATCH] flake.nix, haskell-backend/src/main/native/haskell-backend: update to version v0.1.98 --- flake.nix | 2 +- haskell-backend/src/main/native/haskell-backend | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/flake.nix b/flake.nix index c6e3061e74..a5ae1feef0 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { llvm-backend.url = "github:runtimeverification/llvm-backend/v0.1.103"; haskell-backend = { - url = "github:runtimeverification/haskell-backend/v0.1.97"; + url = "github:runtimeverification/haskell-backend/v0.1.98"; inputs.rv-utils.follows = "llvm-backend/rv-utils"; inputs.nixpkgs.follows = "llvm-backend/nixpkgs"; }; diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend index 44778e5b34..5a2777d8c6 160000 --- a/haskell-backend/src/main/native/haskell-backend +++ b/haskell-backend/src/main/native/haskell-backend @@ -1 +1 @@ -Subproject commit 44778e5b349e85f0fd1c40c13691d744e2ddad11 +Subproject commit 5a2777d8c6681ef10f5e05aa52103d63e23e451a