diff --git a/crux-mir/lib/backtrace/Cargo.toml b/crux-mir/lib/backtrace/Cargo.toml
index ef1c5ec00..e283c9e23 100644
--- a/crux-mir/lib/backtrace/Cargo.toml
+++ b/crux-mir/lib/backtrace/Cargo.toml
@@ -3,7 +3,7 @@ name = "backtrace"
 version = "0.3.66"
 authors = ["The Rust Project Developers"]
 build = "build.rs"
-license = "MIT/Apache-2.0"
+license = "MIT OR Apache-2.0"
 readme = "README.md"
 repository = "https://github.com/rust-lang/backtrace-rs"
 homepage = "https://github.com/rust-lang/backtrace-rs"
diff --git a/crux-mir/lib/cfg_if/Cargo.toml b/crux-mir/lib/cfg_if/Cargo.toml
index 13a32ba20..614f109da 100644
--- a/crux-mir/lib/cfg_if/Cargo.toml
+++ b/crux-mir/lib/cfg_if/Cargo.toml
@@ -19,7 +19,7 @@ description = "A macro to ergonomically define an item depending on a large numb
 homepage = "https://github.com/alexcrichton/cfg-if"
 documentation = "https://docs.rs/cfg-if"
 readme = "README.md"
-license = "MIT/Apache-2.0"
+license = "MIT OR Apache-2.0"
 repository = "https://github.com/alexcrichton/cfg-if"
 [dependencies.compiler_builtins]
 version = "0.1.2"
diff --git a/crux-mir/lib/compiler_builtins/Cargo.toml b/crux-mir/lib/compiler_builtins/Cargo.toml
index 0a3bb6df3..f7c0185eb 100644
--- a/crux-mir/lib/compiler_builtins/Cargo.toml
+++ b/crux-mir/lib/compiler_builtins/Cargo.toml
@@ -31,7 +31,7 @@ if necessary!
 homepage = "https://github.com/rust-lang/compiler-builtins"
 documentation = "https://docs.rs/compiler_builtins"
 readme = "README.md"
-license = "MIT/Apache-2.0"
+license = "MIT OR Apache-2.0"
 repository = "https://github.com/rust-lang/compiler-builtins"
 
 [profile.dev]
diff --git a/crux-mir/lib/getopts/Cargo.toml b/crux-mir/lib/getopts/Cargo.toml
index db224fcf5..3acb962a4 100644
--- a/crux-mir/lib/getopts/Cargo.toml
+++ b/crux-mir/lib/getopts/Cargo.toml
@@ -19,7 +19,7 @@ homepage = "https://github.com/rust-lang/getopts"
 documentation = "https://doc.rust-lang.org/getopts"
 readme = "README.md"
 categories = ["command-line-interface"]
-license = "MIT/Apache-2.0"
+license = "MIT OR Apache-2.0"
 repository = "https://github.com/rust-lang/getopts"
 [dependencies.core]
 version = "1.0"
diff --git a/crux-mir/lib/rustc_demangle/Cargo.toml b/crux-mir/lib/rustc_demangle/Cargo.toml
index 2253b63b1..0b29e7dc6 100644
--- a/crux-mir/lib/rustc_demangle/Cargo.toml
+++ b/crux-mir/lib/rustc_demangle/Cargo.toml
@@ -18,7 +18,7 @@ description = "Rust compiler symbol demangling.\n"
 homepage = "https://github.com/alexcrichton/rustc-demangle"
 documentation = "https://docs.rs/rustc-demangle"
 readme = "README.md"
-license = "MIT/Apache-2.0"
+license = "MIT OR Apache-2.0"
 repository = "https://github.com/alexcrichton/rustc-demangle"
 [profile.release]
 lto = true
diff --git a/crux-mir/lib/unicode_width/Cargo.toml b/crux-mir/lib/unicode_width/Cargo.toml
index 77aded9fc..0cba8c96e 100644
--- a/crux-mir/lib/unicode_width/Cargo.toml
+++ b/crux-mir/lib/unicode_width/Cargo.toml
@@ -32,7 +32,7 @@ keywords = [
     "width",
     "unicode",
 ]
-license = "MIT/Apache-2.0"
+license = "MIT OR Apache-2.0"
 repository = "https://github.com/unicode-rs/unicode-width"
 
 [dependencies.compiler_builtins]