about summary refs log tree commit diff
path: root/tvix/Cargo.lock
diff options
context:
space:
mode:
Diffstat (limited to 'tvix/Cargo.lock')
-rw-r--r--tvix/Cargo.lock2
1 files changed, 2 insertions, 0 deletions
diff --git a/tvix/Cargo.lock b/tvix/Cargo.lock
index 2984479c18ef..73badc2af496 100644
--- a/tvix/Cargo.lock
+++ b/tvix/Cargo.lock
@@ -2302,6 +2302,7 @@ dependencies = [
  "num-traits",
  "pin-project-lite",
  "pretty_assertions",
+ "proptest",
  "rstest",
  "serde",
  "serde_json",
@@ -2322,6 +2323,7 @@ dependencies = [
  "nix-compat",
  "pretty_assertions",
  "proc-macro2",
+ "proptest",
  "quote",
  "rstest",
  "syn 2.0.79",