diff --git a/Cargo.lock b/Cargo.lock
index b1c15b091f55..1021fa898653 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -258,12 +258,6 @@ version = "3.13.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "a3e2c3daef883ecc1b5d58c15adae93470a91d425f3532ba1695849656af3fc1"
 
-[[package]]
-name = "byteorder"
-version = "1.4.3"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "14c189c53d098945499cdfa7ecc63567cf3886b3332b312a5b4585d8d3a6a610"
-
 [[package]]
 name = "bytes"
 version = "1.4.0"
@@ -2880,19 +2874,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",
  "rusty-fork",
  "tempfile",
  "unarray",
@@ -3039,7 +3033,7 @@ dependencies = [
  "aho-corasick",
  "memchr",
  "regex-automata",
- "regex-syntax 0.7.4",
+ "regex-syntax",
 ]
 
 [[package]]
@@ -3050,15 +3044,9 @@ checksum = "b7b6d6190b7594385f61bd3911cd1be99dfddcfc365a4160cc2ab5bff4aed294"
 dependencies = [
  "aho-corasick",
  "memchr",
- "regex-syntax 0.7.4",
+ "regex-syntax",
 ]
 
-[[package]]
-name = "regex-syntax"
-version = "0.6.29"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "f162c6dd7b008981e4d40210aca20b4bd0f9b60ca9271061b07f78537722f2e1"
-
 [[package]]
 name = "regex-syntax"
 version = "0.7.4"
diff --git a/guppy-cmdlib/Cargo.toml b/guppy-cmdlib/Cargo.toml
index 83c3414102e8..8a8c9500a4ba 100644
--- a/guppy-cmdlib/Cargo.toml
+++ b/guppy-cmdlib/Cargo.toml
@@ -13,7 +13,7 @@ publish = false
 clap = { version = "3.2.25", features = ["derive"] }
 color-eyre = { version = "0.6.2", default-features = false }
 guppy = { path = "../guppy" }
-proptest = { version = "1.2.0", optional = true }
+proptest = { version = "1.3.1", optional = true }
 guppy-workspace-hack = { version = "0.1", path = "../workspace-hack" }
 
 [features]
diff --git a/guppy/Cargo.toml b/guppy/Cargo.toml
index 0be6f1b11975..1b6bac31e9d4 100644
--- a/guppy/Cargo.toml
+++ b/guppy/Cargo.toml
@@ -41,7 +41,7 @@ itertools = "0.11.0"
 once_cell = "1.18.0"
 pathdiff = { version = "0.2.1", features = ["camino"] }
 petgraph = { version = "0.6.4", default-features = false }
-proptest = { version = "1.2.0", optional = true }
+proptest = { version = "1.3.1", optional = true }
 proptest-derive = { version = "0.4.0", optional = true }
 rayon = { version = "1.8.0", optional = true }
 semver = "1.0.19"
diff --git a/internal-tools/benchmarks/Cargo.toml b/internal-tools/benchmarks/Cargo.toml
index 1b819770d159..68ab203d1d7a 100644
--- a/internal-tools/benchmarks/Cargo.toml
+++ b/internal-tools/benchmarks/Cargo.toml
@@ -7,7 +7,7 @@ publish = false  # this is a private crate
 
 [dependencies]
 guppy = { path = "../../guppy", features = ["proptest1"] }
-proptest = "1.2.0"
+proptest = "1.3.1"
 proptest-ext = { path = "../proptest-ext" }
 guppy-workspace-hack = { version = "0.1", path = "../../workspace-hack" }
 
diff --git a/internal-tools/cargo-compare/Cargo.toml b/internal-tools/cargo-compare/Cargo.toml
index 24c7347feeb2..7fb26029aec9 100644
--- a/internal-tools/cargo-compare/Cargo.toml
+++ b/internal-tools/cargo-compare/Cargo.toml
@@ -19,4 +19,4 @@ guppy-cmdlib = { path = "../../guppy-cmdlib", features = ["proptest1"] }
 tempfile = "3.8.0"
 once_cell = "1.18.0"
 pathdiff = "0.2.1"
-proptest = "1.2.0"
+proptest = "1.3.1"
diff --git a/internal-tools/fixture-manager/Cargo.toml b/internal-tools/fixture-manager/Cargo.toml
index b08d3a5aa03e..bcae1989d17c 100644
--- a/internal-tools/fixture-manager/Cargo.toml
+++ b/internal-tools/fixture-manager/Cargo.toml
@@ -16,7 +16,7 @@ guppy-cmdlib = { path = "../../guppy-cmdlib", features = ["proptest1"] }
 fixtures = { path = "../../fixtures" }
 hakari = { path = "../../tools/hakari", features = ["cli-support", "proptest1"] }
 once_cell = "1.18.0"
-proptest = "1.2.0"
+proptest = "1.3.1"
 proptest-ext = { path = "../proptest-ext" }
 structopt = "0.3.26"
 guppy-workspace-hack = { version = "0.1", path = "../../workspace-hack" }
diff --git a/internal-tools/proptest-ext/Cargo.toml b/internal-tools/proptest-ext/Cargo.toml
index 40eba6818468..53c8ca3e4fea 100644
--- a/internal-tools/proptest-ext/Cargo.toml
+++ b/internal-tools/proptest-ext/Cargo.toml
@@ -8,6 +8,6 @@ publish = false  # this is a private crate
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-proptest = "1.2.0"
+proptest = "1.3.1"
 twox-hash = { version = "1.6.3", default-features = false }
 guppy-workspace-hack = { version = "0.1", path = "../../workspace-hack" }
diff --git a/target-spec/Cargo.toml b/target-spec/Cargo.toml
index 3c1dc23dae29..601fa66ec628 100644
--- a/target-spec/Cargo.toml
+++ b/target-spec/Cargo.toml
@@ -21,7 +21,7 @@ maintenance = { status = "actively-developed" }
 
 [dependencies]
 cfg-expr = { version = "0.15.4", features = ["targets"] }
-proptest = { version = "1.2.0", optional = true }
+proptest = { version = "1.3.1", optional = true }
 serde = { version = "1.0.188", optional = true, features = ["derive"] }
 serde_json = { version = "1.0.107", optional = true }
 target-lexicon = { version = "0.12.11", features = ["std"] }
diff --git a/tools/hakari/Cargo.toml b/tools/hakari/Cargo.toml
index b4ad1a071842..e47e15263bb6 100644
--- a/tools/hakari/Cargo.toml
+++ b/tools/hakari/Cargo.toml
@@ -34,7 +34,7 @@ indenter = "0.3.3"
 itertools = "0.11.0"
 owo-colors = { version = "3.5.0", optional = true }
 pathdiff = { version = "0.2.1", features = ["camino"] }
-proptest = { version = "1.2.0", optional = true }
+proptest = { version = "1.3.1", optional = true }
 proptest-derive = { version = "0.4.0", optional = true }
 rayon = "1.8.0"
 serde = { version = "1.0.188", features = ["derive"], optional = true }
diff --git a/workspace-hack/Cargo.toml b/workspace-hack/Cargo.toml
index 88cc965e5138..c143a0dc27ac 100644
--- a/workspace-hack/Cargo.toml
+++ b/workspace-hack/Cargo.toml
@@ -27,6 +27,7 @@ owo-colors = { version = "3.5.0", default-features = false, features = ["support
 petgraph = { version = "0.6.4", default-features = false, features = ["graphmap"] }
 regex = { version = "1.9.1", default-features = false, features = ["perf", "std"] }
 regex-automata = { version = "0.3.4", default-features = false, features = ["dfa-onepass", "hybrid", "meta", "nfa-backtrack", "perf-inline", "perf-literal"] }
+regex-syntax = { version = "0.7.4" }
 semver = { version = "1.0.19", features = ["serde"] }
 serde = { version = "1.0.188", features = ["alloc", "derive"] }
 serde_json = { version = "1.0.107", features = ["unbounded_depth"] }