From 01ab6d2e0d86733aa7337c6471bb648b03e21f5e Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Thu, 1 Feb 2024 13:10:03 -0600 Subject: Update Ann --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 0eeaf6f..2517c1e 100644 --- a/flake.lock +++ b/flake.lock @@ -11,11 +11,11 @@ "opam-nix": "opam-nix" }, "locked": { - "lastModified": 1706631829, - "narHash": "sha256-Din1iWkdkmHBS4RJ5pPGBdgysF6LqocKuhTQeVKkUnI=", + "lastModified": 1706802968, + "narHash": "sha256-xnAlFjf/kRNGrWgXmT0dRBsy/J9VSyS11MArdt1HHco=", "ref": "refs/heads/main", - "rev": "1c85e4379f9b94e613ea0ed6a02f8234fb95b018", - "revCount": 71, + "rev": "3ada122ef1cede5e83eac82ec7692ee37599c3ab", + "revCount": 82, "type": "git", "url": "https://git.sr.ht/~marcc/ann_bloop" }, -- cgit v1.2.3