Update gevulot-rs version (from crates.io)

gevulotnetwork · Dec 13, 2024 · 8986636 · 8986636
1 parent 2733a55
commit 8986636
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/mia/Cargo.lock b/mia/Cargo.lock
diff --git a/mia/Cargo.toml b/mia/Cargo.toml
@@ -11,8 +11,7 @@ name = "mia"
 path = "src/mia.rs"
 
 [dependencies]
-# TODO: replace rev with tag when possible
-gevulot-rs = { git = "https://github.com/gevulotnetwork/gevulot-rs.git", rev = "997bd6c5266a98a69253c58b4bd1a35e8d3ec7ae" }
+gevulot-rs = "0.1.3-pre.3"
 
 env_logger = "0.11.5"
 libc = "0.2"