[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#43514] [PATCH 5/6] gnu: Add rust-proptest@0.3.
From: |
Gabriel Arazas |
Subject: |
[bug#43514] [PATCH 5/6] gnu: Add rust-proptest@0.3. |
Date: |
Fri, 25 Sep 2020 01:53:37 +0800 |
* gnu/packages/crates-io.scm (rust-proptest-0.3): New variable.
---
gnu/packages/crates-io.scm | 24 ++++++++++++++++++++++++
1 file changed, 24 insertions(+)
diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index 5bf474c3e5..77a5bc51d0 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -19309,6 +19309,30 @@ macro use case.")
#:cargo-development-inputs
(("rust-regex" ,rust-regex-0.2))))))
+(define-public rust-proptest-0.3
+ (package
+ (inherit rust-proptest-0.7)
+ (name "rust-proptest")
+ (version "0.3.4")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "proptest" version))
+ (file-name
+ (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32
+ "15633iq8x3x0im5vyij2gr8ncpflv4fa9w63rh94k20xhzv4m308"))))
+ (arguments
+ `(#:cargo-inputs
+ (("rust-bit-set" ,rust-bit-set-0.4)
+ ("rust-lazy-static" ,rust-lazy-static-0.2)
+ ("rust-quick-error" ,rust-quick-error-1.2)
+ ("rust-rand" ,rust-rand-0.3)
+ ("rust-regex-syntax" ,rust-regex-syntax-0.4))
+ #:cargo-development-inputs
+ (("rust-regex" ,rust-regex-0.2))))))
+
(define-public rust-psm-0.1
(package
(name "rust-psm")
--
2.28.0
- [bug#43514] [PATCH 1/3] gnu: Add rust-stfu8., Gabriel Arazas, 2020/09/19
- [bug#43514] [PATCH 2/3] gnu: Add rust-std-prelude., Gabriel Arazas, 2020/09/19
- [bug#43514] [PATCH 1/3] gnu: Add rust-stfu8., Efraim Flashner, 2020/09/23
- [bug#43514], Gabriel Arazas, 2020/09/24
- [bug#43514] [PATCH 6/6] gnu: Add rust-stfu8., Gabriel Arazas, 2020/09/24
- [bug#43514] [PATCH 2/6] gnu: Add rust-bit-set@0.4., Gabriel Arazas, 2020/09/24
- [bug#43514] [PATCH 5/6] gnu: Add rust-proptest@0.3.,
Gabriel Arazas <=
- [bug#43514] [PATCH 4/6] gnu: Add rust-pretty-assertions@0.4., Gabriel Arazas, 2020/09/24
- [bug#43514] [PATCH 3/6] gnu: Add rust-ansi-term@0.9., Gabriel Arazas, 2020/09/24
- [bug#43514] [PATCH 1/6] gnu: Add rust-bit-vec@0.4., Gabriel Arazas, 2020/09/24
- bug#43514:, Efraim Flashner, 2020/09/29