From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:2:c151::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id wMgsDpr43mEoFwAAgWs5BA (envelope-from ) for ; Wed, 12 Jan 2022 16:49:46 +0100 Received: from aspmx2.migadu.com ([2001:41d0:2:c151::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id yJHDCpr43mFT/AAAauVa8A (envelope-from ) for ; Wed, 12 Jan 2022 16:49:46 +0100 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 C746C3B2A9 for ; Wed, 12 Jan 2022 16:49:42 +0100 (CET) Received: from localhost ([::1]:45594 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1n7fsb-0007gu-Cs for larch@yhetil.org; Wed, 12 Jan 2022 10:49:41 -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 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" Reply-to: Z572 <873216071@qq.com> X-ACL-Warn: , Z572 via Guix-patches From: Z572 via Guix-patches via X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1642002585; h=from:from:sender:sender:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: 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=K8P5TQIbjnZVu1ad4XJRGLS1nZnvKywkqUm03ALULcE=; b=YPTA4GWxkQias45fmxqS3bXCbyeP2uJrERRFnqeaQENsLLEUVc2u87jqEjhtg8NnyS2Xe4 E2uwsHUxZZB3VzQznaSQJ5QTPBfBB50JkG/JZBuoi/cfnAAk/Pag4D7CYVYbfgPRLpnnUm GwOW5JEdptejReuzkx0bZEiR+CW9pjEVT+KdssalluHk2KpyDFJ9Q0PQ/2WyB7TE89HbGs 9y0Y+9IIBHL/gpm3onyD91aLe4CN6Seb8GXwPaWGjdLXC41mJ8L1Z+IREhhIvsrIIabkyU Pl1/mqsPGh5+rHuJdEYoZRNSUT5BdziJ8QagsLSSBzRx6Zfb8+00um38atIjfQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1642002585; a=rsa-sha256; cv=none; b=qZQYslEeljcayd8XgbrT6oqBotIzecw7/FIF2A1r70cJXIUcWUHgPD2fXOgMiVqCbyBqAo U5LGBkxOzmbW2y6LzkMp5kBjaUTXxvB3DEGp4GZO3FeL96ccQiDu221lhNfjYvP8GfDHEL d6O7uwo+e2fCbBf2bOuXOS289tXS/jYX6bOLWS7UR2S0djgNpqfloc3urXUeRAz8vDimO2 YeFDIkYT6oCbkF84xEjvTld5uX9/57+tF29yMRFzo/azacgAzef/baFo9qy2n0z20MRb4E LVTTBZt0ZTd0iPAH3vRNlQCrrCsymqVSvusLfrkxG39WQuyXKG4pIKbzZoUO8A== ARC-Authentication-Results: i=1; aspmx2.migadu.com; dkim=fail ("headers rsa verify failed") header.d=qq.com header.s=s201512 header.b=QTfpS9Ug; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx2.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -1.62 Authentication-Results: aspmx2.migadu.com; dkim=fail ("headers rsa verify failed") header.d=qq.com header.s=s201512 header.b=QTfpS9Ug; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx2.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: C746C3B2A9 X-Spam-Score: -1.62 X-Migadu-Scanner: scn1.migadu.com X-TUID: H9W+ijuqSGTB * 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") -- 2.34.0