From 6274d59b2011e319c40f8c56052025b866b09051 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Thu, 25 Jan 2024 14:33:37 -0600 Subject: Update Ann --- flake.lock | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/flake.lock b/flake.lock index 7d33814..11ce69a 100644 --- a/flake.lock +++ b/flake.lock @@ -11,11 +11,11 @@ "opam-nix": "opam-nix" }, "locked": { - "lastModified": 1706146151, - "narHash": "sha256-4t/WvcnIAQG6s1ybD+TXfDc9J0Av8IEOYlwGw9P4xZ4=", + "lastModified": 1706214642, + "narHash": "sha256-PUe+Jb7ui2cBf85w9g7gLETgcHz0aGXfroyYsd2FCDE=", "ref": "refs/heads/main", - "rev": "e057e39ccf1f0b73b5bb94f685db85e0c1f6f2b4", - "revCount": 56, + "rev": "51bba72adde5248b16a7d68377cd5a61a45a39a3", + "revCount": 57, "type": "git", "url": "https://git.sr.ht/~marcc/ann_bloop" }, -- cgit v1.2.3