gnu: Add rust-proptest-0.8.

* gnu/packages/crates-io.scm (rust-proptest-0.8): New variable.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
This commit is contained in:
Valentin Ignatev 2020-01-20 00:14:36 +03:00 committed by Efraim Flashner
parent fecf61d2ac
commit ce0d84d174
No known key found for this signature in database
GPG key ID: 41AAE7DCCA3D8351

View file

@ -10610,6 +10610,37 @@ (define-public rust-proptest-0.9
"Hypothesis-like property-based testing and shrinking.")
(license (list license:asl2.0 license:expat))))
(define-public rust-proptest-0.8
(package
(inherit rust-proptest-0.9)
(name "rust-proptest")
(version "0.8.7")
(source
(origin
(method url-fetch)
(uri (crate-uri "proptest" version))
(file-name
(string-append name "-" version ".tar.gz"))
(sha256
(base32
"07qrxwsd72wr1cqs0b5b159lnagjffp0l4s4zriz8jak8w20cvcj"))))
(build-system cargo-build-system)
(arguments
`(#:tests? #f ; 1 doc test fails
#:cargo-inputs
(("rust-bit-set" ,rust-bit-set-0.5)
("rust-bitflags" ,rust-bitflags-1)
("rust-byteorder" ,rust-byteorder-1.3)
("rust-lazy-static" ,rust-lazy-static-1)
("rust-num-traits" ,rust-num-traits-0.2)
("rust-quick-error" ,rust-quick-error-1.2)
("rust-rand" ,rust-rand-0.5)
("rust-regex-syntax" ,rust-regex-syntax-0.6)
("rust-rusty-fork" ,rust-rusty-fork-0.2)
("rust-tempfile" ,rust-tempfile-3.0))
#:cargo-development-inputs
(("rust-regex" ,rust-regex-1.1))))))
(define-public rust-psm-0.1
(package
(name "rust-psm")