diff --git a/flake.lock b/flake.lock
index 5466b6625e..b5d647bda1 100644
--- a/flake.lock
+++ b/flake.lock
@@ -65,16 +65,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1731858864,
-        "narHash": "sha256-P5lwiVFy3qVKe08TYOLc+nBss3AsM+nBIspw5nP1frY=",
+        "lastModified": 1732486629,
+        "narHash": "sha256-4q/yS8eblt/6xp9qVeJkxGEZ6yNGv9jv+w4pRmETSgU=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "820cd05c084ba7f297e74a960f98e99ea2b2fba4",
+        "rev": "dd733900eafe1b22b26f5d017b92788cf681d5c7",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.99",
+        "ref": "v0.1.100",
         "repo": "haskell-backend",
         "type": "github"
       }