From b60bcff04c05ca2e481b1ff0801458f018b37885 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Wed, 6 Mar 2024 14:14:46 -0600 Subject: Bump ann --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'flake.lock') diff --git a/flake.lock b/flake.lock index 8179dfd..0670037 100644 --- a/flake.lock +++ b/flake.lock @@ -11,11 +11,11 @@ "opam-nix": "opam-nix" }, "locked": { - "lastModified": 1709673440, - "narHash": "sha256-JjC2VD5PS5mcd+lnHfay2EE2l0pPl6gPz/ZC8tIVVN4=", + "lastModified": 1709756036, + "narHash": "sha256-bDyb23GGx2B+yt4yxUlSyYQVC0s0coDYnGMyDUi/+Rw=", "ref": "refs/heads/main", - "rev": "d3880bd0e52ef7e0d5933b026b35ade46bc4ed59", - "revCount": 145, + "rev": "4fb03d0ad2a6767429a2a331bca7d8c44d209031", + "revCount": 146, "type": "git", "url": "https://git.sr.ht/~marcc/ann_bloop" }, -- cgit v1.2.3