From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id CHmuFnPlbF/FTAAA0tVLHw (envelope-from ) for ; Thu, 24 Sep 2020 18:29:07 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id GIuLEnPlbF8XDwAAbx9fmQ (envelope-from ) for ; Thu, 24 Sep 2020 18:29:07 +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 aspmx1.migadu.com (Postfix) with ESMTPS id 18A33940365 for ; Thu, 24 Sep 2020 18:29:07 +0000 (UTC) Received: from localhost ([::1]:43656 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kLVT4-0004yd-IG for larch@yhetil.org; Thu, 24 Sep 2020 13:55:42 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:56184) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kLVST-0004Vl-Ar for guix-patches@gnu.org; Thu, 24 Sep 2020 13:55:05 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:58322) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kLVST-0002Xe-1U for guix-patches@gnu.org; Thu, 24 Sep 2020 13:55:05 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kLVST-0003Di-0d for guix-patches@gnu.org; Thu, 24 Sep 2020 13:55:05 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#43514] [PATCH 5/6] gnu: Add rust-proptest@0.3. Resent-From: Gabriel Arazas Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Thu, 24 Sep 2020 17:55:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 43514 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 43514@debbugs.gnu.org Cc: Gabriel Arazas Received: via spool by 43514-submit@debbugs.gnu.org id=B43514.160097008212300 (code B ref 43514); Thu, 24 Sep 2020 17:55:04 +0000 Received: (at 43514) by debbugs.gnu.org; 24 Sep 2020 17:54:42 +0000 Received: from localhost ([127.0.0.1]:41628 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kLVS6-0003CD-I1 for submit@debbugs.gnu.org; Thu, 24 Sep 2020 13:54:42 -0400 Received: from mail-pg1-f174.google.com ([209.85.215.174]:42522) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kLVS0-0003BJ-MU for 43514@debbugs.gnu.org; Thu, 24 Sep 2020 13:54:37 -0400 Received: by mail-pg1-f174.google.com with SMTP id m34so36223pgl.9 for <43514@debbugs.gnu.org>; Thu, 24 Sep 2020 10:54:36 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:date:message-id:in-reply-to:references:reply-to :mime-version:content-transfer-encoding; bh=3cQVYr6PC88mCAyrNO4tOiF6GkB0rcmdmUOhc3GJCL0=; b=Tq1rwTqD84kqD6yCNHj5YsXawGpYN2meW4pMZJG8RtEhjoLr+ruLuFwqlG/zWXOe3f yAnRgpWR+OX+x9cfl0t7vWzl9+qtJimm/0t4y1XR5VVKST3NFtmo4JNl2AJFGUX5xetp lzfxLAYlkwndbc+xlEU5F7RuIm69LwrmNlAVYac/2Y64N8MH+GEuufPZOa/ADFchNeL/ d1eIatbdhN0xlQiidfKrFOxVyqipCKFcQm5VJaW3UC0uqDUNZoWl+BwUtoPtmBE1Qw5v 6NqVhsVAGFh2yGgDnLcmI9woG1fEbfRVAlZPIHJSOsKUnDu9o4WF1mmkE52tn7XKnEYJ 16Tw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references:reply-to:mime-version:content-transfer-encoding; bh=3cQVYr6PC88mCAyrNO4tOiF6GkB0rcmdmUOhc3GJCL0=; b=XYSyd8cDxOlKs3fQslItIKXrYMyl7KtAEtxqEuBB0wmBvWe+vf46w+T8po4Jk/xP5d Ww62IxRK0zv4QwUdktWlGTMRNs9BODw+Hc1Oh9N3kmgxk4QF62h2Q9A9x41aVLJfl/nS h9TEtqokKU9gfqKPX+0ZKi+Ft4MHTfahYTseXEFKHRSFkZE6OAXHga2uCzS6PcR6+lWo wtEkxyNNvsmPuUp3/vI3UwZtF0TQzf/Phzf/s0/+6OKhgw09B9AqkWbuJPR2tJKOYOqP 3RphwnHmy4fFem3YzTD6Yk8lP58OovztMlx2eaK52An+qZYokuTCkUWUTm4L70k8/Y8v WWnQ== X-Gm-Message-State: AOAM531Ydfy20TdE/ni3uU0MrUbAJ6f52Exzy6aUhSqUApT+/tZUsz4t bKA8dFBiTOsDHeqbGP8ZhugBFuAWzNgUyw== X-Google-Smtp-Source: ABdhPJxLAXgLSM7IEyFCJLkJ68X9jGaah+LZdc3ut1dgePc4eEdAbHghdGxq5o5iQahXyjA8l1f0Ww== X-Received: by 2002:a62:be0f:0:b029:142:2501:39f0 with SMTP id l15-20020a62be0f0000b0290142250139f0mr229278pff.63.1600970070955; Thu, 24 Sep 2020 10:54:30 -0700 (PDT) Received: from localhost.localdomain ([112.198.165.138]) by smtp.gmail.com with ESMTPSA id v5sm121318pfu.151.2020.09.24.10.54.29 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 24 Sep 2020 10:54:30 -0700 (PDT) From: Gabriel Arazas Date: Fri, 25 Sep 2020 01:53:37 +0800 Message-Id: <20200924175338.17324-6-foo.dogsquared@gmail.com> X-Mailer: git-send-email 2.28.0 In-Reply-To: <20200924175338.17324-1-foo.dogsquared@gmail.com> References: <20200924175338.17324-1-foo.dogsquared@gmail.com> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -1.0 (-) X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Reply-To: 43514@debbugs.gnu.org Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Scanner: scn0 X-Spam-Score: 7.39 Authentication-Results: aspmx1.migadu.com; dkim=fail (rsa verify failed) header.d=gmail.com header.s=20161025 header.b=Tq1rwTqD; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.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-Spam: Yes X-TUID: ZOTBvoL4/KnB * 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