05/13: gnu: rust-proptest-1: Update to 1.4.0.

[guix-commits]

efraim pushed a commit to branch rust-team
in repository guix.

commit 64840d078fc8f10450941db1fd64f70e44a23262
Author: Jaeme Sifat <jaeme@runbox.com>
AuthorDate: Sat Jan 20 12:55:23 2024 -0500

    gnu: rust-proptest-1: Update to 1.4.0.
    
    * gnu/packages/crates-io.scm (rust-proptest-1): Update to 1.4.0.
    [cargo-inputs]: Replace rust-regex-syntax-0.7 with 0.8.
    
    Change-Id: I0683bd124f9486f0616320f74e25f124882ee724
    Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
---
 gnu/packages/crates-io.scm | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index 388b2a8add..d015a3ec62 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -53694,14 +53694,14 @@ property-based testing and fuzzing.")
 (define-public rust-proptest-1
   (package
     (name "rust-proptest")
-    (version "1.3.1")
+    (version "1.4.0")
     (source
      (origin
        (method url-fetch)
        (uri (crate-uri "proptest" version))
        (file-name (string-append name "-" version ".tar.gz"))
        (sha256
-        (base32 "03n213yppl8lpw94cms2bb6rns3ahg78n6az9yvppc3wqz43l03w"))))
+        (base32 "1gzmw40pgmwzb7x6jsyr88z5w151snv5rp1g0dlcp1iw3h9pdd1i"))))
     (build-system cargo-build-system)
     (arguments
      `(#:cargo-inputs
@@ -53713,7 +53713,7 @@ property-based testing and fuzzing.")
         ("rust-rand" ,rust-rand-0.8)
         ("rust-rand-chacha" ,rust-rand-chacha-0.3)
         ("rust-rand-xorshift" ,rust-rand-xorshift-0.3)
-        ("rust-regex-syntax" ,rust-regex-syntax-0.7)
+        ("rust-regex-syntax" ,rust-regex-syntax-0.8)
         ("rust-rusty-fork" ,rust-rusty-fork-0.3)
         ("rust-tempfile" ,rust-tempfile-3)
         ("rust-unarray" ,rust-unarray-0.1)