flake.nix, haskell-backend/src/main/native/haskell-backend: update to…

… version 03a6228f78d7f4805fee4b9d9c45208dcbe0c9fb
runtimeverification · Oct 19, 2023 · 226a173 · 226a173
1 parent d5c49df
commit 226a173
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/flake.nix b/flake.nix
@@ -2,7 +2,7 @@
   description = "K Framework";
   inputs = {
     nixpkgs.url = "nixpkgs/nixos-23.05";
-    haskell-backend.url = "github:runtimeverification/haskell-backend/c209383c259aee0ca8b0859a4160d5c5757721b6";
+    haskell-backend.url = "github:runtimeverification/haskell-backend/03a6228f78d7f4805fee4b9d9c45208dcbe0c9fb";
     booster-backend = {
       url = "github:runtimeverification/hs-backend-booster/0cc3ef5ccde0535828065e8acdf976149ed36e42";
       # NB booster-backend will bring in another dependency on haskell-backend,

diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
+39 −17		.github/workflows/release.yml
+19 −80		.github/workflows/test.yml
+18 −505		flake.lock
+139 −203		flake.nix
+1 −9		kore/app/share/GlobalMain.hs
+0 −1		kore/kore.cabal