diff --git a/flake.lock b/flake.lock index 4051802a0a8..c374cf23c70 100644 --- a/flake.lock +++ b/flake.lock @@ -112,16 +112,16 @@ "utils": "utils" }, "locked": { - "lastModified": 1721723305, - "narHash": "sha256-o2fmSDY7quhyUPieiMotHVAeIdfbh0IPTD+YSzb1EjM=", + "lastModified": 1721760167, + "narHash": "sha256-WLW4i4vsdAMVjUZBXH2y0tsIlpKV8hH/ejk7HQq5anI=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "a77c3ece39529bf3e5364719154ac60b80d17db6", + "rev": "9b505eafb2b47848f3b7ca16dc88f011651f5e2c", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.61", + "ref": "v0.1.62", "repo": "llvm-backend", "type": "github" }