From a73455538d5b4c398b4cd1ddca4f7fb46476c0ca Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 31 Oct 2023 13:08:45 +0000 Subject: [PATCH] flake.nix, flake.lock: update --- flake.lock | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/flake.lock b/flake.lock index f0be4f4fdfb..598d8f1df18 100644 --- a/flake.lock +++ b/flake.lock @@ -136,11 +136,11 @@ ] }, "locked": { - "lastModified": 1697808331, - "narHash": "sha256-3jDWLywHyoOT2VdyITBl9yzHMw9GX6fRUXqDofjbFKE=", + "lastModified": 1698757479, + "narHash": "sha256-gE4AEKCcckGeJ9hgHeuHunFRweBwXI/dxTkTnjOr0tI=", "owner": "runtimeverification", "repo": "llvm-backend", - "rev": "480b54218da5f82876f25c70cb96c441f1a8eecd", + "rev": "44a675f1c1d4b53d6f174d67fe9776ddb4c89419", "type": "github" }, "original": {