diff --git a/server/Cargo.lock b/server/Cargo.lock
index 9a84895f..e8925ae2 100644
--- a/server/Cargo.lock
+++ b/server/Cargo.lock
@@ -2141,19 +2141,19 @@ dependencies = [
 
 [[package]]
 name = "proptest"
-version = "1.2.0"
+version = "1.3.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "4e35c06b98bf36aba164cc17cb25f7e232f5c4aeea73baa14b8a9f0d92dbfa65"
+checksum = "7c003ac8c77cb07bb74f5f198bce836a689bcd5a42574612bf14d17bfd08c20e"
 dependencies = [
  "bit-set",
- "bitflags 1.3.2",
- "byteorder",
+ "bit-vec",
+ "bitflags 2.3.3",
  "lazy_static",
  "num-traits",
  "rand",
  "rand_chacha",
  "rand_xorshift",
- "regex-syntax 0.6.29",
+ "regex-syntax 0.7.5",
  "rusty-fork",
  "tempfile",
  "unarray",
diff --git a/server/Cargo.toml b/server/Cargo.toml
index 8bcae248..d2618544 100644
--- a/server/Cargo.toml
+++ b/server/Cargo.toml
@@ -31,7 +31,7 @@ envy = "0.4.2"
 once_cell = "1.18.0"
 test-case = "3.2.1"
 strum = { version = "0.25.0", features = ["strum_macros"] }
-proptest = "1.2.0"
+proptest = "1.3.1"
 proptest-derive = "0.4.0"
 serde_json = "1.0.107"
 itertools = "0.11.0"