From 051f596dd206b33a31fa6e9975295e9a13f9e1af Mon Sep 17 00:00:00 2001
From: Samuel Burnham <45365069+samuelburnham@users.noreply.github.com>
Date: Wed, 9 Apr 2025 10:12:16 -0400
Subject: [PATCH] chore: Bump Blake3 to v1.8.1

---
 flake.lock    | 8 ++++----
 flake.nix     | 2 +-
 lakefile.lean | 2 +-
 3 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/flake.lock b/flake.lock
index 18e555d..00d3567 100644
--- a/flake.lock
+++ b/flake.lock
@@ -3,16 +3,16 @@
     "blake3": {
       "flake": false,
       "locked": {
-        "lastModified": 1740677543,
-        "narHash": "sha256-YJ3rRzpmF6oS8p377CEoRteARCD1lr/L7/fbN5poUXw=",
+        "lastModified": 1743660526,
+        "narHash": "sha256-NQCltEt1+CsKfho4nebzzH/R4lHdnDigNCRoJbxofrM=",
         "owner": "BLAKE3-team",
         "repo": "BLAKE3",
-        "rev": "0f9dc2706f931366632a378a95b348e3cb40ed01",
+        "rev": "ad639b126ef9b5f3b131093363cc3bb6bba4c3bf",
         "type": "github"
       },
       "original": {
         "owner": "BLAKE3-team",
-        "ref": "refs/tags/1.6.1",
+        "ref": "refs/tags/1.8.1",
         "repo": "BLAKE3",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index c9fd2b5..f9364ce 100644
--- a/flake.nix
+++ b/flake.nix
@@ -9,7 +9,7 @@
       inputs.nixpkgs.follows = "nixpkgs";
     };
     blake3 = {
-      url = "github:BLAKE3-team/BLAKE3?ref=refs/tags/1.6.1";
+      url = "github:BLAKE3-team/BLAKE3?ref=refs/tags/1.8.1";
       flake = false;
     };
   };
diff --git a/lakefile.lean b/lakefile.lean
index b95a9ba..ae33a5b 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -12,7 +12,7 @@ lean_lib Blake3 where
 lean_exe Blake3Test
 
 abbrev blake3RepoURL := "https://github.com/BLAKE3-team/BLAKE3"
-abbrev blake3RepoTag := "1.6.1"
+abbrev blake3RepoTag := "1.8.1"
 
 target cloneBlake3 pkg : GitRepo := do
   let repoDir : GitRepo := pkg.dir / "blake3"