From 4d0b7f411720aea81b60473c944afe35ad3d6caa Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Wed, 6 Mar 2024 13:33:03 -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 87e5fa3..8179dfd 100644 --- a/flake.lock +++ b/flake.lock @@ -11,11 +11,11 @@ "opam-nix": "opam-nix" }, "locked": { - "lastModified": 1708997018, - "narHash": "sha256-G5I1ccUTFUZ8KiyTNAXZWVbDI+FU5YfwCDL7TRZX/YU=", + "lastModified": 1709673440, + "narHash": "sha256-JjC2VD5PS5mcd+lnHfay2EE2l0pPl6gPz/ZC8tIVVN4=", "ref": "refs/heads/main", - "rev": "c1d129bef922f43e544f2723672902271edc3bea", - "revCount": 119, + "rev": "d3880bd0e52ef7e0d5933b026b35ade46bc4ed59", + "revCount": 145, "type": "git", "url": "https://git.sr.ht/~marcc/ann_bloop" }, -- cgit v1.2.3