diff --git a/flake.lock b/flake.lock index 7a4cfd8c5f..ad9871ca95 100644 --- a/flake.lock +++ b/flake.lock @@ -112,16 +112,16 @@ "utils": "utils" }, "locked": { - "lastModified": 1733948067, - "narHash": "sha256-i/tJTjN/Hr28jTDUn0AVx20gqGz6tfoOQfhMH94jcjY=", + "lastModified": 1734035326, + "narHash": "sha256-j+9xgBXbrx3Wlj48a+/MlTL8uezfJF//67j2oeJjafA=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "3b3c19d752797e34fe4a8199bbe76d84f2cf8c41", + "rev": "914d55e90f1283e7ff2ece2d700ba0b95b69f29e", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.114", + "ref": "v0.1.115", "repo": "llvm-backend", "type": "github" }