summaryrefslogtreecommitdiff
path: root/gnu/packages
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/packages')
-rw-r--r--gnu/packages/crates-io.scm28
1 files changed, 28 insertions, 0 deletions
diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index 9d12512967..ec8c6df80e 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -17129,6 +17129,34 @@ macro use case.")
#:cargo-development-inputs
(("rust-regex" ,rust-regex-1.1))))))
+(define-public rust-proptest-0.7
+ (package
+ (inherit rust-proptest-0.9)
+ (name "rust-proptest")
+ (version "0.7.2")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "proptest" version))
+ (file-name
+ (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32
+ "13giz85f7jkjc8miplzj4zh3fr704c1y1cg0dh218iw2dfkpbwi7"))))
+ (arguments
+ `(#:cargo-inputs
+ (("rust-bit-set" ,rust-bit-set-0.5)
+ ("rust-bitflags" ,rust-bitflags-1)
+ ("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.4)
+ ("rust-regex-syntax" ,rust-regex-syntax-0.4)
+ ("rust-rusty-fork" ,rust-rusty-fork-0.2)
+ ("rust-tempfile" ,rust-tempfile-3))
+ #:cargo-development-inputs
+ (("rust-regex" ,rust-regex-0.2))))))
+
(define-public rust-psm-0.1
(package
(name "rust-psm")