From 6dcb5de85fa53575d09f63a2f0b6a1c5653699f0 Mon Sep 17 00:00:00 2001 From: Georgy Lukyanov Date: Fri, 19 Jan 2024 09:20:22 +0100 Subject: [PATCH] flake.nix, flake.lock: update --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 599ae9677a8..8d171206553 100644 --- a/flake.lock +++ b/flake.lock @@ -15,17 +15,17 @@ ] }, "locked": { - "lastModified": 1705579356, - "narHash": "sha256-Meuax3sFj6MaKZxcikv9ocL67L53eR9/R9L2e6VspXA=", + "lastModified": 1705592565, + "narHash": "sha256-sMkaNrEtiV0MdSxLnvIKJtsT/EfjDMY32/QiOEchMfE=", "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "60beeb07af3f89e65d116c45559fc34dbc55afb3", + "rev": "d153e54d3832f7ce025d26e28d4d7c4e81cacd10", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "hs-backend-booster", - "rev": "60beeb07af3f89e65d116c45559fc34dbc55afb3", + "rev": "d153e54d3832f7ce025d26e28d4d7c4e81cacd10", "type": "github" } },