pyo3: Cope with newer proptest.

diff --git a/src/pyo3/debian/patches/newer-proptest b/src/pyo3/debian/patches/newer-proptest
new file mode 100644 (file)
index 0000000..ac19df8
--- /dev/null
+++ b/src/pyo3/debian/patches/newer-proptest
@@ -0,0 +1,11 @@
+--- a/Cargo.toml       2022-07-01 21:18:13.000000000 +0100
++++ b/Cargo.toml       2022-07-02 01:33:21.600222058 +0100
+@@ -165,7 +165,7 @@
+ version = "0.3.5"
+ 
+ [dev-dependencies.proptest]
+-version = "0.10.1"
++version = "1.0.0"
+ features = ["std"]
+ default-features = false
+ 

diff --git a/src/pyo3/debian/patches/series b/src/pyo3/debian/patches/series
index c0134b6b763724703c3df098cb6aeaecd3b15f84..66f8fb6d2ee36720ba62ef64ab1928fd6dab2068 100644 (file)
--- a/src/pyo3/debian/patches/series
+++ b/src/pyo3/debian/patches/series
@@ -1 +1,2 @@
 parking-lot-version
+newer-proptest