From patchwork Wed Jan 12 15:27:47 2022 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Z572 <873216071@qq.com> X-Patchwork-Id: 36266 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id A365F27BBEA; Wed, 12 Jan 2022 15:49:41 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.5 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,FREEMAIL_FROM,FREEMAIL_REPLYTO_END_DIGIT, MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL,SPF_HELO_PASS, URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 1C51327BBE9 for ; Wed, 12 Jan 2022 15:49:41 +0000 (GMT) Received: from localhost ([::1]:45594 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1n7fsa-0007gu-96 for patchwork@mira.cbaines.net; Wed, 12 Jan 2022 10:49:40 -0500 Received: from eggs.gnu.org ([209.51.188.92]:59734) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n7fYm-0000fH-9c for guix-patches@gnu.org; Wed, 12 Jan 2022 10:29:12 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:37558) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1n7fYl-0002Yd-VU for guix-patches@gnu.org; Wed, 12 Jan 2022 10:29:11 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1n7fYl-0002KU-TE for guix-patches@gnu.org; Wed, 12 Jan 2022 10:29:11 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#53208] [PATCH 27/39] gnu: Add rust-chalk-solve-0.75. Resent-From: Z572 <873216071@qq.com> Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 12 Jan 2022 15:29:11 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 53208 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 53208@debbugs.gnu.org Received: via spool by 53208-submit@debbugs.gnu.org id=B53208.16420013268650 (code B ref 53208); Wed, 12 Jan 2022 15:29:11 +0000 Received: (at 53208) by debbugs.gnu.org; 12 Jan 2022 15:28:46 +0000 Received: from localhost ([127.0.0.1]:58644 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1n7fYL-0002FK-IT for submit@debbugs.gnu.org; Wed, 12 Jan 2022 10:28:45 -0500 Received: from out203-205-251-85.mail.qq.com ([203.205.251.85]:45776) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <873216071@qq.com>) id 1n7fXy-00029e-6M for 53208@debbugs.gnu.org; Wed, 12 Jan 2022 10:28:23 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=qq.com; s=s201512; t=1642001295; bh=K8P5TQIbjnZVu1ad4XJRGLS1nZnvKywkqUm03ALULcE=; h=From:To:Subject:Date:In-Reply-To:References; b=QTfpS9UgGlticx/KSBEvR15JOnmgTj3ptcA4xZKO4YSHakYh14O43DuJpuFc67uLY 2CenqwIGG70xloVEsa0uquVK8eRBXhfEcFkhLgk3Ccvl+Hba1/CLdtMT1Q71HbEbuL dHyIcwQOu4eitj9Pg9BpK4K739DapYvuZK8aMM6g= Received: from localhost.localdomain ([112.10.216.34]) by newxmesmtplogicsvrsza5.qq.com (NewEsmtp) with SMTP id 6FB19A7A; Wed, 12 Jan 2022 23:27:59 +0800 X-QQ-mid: xmsmtpt1642001294t29qj9si2 Message-ID: X-QQ-XMAILINFO: NCAt/Y3WD2TRbFoDtf32yHEF+TLrgsBU07h3U32o46M6MPdUygjkfYCa/nHKvb 2Xhn4nhm6rSY+r/tUYOHGdHLsuVClYqPh8U7OvccAkfcxKaJICcsZT/sjoRz7AMNrPH05olh5Twp bDBF76LAEdwtihohiIwdsWJv1L05NlEIUXeM3/zhT2mGWyGxqZn1lD4prTr66XfOySbTD/xVc2Fz zHAmAis3sgvw2lkNBz8SgrB+h6Z9fmoVftZlf6IdKvfE/ffgeU41BhIKy96yvB1op8THWCMAU3ev zsnHRVWp8l9q3FOLyBRn4QIaOPfeutSklyhtYckV6sNyYl2pvjtjs9vt+WkYsqlGmf34wlshQyKC dd4rngU6PyEPqs6B/Y8yGf/9FKH5QlaOf0RZ8OlL4AcGaJorh2S7x45WREnvVxI2lSVk+JxMLPR4 jvBgNnSEpG2gHN9dAsP3FDQqcM9PXc4sS1WBbhN76WvACEwbxW9BVq9hxCHqwKvQMzhPBC3e4Y4X yGrCpNW8BKjJPAJZqjXg8SegnPjl3PUGY+mnw8JPWQXhVchy3Tq28w6KuuipXDxxBVcI6uPwR56g EMfq274pAlW07HvftAzag1j9juwdYlXTbY4tTwaUveF6JPWHbeeJdoOnqhGwUSpJn8eNL80kK4/v v+/FjNDRF3oqnNAq4Fid/KbVZzDxNWgC0kg2cFRWFEClkiUzbmEnMNSyLObYpSnGuL4yrxY92xPo UfXnrGDObCxyDDU3G/v8QD8bSH2SbqFXrQ5butE55hpMGa81Xe0gbucNptMCIKJZOXhIKLW9LEZQ 5/7UQ4CKeRcRmD5gJHIScmopGOdA9/leVTc5P4Jkp7Ky95TrPs09yXrZRZik1VZq39qgU69wCO9g == X-QQ-SPAM: true Date: Wed, 12 Jan 2022 23:27:47 +0800 X-OQ-MSGID: X-Mailer: git-send-email 2.34.0 In-Reply-To: References: MIME-Version: 1.0 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+patchwork=mira.cbaines.net@gnu.org Sender: "Guix-patches" Reply-to: Z572 <873216071@qq.com> X-ACL-Warn: , Z572 via Guix-patches X-Patchwork-Original-From: Z572 via Guix-patches via From: Z572 <873216071@qq.com> X-getmail-retrieved-from-mailbox: Patches * gnu/packages/crates-io.scm (rust-chalk-solve-0.75): New variable. (rust-chalk-solve-0.68): Inherit from above. --- gnu/packages/crates-io.scm | 43 +++++++++++++++++++++++++++++++------- 1 file changed, 36 insertions(+), 7 deletions(-) diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm index bcd841d290..68d5676ff9 100644 --- a/gnu/packages/crates-io.scm +++ b/gnu/packages/crates-io.scm @@ -9289,10 +9289,10 @@ (define-public rust-chalk-recursive-0.68 "Recursive solver for the Chalk project") (license (list license:asl2.0 license:expat)))) -(define-public rust-chalk-solve-0.68 +(define-public rust-chalk-solve-0.75 (package (name "rust-chalk-solve") - (version "0.68.0") + (version "0.75.0") (source (origin (method url-fetch) @@ -9301,21 +9301,21 @@ (define-public rust-chalk-solve-0.68 (string-append name "-" version ".tar.gz")) (sha256 (base32 - "0dvf1rm1z7miwlsmynxfys0189r6mjq863p1wp4v3f2sm9fwvgqc")))) + "07gaf59zr7pgpr01l3si7a8iici2qh5dh2w2b05agaq5cvds3lm5")))) (build-system cargo-build-system) (arguments `(#:skip-build? #t #:cargo-inputs - (("rust-chalk-derive" ,rust-chalk-derive-0.68) - ("rust-chalk-ir" ,rust-chalk-ir-0.68) + (("rust-chalk-derive" ,rust-chalk-derive-0.75) + ("rust-chalk-ir" ,rust-chalk-ir-0.75) ("rust-ena" ,rust-ena-0.14) ("rust-itertools" ,rust-itertools-0.10) ("rust-petgraph" ,rust-petgraph-0.5) ("rust-rustc-hash" ,rust-rustc-hash-1) ("rust-tracing" ,rust-tracing-0.1) ("rust-tracing-subscriber" - ,rust-tracing-subscriber-0.2) - ("rust-tracing-tree" ,rust-tracing-tree-0.1)))) + ,rust-tracing-subscriber-0.3) + ("rust-tracing-tree" ,rust-tracing-tree-0.2)))) (home-page "https://github.com/rust-lang/chalk") (synopsis "Combines the chalk-engine with chalk-ir") @@ -9323,6 +9323,35 @@ (define-public rust-chalk-solve-0.68 "This package provides a combines the chalk-engine with chalk-ir.") (license (list license:asl2.0 license:expat)))) +(define-public rust-chalk-solve-0.68 + (package + (inherit rust-chalk-solve-0.75) + (name "rust-chalk-solve") + (version "0.68.0") + (source + (origin + (method url-fetch) + (uri (crate-uri "chalk-solve" version)) + (file-name + (string-append name "-" version ".tar.gz")) + (sha256 + (base32 + "0dvf1rm1z7miwlsmynxfys0189r6mjq863p1wp4v3f2sm9fwvgqc")))) + (build-system cargo-build-system) + (arguments + `(#:skip-build? #t + #:cargo-inputs + (("rust-chalk-derive" ,rust-chalk-derive-0.68) + ("rust-chalk-ir" ,rust-chalk-ir-0.68) + ("rust-ena" ,rust-ena-0.14) + ("rust-itertools" ,rust-itertools-0.10) + ("rust-petgraph" ,rust-petgraph-0.5) + ("rust-rustc-hash" ,rust-rustc-hash-1) + ("rust-tracing" ,rust-tracing-0.1) + ("rust-tracing-subscriber" + ,rust-tracing-subscriber-0.2) + ("rust-tracing-tree" ,rust-tracing-tree-0.1)))))) + (define-public rust-charset-0.1 (package (name "rust-charset")