From 631826b71f9202d6dbb21d7bedd40a1ff29e2f9d Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Tue, 23 Jan 2024 16:56:20 -0600 Subject: Update Ann --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index f7a2ea8..7b703f5 100644 --- a/flake.lock +++ b/flake.lock @@ -11,11 +11,11 @@ "opam-nix": "opam-nix" }, "locked": { - "lastModified": 1705771845, - "narHash": "sha256-tGYRGhQqFspEcC444fCCimfSGx3dNHWdLRAyOg+jb58=", + "lastModified": 1706050487, + "narHash": "sha256-3GjUjjBftqDTOIRyg/J25m1QYbcZdmnpPMRFU15qP7w=", "ref": "refs/heads/main", - "rev": "93272882f709fc15f5f893f856895f80f10f4378", - "revCount": 45, + "rev": "87e5a85763c09e7f09049345e8770f552e11c10a", + "revCount": 49, "type": "git", "url": "https://git.sr.ht/~marcc/ann_bloop" }, -- cgit v1.2.3