From 75670d47fb8953e74e2b73a39ed80ba2279d732c Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Tue, 27 Feb 2024 12:34:41 -0600 Subject: Update ann --- flake.lock | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'flake.lock') diff --git a/flake.lock b/flake.lock index 2517c1e..1241ba2 100644 --- a/flake.lock +++ b/flake.lock @@ -11,17 +11,17 @@ "opam-nix": "opam-nix" }, "locked": { - "lastModified": 1706802968, - "narHash": "sha256-xnAlFjf/kRNGrWgXmT0dRBsy/J9VSyS11MArdt1HHco=", + "lastModified": 1708997018, + "narHash": "sha256-G5I1ccUTFUZ8KiyTNAXZWVbDI+FU5YfwCDL7TRZX/YU=", "ref": "refs/heads/main", - "rev": "3ada122ef1cede5e83eac82ec7692ee37599c3ab", - "revCount": 82, + "rev": "c1d129bef922f43e544f2723672902271edc3bea", + "revCount": 119, "type": "git", - "url": "https://git.sr.ht/~marcc/ann_bloop" + "url": "https://git.mccd.space/pub/ann" }, "original": { "type": "git", - "url": "https://git.sr.ht/~marcc/ann_bloop" + "url": "https://git.mccd.space/pub/ann" } }, "flake-compat": { -- cgit v1.2.3