Update betree's Cargo.lock

AeneasVerif · Aug 27, 2024 · afb522f · afb522f
1 parent 45fb761
commit afb522f
Show file tree

Hide file tree

Showing 2 changed files with 116 additions and 104 deletions.
diff --git a/tests/src/betree/Cargo.lock b/tests/src/betree/Cargo.lock
diff --git a/tests/src/betree/Cargo.toml b/tests/src/betree/Cargo.toml
@@ -5,9 +5,9 @@ authors = ["Son Ho <[email protected]>"]
 edition = "2018"
 
 [dependencies]
-serde_json = "1.0.91"
-serde = { version = "1.0.152", features = ["derive"] }
-log = "0.4.17"
-env_logger = "0.8.4"
+serde_json = "1.0"
+serde = { version = "1.0", features = ["derive"] }
+log = "0.4"
+env_logger = "0.11"
 
-# TODO: If we turn this package into a library, building the tests fails.
+# TODO: If we turn this package into a library, building the tests by hand fails.