deps/hs-backend-booster_release: Set Version 0096f93ea057a7f9af1bf26f…

…6b013898ba76769c
runtimeverification · Jan 29, 2024 · 01b0d2d · 01b0d2d
1 parent 47e5d07
commit 01b0d2d
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 @@
-f4cc133f15e14ebc0ee2512361860a7b1c954522
+0096f93ea057a7f9af1bf26f6b013898ba76769c