un-downgrade proptest to 0.10

rust-zincati.spec

@@ -6,7 +6,7 @@
 
 Name:           rust-%{crate}
 Version:        0.0.12
-Release:        5%{?dist}
+Release:        6%{?dist}
 Summary:        Update agent for Fedora CoreOS
 
 # Upstream license specification: Apache-2.0
@@ -123,6 +123,9 @@ ln -snf /run/%{crate}/public/metrics.promsock %{buildroot}/run/%{crate}/private/
 %endif
 
 %changelog
+* Fri Sep 25 2020 Fabio Valentini <decathorpe@gmail.com> - 0.0.12-6
+- Un-downgrade proptest.
+
 * Sun Aug 16 15:01:58 GMT 2020 Igor Raits <ignatenkobrain@fedoraproject.org> - 0.0.12-5
 - Rebuild
 

zincati-fix-metadata.diff

@@ -9,12 +9,3 @@
  
  [dependencies.cfg-if]
  version = "^0.1"
-@@ -117,7 +117,7 @@
- version = "^0.25"
- 
- [dev-dependencies.proptest]
--version = "^0.10"
-+version = "^0.9"
- 
- [features]
- failpoints = ["fail/failpoints"]