153/471: gnu: Add rust-proptest-derive-0.3.

[guix-commits]

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

commit 7e804aaa1ff601733d8583cfda9cd040498c3acd
Author: Efraim Flashner <efraim@flashner.co.il>
AuthorDate: Wed Feb 22 21:00:36 2023 +0200

    gnu: Add rust-proptest-derive-0.3.
    
    * gnu/packages/crates-io.scm (rust-proptest-derive-0.3): New variable.
    (rust-proptest-derive-0.1): Inherit from rust-proptest-derive-0.3.
---
 gnu/packages/crates-io.scm | 35 +++++++++++++++++++++++++++++------
 1 file changed, 29 insertions(+), 6 deletions(-)

diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index 24dca9f3ab..be10ff30d2 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -45092,28 +45092,28 @@ including most strategies and the testing framework 
itself.")
        #:cargo-development-inputs
        (("rust-regex" ,rust-regex-0.2))))))
 
-(define-public rust-proptest-derive-0.1
+(define-public rust-proptest-derive-0.3
   (package
     (name "rust-proptest-derive")
-    (version "0.1.2")
+    (version "0.3.0")
     (source
      (origin
        (method url-fetch)
        (uri (crate-uri "proptest-derive" version))
        (file-name (string-append name "-" version ".tar.gz"))
        (sha256
-        (base32
-         "0nziczbm7w0jisjrd216hh2j45fs5m363ga7r6nawwxcxlbxn7nk"))))
+        (base32 "1p4x6k1zxq9lrpk46npdnzj6894mjx5bpwkwrdk63ird72an5d4h"))))
     (build-system cargo-build-system)
     (arguments
-     `(#:cargo-inputs
+     `(#:tests? #f          ; Needs nightly features.
+       #:cargo-inputs
        (("rust-proc-macro2" ,rust-proc-macro2-0.4)
         ("rust-quote" ,rust-quote-0.6)
         ("rust-syn" ,rust-syn-0.15))
        #:cargo-development-inputs
        (("rust-compiletest-rs" ,rust-compiletest-rs-0.3)
         ("rust-criterion" ,rust-criterion-0.2)
-        ("rust-proptest" ,rust-proptest-0.9))))
+        ("rust-proptest" ,rust-proptest-1))))
     (home-page
      "https://altsysrq.github.io/proptest-book/proptest-derive/index.html";)
     (synopsis "Custom-derive for the Arbitrary trait of proptest")
@@ -45121,6 +45121,29 @@ including most strategies and the testing framework 
itself.")
 trait of proptest.")
     (license (list license:expat license:asl2.0))))
 
+(define-public rust-proptest-derive-0.1
+  (package
+    (inherit rust-proptest-derive-0.3)
+    (name "rust-proptest-derive")
+    (version "0.1.2")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (crate-uri "proptest-derive" version))
+       (file-name (string-append name "-" version ".tar.gz"))
+       (sha256
+        (base32
+         "0nziczbm7w0jisjrd216hh2j45fs5m363ga7r6nawwxcxlbxn7nk"))))
+    (arguments
+     `(#:cargo-inputs
+       (("rust-proc-macro2" ,rust-proc-macro2-0.4)
+        ("rust-quote" ,rust-quote-0.6)
+        ("rust-syn" ,rust-syn-0.15))
+       #:cargo-development-inputs
+       (("rust-compiletest-rs" ,rust-compiletest-rs-0.3)
+        ("rust-criterion" ,rust-criterion-0.2)
+        ("rust-proptest" ,rust-proptest-0.9))))))
+
 (define-public rust-prost-derive-0.9
   (package
     (name "rust-prost-derive")