Update dependency: deps/hs-backend-booster_release (#3739)

Co-authored-by: devops <[email protected]>
runtimeverification · Oct 24, 2023 · 45d3584 · 45d3584
1 parent fcc48a4
commit 45d3584
Show file tree

Hide file tree

Showing 4 changed files with 10 additions and 10 deletions.
diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release
@@ -1 +1 @@
-26b5d2df37c6fcc210d80ff57d1c3572a41f90b5
+66439eba81e7311698cb3647b22bb840529ac524
diff --git a/flake.lock b/flake.lock
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/26b5d2df37c6fcc210d80ff57d1c3572a41f90b5";
+      url = "github:runtimeverification/hs-backend-booster/66439eba81e7311698cb3647b22bb840529ac524";
       # 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
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		26b5d2df37c6fcc210d80ff57d1c3572a41f90b5
		66439eba81e7311698cb3647b22bb840529ac524
+2 −1		test/rpc-integration/generateDirectoryTest.sh
+2 −1		test/rpc-integration/resources/foundry-bug-report.kompile
+2 −1		test/rpc-integration/resources/foundry-bug-report.tar.gz.kompile