From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:c151::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id iodfCSgRRmFN3QAAgWs5BA (envelope-from ) for ; Sat, 18 Sep 2021 18:17:44 +0200 Received: from aspmx2.migadu.com ([2001:41d0:2:c151::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id 4GiFBCgRRmGVRgAA1q6Kng (envelope-from ) for ; Sat, 18 Sep 2021 16:17:44 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx2.migadu.com (Postfix) with ESMTPS id 979A22C6EE for ; Sat, 18 Sep 2021 18:17:43 +0200 (CEST) Received: from localhost ([::1]:40920 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mRd26-0003YG-JG for larch@yhetil.org; Sat, 18 Sep 2021 12:17:42 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:37726) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mRd0X-0001RT-FG for guix-patches@gnu.org; Sat, 18 Sep 2021 12:16:05 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:53302) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mRd0X-00067o-7t for guix-patches@gnu.org; Sat, 18 Sep 2021 12:16:05 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mRd0X-0004RN-3z for guix-patches@gnu.org; Sat, 18 Sep 2021 12:16:05 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#50662] [PATCH 25/34] gnu: Add rust-proptest-1. Resent-From: Vinicius Monego Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 18 Sep 2021 16:16:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 50662 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 50662@debbugs.gnu.org Cc: Vinicius Monego Received: via spool by 50662-submit@debbugs.gnu.org id=B50662.163198174616921 (code B ref 50662); Sat, 18 Sep 2021 16:16:05 +0000 Received: (at 50662) by debbugs.gnu.org; 18 Sep 2021 16:15:46 +0000 Received: from localhost ([127.0.0.1]:36595 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mRd0E-0004Or-7e for submit@debbugs.gnu.org; Sat, 18 Sep 2021 12:15:46 -0400 Received: from mout01.posteo.de ([185.67.36.65]:56795) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mRd0B-0004OM-U6 for 50662@debbugs.gnu.org; Sat, 18 Sep 2021 12:15:44 -0400 Received: from submission (posteo.de [89.146.220.130]) by mout01.posteo.de (Postfix) with ESMTPS id 64D45240026 for <50662@debbugs.gnu.org>; Sat, 18 Sep 2021 18:15:38 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1631981738; bh=tN8D7vDmRU933RzUHKtKdH+chu9OHCrXtqQMjnRorPU=; h=From:To:Cc:Subject:Date:From; b=U/ZaCbF1kCKBrjuDNQLToV92KzK0Mk1nYsw4erCz1RQaJ5L1HIecM9Q+WX+OklSm+ 7Y/JLPSM/F85JQrKd68mhh4MlHrxrp1qb/ClKv8VUyZTxHB0MGAQU1Z/VDD5szSQaT wXG+VqIlENmQzbiASw+53xp2HEewWdsvj39pfZND5D8tbBaDoBXgQ8VxiRX2m2YoAv zJZDzzlb7Zk6bsEilV3Tnzjen3NKDaLPyyt8Ps+GltQbyB7h0EZAWal0/GHSgyrNIF 1Zr8bvvbSrYDpBj97LLy99rJIeEQmqgE8NL9G7Ga1NdqZ/MXEAbnreFQIm2DDylh1m rVO20ObiqYdoA== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4HBbX94Nzvz9rxV; Sat, 18 Sep 2021 18:15:37 +0200 (CEST) From: Vinicius Monego Date: Sat, 18 Sep 2021 16:13:27 +0000 Message-Id: <20210918161336.208727-25-monego@posteo.net> In-Reply-To: <20210918161336.208727-1-monego@posteo.net> References: <20210918161336.208727-1-monego@posteo.net> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1631981863; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=J7W7Tkg306HgIzbTMHoWZp0dPkCbyGf91K34vQsokWg=; b=H7muzMmTvdhVjVRdi77VQU4Wdm7wPUTbZpZFj9pXbyXPPry8yvp6jzkmdep/uGwaCT71jx WcfcoT0QkldG32p0+dCZP+BQoABsb9XWtwXH3mj1UdxAzNoHsH4rcBcBPqZBwONdAZLaT8 X2QIaGZKsFiiect8hvS1qmZK+RIi7O2Wq6yNTg2RF2Q132hkVcu1a/T7yKhgPmPPJxRJ+i n+PxyxZQNfMTiB+9UFDYyloEFjg8CyENWHw7Qrkf5U1hjb1Aur9PcpqEMCuSRf42RzRwh4 0kdj4BvxRqFvxXLAgH+RADWD/V7WuDcEi9fAPtBMaOduKxt1wZqScJ2uQEJx/Q== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1631981863; a=rsa-sha256; cv=none; b=uBljS6O29DTgZG4VOfFi3gO4LdpnHK2braUHixvK3vQJphzrMGAR4R02inlrjIRIV9yOAq L8Dkt+5xEsVlD/zOVzPKLgVeLY0uq2sAG0U8heaM0TPzxO59FNh9Zihh96erhcIO4sHuyo Nk8Ggj2XCxT4FVx2htBHbg49Y/km6UvYlVs3IHvRp/bTGb9jIvA5T+qBL3//XeRIEgc1Ef o89JF+VSaUEhxcjkbzHI7assHlWySz2fG+82KDYpa6tCuqOZPzYIX0fBDNMq+j3wxD1DYO 64GdLuarEoIuOmJ2HABBufy6aS8mZG2VT4x7duK3E+RwmBjJepyeO3ZDycZwQQ== ARC-Authentication-Results: i=1; aspmx2.migadu.com; dkim=fail ("headers rsa verify failed") header.d=posteo.net header.s=2017 header.b="U/ZaCbF1"; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.net (policy=none); spf=pass (aspmx2.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Spam-Score: 1.21 Authentication-Results: aspmx2.migadu.com; dkim=fail ("headers rsa verify failed") header.d=posteo.net header.s=2017 header.b="U/ZaCbF1"; dmarc=fail reason="SPF not aligned (strict)" header.from=posteo.net (policy=none); spf=pass (aspmx2.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Migadu-Queue-Id: 979A22C6EE X-Spam-Score: 1.21 X-Migadu-Scanner: scn0.migadu.com X-TUID: R1yfk5v37vvs * 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