85/100: gnu: Add rust-proptest-derive-0.5.

[guix-commits]

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

commit 05b33a03a9873a8a4f2e214c7dae92d44009d4df
Author: Efraim Flashner <efraim@flashner.co.il>
AuthorDate: Thu Dec 19 21:20:38 2024 +0200

    gnu: Add rust-proptest-derive-0.5.
    
    * gnu/packages/crates-io.scm (rust-proptest-derive-0.5): New variable.
    (rust-proptest-derive-0.4): Inherit from rust-proptest-derive-0.5.
    
    Change-Id: If56ef6dcc5181818d29ebeaef726c800808c4bd2
---
 gnu/packages/crates-io.scm | 37 +++++++++++++++++++++++++++++--------
 1 file changed, 29 insertions(+), 8 deletions(-)

diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index 3c9ae10ca7..96ec8c2ab2 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -61573,8 +61573,36 @@ including most strategies and the testing framework 
itself.")
        #:cargo-development-inputs
        (("rust-regex" ,rust-regex-0.2))))))
 
+(define-public rust-proptest-derive-0.5
+  (package
+    (name "rust-proptest-derive")
+    (version "0.5.1")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (crate-uri "proptest-derive" version))
+       (file-name (string-append name "-" version ".tar.gz"))
+       (sha256
+        (base32 "0jay6jwfvrwzz5bqpi4hxx3ax6kax06p0h29vgkxb0vl42nckqaf"))))
+    (build-system cargo-build-system)
+    (arguments
+     `(#:tests? #f  ; `#![feature]` may not be used on the stable release 
channel
+       #:cargo-inputs (("rust-proc-macro2" ,rust-proc-macro2-1)
+                       ("rust-quote" ,rust-quote-1)
+                       ("rust-syn" ,rust-syn-2))
+       #:cargo-development-inputs (("rust-compiletest-rs" 
,rust-compiletest-rs-0.11)
+                                   ("rust-criterion" ,rust-criterion-0.5)
+                                   ("rust-proptest" ,rust-proptest-1))))
+    (home-page
+     "https://proptest-rs.github.io/proptest/proptest-derive/index.html";)
+    (synopsis "Custom-derive for the Arbitrary trait of proptest")
+    (description "This package provides a custom-derive for the Arbitrary
+trait of proptest.")
+    (license (list license:expat license:asl2.0))))
+
 (define-public rust-proptest-derive-0.4
   (package
+    (inherit rust-proptest-derive-0.5)
     (name "rust-proptest-derive")
     (version "0.4.0")
     (source
@@ -61589,7 +61617,6 @@ including most strategies and the testing framework 
itself.")
        (snippet '(begin (delete-file "tests/uninhabited-pass.rs")
                         (delete-file "tests/enum.rs")
                         (delete-file "tests/skip.rs")))))
-    (build-system cargo-build-system)
     (arguments
      `(#:cargo-test-flags
        '("--release" "--"
@@ -61601,13 +61628,7 @@ including most strategies and the testing framework 
itself.")
        #:cargo-development-inputs
        (("rust-compiletest-rs" ,rust-compiletest-rs-0.9)
         ("rust-criterion" ,rust-criterion-0.5)
-        ("rust-proptest" ,rust-proptest-1))))
-    (home-page
-     "https://proptest-rs.github.io/proptest/proptest-derive/index.html";)
-    (synopsis "Custom-derive for the Arbitrary trait of proptest")
-    (description "This package provides a custom-derive for the Arbitrary
-trait of proptest.")
-    (license (list license:expat license:asl2.0))))
+        ("rust-proptest" ,rust-proptest-1))))))
 
 (define-public rust-proptest-derive-0.3
   (package