diff --git a/server/Cargo.lock b/server/Cargo.lock
index c38fccae..4260c5ab 100644
--- a/server/Cargo.lock
+++ b/server/Cargo.lock
@@ -2157,9 +2157,9 @@ dependencies = [
 
 [[package]]
 name = "proptest"
-version = "1.3.1"
+version = "1.4.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "7c003ac8c77cb07bb74f5f198bce836a689bcd5a42574612bf14d17bfd08c20e"
+checksum = "31b476131c3c86cb68032fdc5cb6d5a1045e3e42d96b69fa599fd77701e1f5bf"
 dependencies = [
  "bit-set",
  "bit-vec",
@@ -2169,7 +2169,7 @@ dependencies = [
  "rand",
  "rand_chacha",
  "rand_xorshift",
- "regex-syntax 0.7.5",
+ "regex-syntax 0.8.2",
  "rusty-fork",
  "tempfile",
  "unarray",
@@ -2322,12 +2322,6 @@ version = "0.6.29"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "f162c6dd7b008981e4d40210aca20b4bd0f9b60ca9271061b07f78537722f2e1"
 
-[[package]]
-name = "regex-syntax"
-version = "0.7.5"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "dbb5fb1acd8a1a18b3dd5be62d25485eb770e05afb408a9627d14d451bae12da"
-
 [[package]]
 name = "regex-syntax"
 version = "0.8.2"
diff --git a/server/Cargo.toml b/server/Cargo.toml
index 8bd3822f..6735b527 100644
--- a/server/Cargo.toml
+++ b/server/Cargo.toml
@@ -30,7 +30,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.3.1"
+proptest = "1.4.0"
 proptest-derive = "0.4.0"
 serde_json = "1.0.108"
 itertools = "0.12.0"