From bbcbab88e42dbfeae8191bd6af77c7ad5fe46f3d Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Tue, 30 Jan 2024 10:24:49 -0600 Subject: Update Ann --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 68d9e07..0eeaf6f 100644 --- a/flake.lock +++ b/flake.lock @@ -11,11 +11,11 @@ "opam-nix": "opam-nix" }, "locked": { - "lastModified": 1706559559, - "narHash": "sha256-Al+kEV17JR/1AMJT0c7LEgDEzAIPOrGI2iUNZNqmnTE=", + "lastModified": 1706631829, + "narHash": "sha256-Din1iWkdkmHBS4RJ5pPGBdgysF6LqocKuhTQeVKkUnI=", "ref": "refs/heads/main", - "rev": "e1ff75b25c2ebcb0fcb132f584c59be506cc71ff", - "revCount": 68, + "rev": "1c85e4379f9b94e613ea0ed6a02f8234fb95b018", + "revCount": 71, "type": "git", "url": "https://git.sr.ht/~marcc/ann_bloop" }, -- cgit v1.2.3