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
This commit is contained in:
Efraim Flashner 2024-12-19 21:20:38 +02:00
parent 34fd55f2f2
commit b6cd5e70c7
No known key found for this signature in database
GPG key ID: 41AAE7DCCA3D8351

View file

@ -61640,8 +61640,36 @@ (define-public rust-proptest-0.3
#: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
@ -61656,7 +61684,6 @@ (define-public rust-proptest-derive-0.4
(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" "--"
@ -61668,13 +61695,7 @@ (define-public rust-proptest-derive-0.4
#: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