diff --git a/flake.lock b/flake.lock index 4e61a7d413..d462efff1a 100644 --- a/flake.lock +++ b/flake.lock @@ -112,16 +112,16 @@ "utils": "utils" }, "locked": { - "lastModified": 1727813652, - "narHash": "sha256-x29OdXQARnaith+dz88R3O056tlJcC4VqFbFzlbqLEc=", + "lastModified": 1728677554, + "narHash": "sha256-9+xXyy2Pbw04RBOTgYcNv/ilNcUMwH3E12WtNNL0Ey0=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "812ea2ad00c91b7b5d144bd2624c7293802db45f", + "rev": "3db6947cb1c97a97bdcaf2ee990dbd18b7f251e7", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.98", + "ref": "v0.1.99", "repo": "llvm-backend", "type": "github" }