From dab6789c64e2b19300ad73ed8a43f9b34ffb6dc5 Mon Sep 17 00:00:00 2001
From: Thomas Eizinger <thomas@eizinger.io>
Date: Sun, 12 Jan 2025 18:26:47 +0100
Subject: [PATCH] chore: remove Git-dependency on `proptest` (#7722)

---
 rust/Cargo.lock | 10 ++++++----
 rust/Cargo.toml |  6 ++----
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/rust/Cargo.lock b/rust/Cargo.lock
index 6d63f7146..553f9cc74 100644
--- a/rust/Cargo.lock
+++ b/rust/Cargo.lock
@@ -4838,8 +4838,9 @@ dependencies = [
 
 [[package]]
 name = "proptest"
-version = "1.5.0"
-source = "git+https://github.com/proptest-rs/proptest?branch=main#772e64733187dc65f669db51f627ddf9e8951bc8"
+version = "1.6.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "14cae93065090804185d3b75f0bf93b8eeda30c7a9b4a33d3bdb3988d6229e50"
 dependencies = [
  "bit-set",
  "bit-vec",
@@ -4857,8 +4858,9 @@ dependencies = [
 
 [[package]]
 name = "proptest-state-machine"
-version = "0.3.0"
-source = "git+https://github.com/proptest-rs/proptest?branch=main#772e64733187dc65f669db51f627ddf9e8951bc8"
+version = "0.3.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "e943d140e09d07740fb496487c51fb8eb31c70389ac4a2e9dcd8a0d9fdf228d4"
 dependencies = [
  "proptest",
 ]
diff --git a/rust/Cargo.toml b/rust/Cargo.toml
index 8bc98b369..af74f3ea6 100644
--- a/rust/Cargo.toml
+++ b/rust/Cargo.toml
@@ -82,8 +82,8 @@ opentelemetry_sdk = "0.26.0"
 os_info = { version = "3", default-features = false }
 output_vt100 = "0.1"
 png = "0.17.16"
-proptest = "1"
-proptest-state-machine = "0.3"
+proptest = "1.6.0"
+proptest-state-machine = "0.3.1"
 quinn-udp = { version = "0.5.8", features = ["fast-apple-datapath"] }
 rand = "0.8.5"
 rand_core = "0.6.4"
@@ -183,8 +183,6 @@ boringtun = { git = "https://github.com/firezone/boringtun", branch = "master" }
 str0m = { git = "https://github.com/algesten/str0m", branch = "main" }
 ip_network = { git = "https://github.com/JakubOnderka/ip_network", branch = "master" } # Waiting for release.
 ip_network_table = { git = "https://github.com/edmonds/ip_network_table", branch = "some-useful-traits" } # For `Debug` and `Clone`
-proptest = { git = "https://github.com/proptest-rs/proptest", branch = "main" }
-proptest-state-machine = { git = "https://github.com/proptest-rs/proptest", branch = "main" }
 tracing-stackdriver = { git = "https://github.com/thomaseizinger/tracing-stackdriver", branch = "bump-otel-0.26" } # Waiting for release.
 sentry = { git = "https://github.com/getsentry/sentry-rust", branch = "master" }
 sentry-tracing = { git = "https://github.com/getsentry/sentry-rust", branch = "master" }