flake.nix, hs-backend-booster/src/main/native/hs-backend-booster: upd…

…ate to version ef85779096ea79cb4e2bcf57ad0c1dd8f4b74fe1
runtimeverification · Oct 9, 2023 · bab8277 · bab8277
1 parent 548bd39
commit bab8277
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/flake.nix b/flake.nix
@@ -4,7 +4,7 @@
     nixpkgs.url = "nixpkgs/nixos-23.05";
     haskell-backend.url = "github:runtimeverification/haskell-backend/c2b8559a11c4d22c6ddc02ac7620b7a5ece65931";
     booster-backend = {
-      url = "github:runtimeverification/hs-backend-booster/cb313711f98dcf100b315138502e6bdffbb58369";
+      url = "github:runtimeverification/hs-backend-booster/ef85779096ea79cb4e2bcf57ad0c1dd8f4b74fe1";
       # NB booster-backend will bring in another dependency on haskell-backend,
       # but the two are not necessarily the same (different more often than not).
       # We get two transitive dependencies on haskell-nix.

diff --git a/hs-backend-booster/src/main/native/hs-backend-booster b/hs-backend-booster/src/main/native/hs-backend-booster
+2 −2		cabal.project
+1 −1		deps/haskell-backend_release
+4 −4		flake.lock
+1 −1		flake.nix
+1 −1		stack.yaml
+4 −4		stack.yaml.lock