deps/hs-backend-booster_release: Set Version 15a3ef263550d3e9e9c58172…

…de64ed3a06242259
runtimeverification · Nov 8, 2023 · 7019569 · 7019569
1 parent d13a225
commit 7019569
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release
@@ -1 +1 @@
-15a9fc41edcf6b22730f37e77a3e29acb2ae3601
+15a3ef263550d3e9e9c58172de64ed3a06242259