From 349c7eed6a48061d992a8b1cfeaf4634352e85ed Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Tue, 19 Aug 2025 11:04:40 +0000
Subject: [PATCH 1/2] Upgrade cargo_metadata dependency

---
 kani-driver/Cargo.toml      | 2 +-
 tools/build-kani/Cargo.toml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/kani-driver/Cargo.toml b/kani-driver/Cargo.toml
index a95a36eb8c8d..d58b38533183 100644
--- a/kani-driver/Cargo.toml
+++ b/kani-driver/Cargo.toml
@@ -13,7 +13,7 @@ publish = false
 
 [dependencies]
 kani_metadata = { path = "../kani_metadata" }
-cargo_metadata = "0.21"
+cargo_metadata = "0.22"
 anyhow = "1"
 console = "0.16"
 once_cell = "1.19.0"
diff --git a/tools/build-kani/Cargo.toml b/tools/build-kani/Cargo.toml
index e901c1049053..666f595fb655 100644
--- a/tools/build-kani/Cargo.toml
+++ b/tools/build-kani/Cargo.toml
@@ -11,6 +11,6 @@ publish = false
 
 [dependencies]
 anyhow = "1"
-cargo_metadata = "0.21"
+cargo_metadata = "0.22"
 clap = { version = "4.4.11", features=["derive"] }
 which = "8"

From de4ab14d2bab7b83a2986c7f4ceaa5530cc52cef Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Tue, 19 Aug 2025 12:35:19 +0000
Subject: [PATCH 2/2] Cargo.lock

---
 Cargo.lock | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index 7ea6d225ab2d..a40c72e29c0f 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -240,9 +240,9 @@ dependencies = [
 
 [[package]]
 name = "cargo-platform"
-version = "0.2.0"
+version = "0.3.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "84982c6c0ae343635a3a4ee6dedef965513735c8b183caa7289fa6e27399ebd4"
+checksum = "8abf5d501fd757c2d2ee78d0cc40f606e92e3a63544420316565556ed28485e2"
 dependencies = [
  "serde",
 ]
@@ -265,9 +265,9 @@ dependencies = [
 
 [[package]]
 name = "cargo_metadata"
-version = "0.21.0"
+version = "0.22.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5cfca2aaa699835ba88faf58a06342a314a950d2b9686165e038286c30316868"
+checksum = "0c3f56c207c76c07652489840ff98687dcf213de178ac0974660d6fefeaf5ec6"
 dependencies = [
  "camino",
  "cargo-platform",