diff --git a/Cargo.lock b/Cargo.lock
index 939657ddc25e..66232840f146 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"
@@ -2966,19 +2960,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.4.1",
  "lazy_static",
  "num-traits",
  "rand",
  "rand_chacha",
  "rand_xorshift",
- "regex-syntax 0.6.29",
+ "regex-syntax 0.7.4",
  "rusty-fork",
  "tempfile",
  "unarray",
diff --git a/guppy-cmdlib/Cargo.toml b/guppy-cmdlib/Cargo.toml
index 05594c543857..a78257dba555 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.workspace = true
 
 [features]
diff --git a/guppy/Cargo.toml b/guppy/Cargo.toml
index b39d24f14f14..69ec8fe40953 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.20"
diff --git a/internal-tools/benchmarks/Cargo.toml b/internal-tools/benchmarks/Cargo.toml
index b2f95626cb82..7441e61316ca 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.workspace = true
 
diff --git a/internal-tools/cargo-compare/Cargo.toml b/internal-tools/cargo-compare/Cargo.toml
index 3de5077a9142..0775b44137a9 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.1"
 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 fadfe87c8695..685524ca4cec 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.workspace = true
diff --git a/internal-tools/proptest-ext/Cargo.toml b/internal-tools/proptest-ext/Cargo.toml
index 6ee76f691f06..6ff0362e17ec 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.workspace = true
diff --git a/target-spec/Cargo.toml b/target-spec/Cargo.toml
index 520d2f6d4f50..1adb2dcb4e90 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.5", features = ["targets"] }
-proptest = { version = "1.2.0", optional = true }
+proptest = { version = "1.3.1", optional = true }
 serde = { version = "1.0.190", optional = true, features = ["derive"] }
 serde_json = { version = "1.0.107", optional = true }
 target-lexicon = { version = "0.12.12", features = ["std"] }
diff --git a/tools/hakari/Cargo.toml b/tools/hakari/Cargo.toml
index b793dad630c7..17ea3413fad0 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.190", features = ["derive"], optional = true }
diff --git a/workspace-hack/Cargo.toml b/workspace-hack/Cargo.toml
index 20bd2ee77fe9..37e16f9f0571 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.20", features = ["serde"] }
 serde = { version = "1.0.190", features = ["alloc", "derive"] }
 serde_json = { version = "1.0.107", features = ["unbounded_depth"] }