From: Vinicius Monego <monego@posteo.net>
To: 50662@debbugs.gnu.org
Cc: Vinicius Monego <monego@posteo.net>
Subject: [bug#50662] [PATCH 25/34] gnu: Add rust-proptest-1.
Date: Sat, 18 Sep 2021 16:13:27 +0000 [thread overview]
Message-ID: <20210918161336.208727-25-monego@posteo.net> (raw)
In-Reply-To: <20210918161336.208727-1-monego@posteo.net>
* gnu/packages/crates-io.scm (rust-proptest-1): New variable.
(rust-proptest-0.10): Inherit from above.
---
gnu/packages/crates-io.scm | 46 +++++++++++++++++++++++++++++++-------
1 file changed, 38 insertions(+), 8 deletions(-)
diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index 5c17a71875..f7733036e3 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -36147,8 +36147,45 @@ transfer).
This library mimics the Git way of showing progress.")
(license license:gpl2+)))
+(define-public rust-proptest-1
+ (package
+ (name "rust-proptest")
+ (version "1.0.0")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "proptest" version))
+ (file-name (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32 "1rdhjnf0xma5rmsq04d31n2vq1pgbm42pjc6jn3jsj8qgz09q38y"))))
+ (build-system cargo-build-system)
+ (arguments
+ `(#:cargo-inputs
+ (("rust-bit-set" ,rust-bit-set-0.5)
+ ("rust-bitflags" ,rust-bitflags-1)
+ ("rust-byteorder" ,rust-byteorder-1)
+ ("rust-lazy-static" ,rust-lazy-static-1)
+ ("rust-num-traits" ,rust-num-traits-0.2)
+ ("rust-quick-error" ,rust-quick-error-2)
+ ("rust-rand" ,rust-rand-0.8)
+ ("rust-rand-chacha" ,rust-rand-chacha-0.3)
+ ("rust-rand-xorshift" ,rust-rand-xorshift-0.3)
+ ("rust-regex-syntax" ,rust-regex-syntax-0.6)
+ ("rust-rusty-fork" ,rust-rusty-fork-0.3)
+ ("rust-tempfile" ,rust-tempfile-3)
+ ("rust-x86" ,rust-x86-0.33))
+ #:cargo-development-inputs
+ (("rust-regex" ,rust-regex-1))))
+ (home-page "https://altsysrq.github.io/proptest-book/proptest/index.html")
+ (synopsis "Hypothesis-like property-based testing and shrinking")
+ (description
+ "The @code{proptest} crate provides most of Proptest’s functionality,
+including most strategies and the testing framework itself.")
+ (license (list license:expat license:asl2.0))))
+
(define-public rust-proptest-0.10
(package
+ (inherit rust-proptest-1)
(name "rust-proptest")
(version "0.10.1")
(source
@@ -36158,7 +36195,6 @@ This library mimics the Git way of showing progress.")
(file-name (string-append name "-" version ".tar.gz"))
(sha256
(base32 "0vv4cvwn1v7h0zjajmhznll554a2ri8dqw26xql3q49r246cirhj"))))
- (build-system cargo-build-system)
(arguments
`(#:skip-build? #t
#:cargo-inputs
@@ -36176,13 +36212,7 @@ This library mimics the Git way of showing progress.")
("rust-tempfile" ,rust-tempfile-3)
("rust-x86" ,rust-x86-0.33))
#:cargo-development-inputs
- (("rust-regex" ,rust-regex-1))))
- (home-page "https://altsysrq.github.io/proptest-book/proptest/index.html")
- (synopsis "Hypothesis-like property-based testing and shrinking")
- (description
- "The @code{proptest} crate provides most of Proptest’s functionality,
-including most strategies and the testing framework itself.")
- (license (list license:expat license:asl2.0))))
+ (("rust-regex" ,rust-regex-1))))))
(define-public rust-proptest-0.9
(package
--
2.30.2
next prev parent reply other threads:[~2021-09-18 16:17 UTC|newest]
Thread overview: 50+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-09-18 16:11 [bug#50662] [PATCH 00/34] Add NewsFlash base library Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 01/34] gnu: Add rust-barrel-0.6 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 02/34] gnu: Add rust-strong-xml-derive-0.6 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 03/34] gnu: Add rust-debug-helper-0.3 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 04/34] gnu: Add rust-obfstr-0.3 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 05/34] gnu: Add rust-des-0.6 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 06/34] gnu: Add rust-entities-1 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 07/34] gnu: Add rust-escaper-0.1 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 08/34] gnu: Add rust-crc-any-2 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 09/34] gnu: Add rust-tiger-0.1 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 10/34] gnu: Add rust-libxml-0.3 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 11/34] gnu: Add rust-libxml-0.2 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 12/34] gnu: Add rust-article-scraper-1 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 13/34] gnu: Add rust-feed-rs-0.6 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 14/34] gnu: Add rust-feedbin-api-0.1 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 15/34] gnu: Add rust-feedly-api-0.4 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 16/34] gnu: Add rust-fever-api-0.2 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 17/34] gnu: Add rust-miniflux-api-0.3 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 18/34] gnu: Add rust-newsblur-api-0.1 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 19/34] gnu: Add rust-migrations-internals-1 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 20/34] gnu: Add rust-migrations-macros-1 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 21/34] gnu: Add rust-diesel-migrations-1 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 22/34] gnu: Add rust-rand-xorshift-0.3 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 23/34] gnu: Add rust-region-2 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 24/34] gnu: rust-x86-0.33: Fix version requirement Vinicius Monego
2021-09-18 16:13 ` Vinicius Monego [this message]
2021-09-18 16:13 ` [bug#50662] [PATCH 26/34] gnu: Add rust-jetscii-0.5 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 27/34] gnu: Add rust-strong-xml-0.6 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 28/34] gnu: Add rust-opml-1 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 29/34] gnu: Add rust-aes-soft-0.6 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 30/34] gnu: Add rust-aesni-0.10 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 31/34] gnu: Add rust-aes-0.6 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 32/34] gnu: Add rust-block-modes-0.7 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 33/34] gnu: Add rust-magic-crypt-3 Vinicius Monego
2021-09-18 16:13 ` [bug#50662] [PATCH 34/34] gnu: Add rust-news-flash-1 Vinicius Monego
2021-09-18 17:03 ` [bug#50662] [PATCH v2 21/34] gnu: Add rust-diesel-migrations-1 Vinicius Monego
2021-09-18 17:03 ` [bug#50662] [PATCH v2 22/34] gnu: Add rust-rand-xorshift-0.3 Vinicius Monego
2021-09-18 17:03 ` [bug#50662] [PATCH v2 23/34] gnu: Add rust-region-2 Vinicius Monego
2021-09-18 17:03 ` [bug#50662] [PATCH v2 24/34] gnu: rust-x86-0.33: Fix version requirement Vinicius Monego
2021-09-18 17:03 ` [bug#50662] [PATCH v2 25/34] gnu: Add rust-proptest-1 Vinicius Monego
2021-09-18 17:03 ` [bug#50662] [PATCH v2 26/34] gnu: Add rust-jetscii-0.5 Vinicius Monego
2021-09-18 17:03 ` [bug#50662] [PATCH v2 27/34] gnu: Add rust-strong-xml-0.6 Vinicius Monego
2021-09-18 17:03 ` [bug#50662] [PATCH v2 28/34] gnu: Add rust-opml-1 Vinicius Monego
2021-09-18 17:03 ` [bug#50662] [PATCH v2 29/34] gnu: Add rust-aes-soft-0.6 Vinicius Monego
2021-09-18 17:03 ` [bug#50662] [PATCH v2 30/34] gnu: Add rust-aesni-0.10 Vinicius Monego
2021-09-18 17:03 ` [bug#50662] [PATCH v2 31/34] gnu: Add rust-aes-0.6 Vinicius Monego
2021-09-18 17:03 ` [bug#50662] [PATCH v2 32/34] gnu: Add rust-block-modes-0.7 Vinicius Monego
2021-09-18 17:03 ` [bug#50662] [PATCH v2 33/34] gnu: Add rust-magic-crypt-3 Vinicius Monego
2021-09-18 17:03 ` [bug#50662] [PATCH v2 34/34] gnu: Add rust-news-flash-1 Vinicius Monego
2021-11-03 12:31 ` bug#50662: [PATCH 00/34] Add NewsFlash base library Nicolas Goaziou
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20210918161336.208727-25-monego@posteo.net \
--to=monego@posteo.net \
--cc=50662@debbugs.gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.