diff --git a/flake.lock b/flake.lock index ac04375a0b..5466b6625e 100644 --- a/flake.lock +++ b/flake.lock @@ -65,16 +65,16 @@ "z3": "z3" }, "locked": { - "lastModified": 1731544264, - "narHash": "sha256-xNOWDCpJnapf8DgvzKHSe+xA8P/RuwBBrQKzVbY7phc=", + "lastModified": 1731858864, + "narHash": "sha256-P5lwiVFy3qVKe08TYOLc+nBss3AsM+nBIspw5nP1frY=", "owner": "runtimeverification", "repo": "haskell-backend", - "rev": "5a2777d8c6681ef10f5e05aa52103d63e23e451a", + "rev": "820cd05c084ba7f297e74a960f98e99ea2b2fba4", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.98", + "ref": "v0.1.99", "repo": "haskell-backend", "type": "github" }