efraim pushed a commit to branch rust-team
in repository guix.
commit 46e6b9c43edafcad3c06366cae01dbc03a77ded2
Author: Efraim Flashner <[email protected]>
AuthorDate: Thu Sep 19 13:36:29 2024 +0300
gnu: rust-proptest-1: Update to 1.5.0.
* gnu/packages/crates-io.scm (rust-proptest-1): Update to 1.5.0.
[source]: Add snippet to allow newer versions of dependencies.
[cargo-inputs]: Add rust-proptest-macro-0.1.
[cargo-development-inputs]: Add rust-trybuild-1.
Change-Id: I439704adad6ca3868af03a29d32ec1c0110a0a03
---
gnu/packages/crates-io.scm | 13 ++++++++++---
1 file changed, 10 insertions(+), 3 deletions(-)
diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index d4beefbec9..0f56c1f268 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -57486,14 +57486,19 @@ property-based testing and fuzzing.")
(define-public rust-proptest-1
(package
(name "rust-proptest")
- (version "1.4.0")
+ (version "1.5.0")
(source
(origin
(method url-fetch)
(uri (crate-uri "proptest" version))
(file-name (string-append name "-" version ".tar.gz"))
(sha256
- (base32 "1gzmw40pgmwzb7x6jsyr88z5w151snv5rp1g0dlcp1iw3h9pdd1i"))))
+ (base32 "13gm7mphs95cw4gbgk5qiczkmr68dvcwhp58gmiz33dq2ccm3hml"))
+ (modules '((guix build utils)))
+ (snippet
+ '(begin (substitute* "Cargo.toml"
+ (("\"=([[:digit:]]+(\\.[[:digit:]]+)*)" _ version)
+ (string-append "\"^" version)))))))
(build-system cargo-build-system)
(arguments
`(#:cargo-inputs
@@ -57502,6 +57507,7 @@ property-based testing and fuzzing.")
("rust-bitflags" ,rust-bitflags-2)
("rust-lazy-static" ,rust-lazy-static-1)
("rust-num-traits" ,rust-num-traits-0.2)
+ ("rust-proptest-macro" ,rust-proptest-macro-0.1)
("rust-rand" ,rust-rand-0.8)
("rust-rand-chacha" ,rust-rand-chacha-0.3)
("rust-rand-xorshift" ,rust-rand-xorshift-0.3)
@@ -57511,7 +57517,8 @@ property-based testing and fuzzing.")
("rust-unarray" ,rust-unarray-0.1)
("rust-x86" ,rust-x86-0.52))
#:cargo-development-inputs
- (("rust-regex" ,rust-regex-1))))
+ (("rust-regex" ,rust-regex-1)
+ ("rust-trybuild" ,rust-trybuild-1))))
(home-page "https://altsysrq.github.io/proptest-book/proptest/index.html";)
(synopsis "Hypothesis-like property-based testing and shrinking")
(description
