Skip to content

Commit da18ab8

Browse files
samuelburnhamsamuelburnham
committed
Update lean-ffi
1 parent cd9831a commit da18ab8

2 files changed

Lines changed: 2 additions & 2 deletions

File tree

‎rust/Cargo.lock‎

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎rust/Cargo.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ crate-type = ["staticlib"]
88

99
[dependencies]
1010
blake3 = "1.8.3"
11-
lean-ffi = { git = "https://github.com/argumentcomputer/lean-ffi", rev = "b194f3f17d1959562ef850527aa70bde43358086" }
11+
lean-ffi = { git = "https://github.com/argumentcomputer/lean-ffi", rev = "2ee6267354ce460a8dd95ae9f087cc2569a90ad6" }
1212

1313
[profile.dev]
1414
panic = "abort"

0 commit comments

Comments
 (0)