Update lean-ffi

samuelburnham · samuelburnham · commit 7305c1d6d620 · 2026-03-23T22:20:20.000-04:00
diff --git a/README.md b/README.md
@@ -8,7 +8,7 @@ Add Blake3 as a dependency in your `lakefile.lean`:
 
 ```lean
 require Blake3 from git
-  "https://github.com/pnmadelaea/Blake3.lean" @ "<commit-hash>"
+  "https://github.com/argumentcomputer/Blake3.lean" @ "<commit-hash>"
 ```
 
 ### C backend
diff --git a/rust/Cargo.lock b/rust/Cargo.lock
diff --git a/rust/Cargo.toml b/rust/Cargo.toml
@@ -8,7 +8,7 @@ crate-type = ["staticlib"]
 
 [dependencies]
 blake3 = "1.8.3"
-lean-ffi = { git = "https://github.com/argumentcomputer/lean-ffi", rev = "b194f3f17d1959562ef850527aa70bde43358086" }
+lean-ffi = { git = "https://github.com/argumentcomputer/lean-ffi", rev = "2ee6267354ce460a8dd95ae9f087cc2569a90ad6" }
 
 [profile.dev]
 panic = "abort"
