diff --git a/flake.lock b/flake.lock index 22f4c07a79..2069ec7a76 100644 --- a/flake.lock +++ b/flake.lock @@ -65,16 +65,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1729679874, - "narHash": "sha256-+HNfnDTdH08YEHgTYIB0CF1YWrJMbiH9vyQUKnOyhsA=", + "lastModified": 1729724138, + "narHash": "sha256-Ap/bmEjRJRisYYExZ9mBhskaKQlJ0OnEorQjELCJfKQ=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "d933d5ccb4cee63b83b8a990a03d3f4267139e41", + "rev": "4615f33176bc147ef3f8272e71ce4dc866de65bb", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.92", + "ref": "v0.1.93", "repo": "haskell-backend", "type": "github" }