Index: pyo3/Cargo.toml
===================================================================
--- pyo3.orig/Cargo.toml
+++ pyo3/Cargo.toml
@@ -199,7 +199,7 @@ version = "0.4"
 version = "0.3.5"
 
 [dev-dependencies.proptest]
-version = "0.10.1"
+version = "1.0"
 features = ["std"]
 default-features = false
 
