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

…ate to version 26b5d2df37c6fcc210d80ff57d1c3572a41f90b5
runtimeverification · Oct 19, 2023 · 917119d · 917119d
1 parent 226a173
commit 917119d
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/03a6228f78d7f4805fee4b9d9c45208dcbe0c9fb";
     booster-backend = {
-      url = "github:runtimeverification/hs-backend-booster/0cc3ef5ccde0535828065e8acdf976149ed36e42";
+      url = "github:runtimeverification/hs-backend-booster/26b5d2df37c6fcc210d80ff57d1c3572a41f90b5";
       # 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
+15 −98		.github/workflows/test.yml
+2 −2		cabal.project
+1 −68		cabal.project.freeze
+1 −1		deps/haskell-backend_release
+26 −534		flake.lock
+100 −214		flake.nix
+37 −0		scripts/integration-tests.sh
+1 −1		stack.yaml
+5 −5		stack.yaml.lock
+1 −1		test/rpc-integration/test-logTiming/test.sh