all messages for Guix-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
From: Zheng Junjie <873216071@qq.com>
To: 48956@debbugs.gnu.org
Cc: Zheng junjie <873216071@qq.com>
Subject: [bug#48956] [PATCH 12/58] gnu: Add rust-chalk-solve-0.68.
Date: Fri, 11 Jun 2021 19:44:48 +0800	[thread overview]
Message-ID: <tencent_73BC9B81A92559777F8A3A06E5102513B508@qq.com> (raw)
In-Reply-To: <20210611114534.1526-1-873216071@qq.com>

From: Zheng junjie <873216071@qq.com>

* gnu/packages/crates-io.scm (rust-chalk-solve-0.68): New variable.
---
 gnu/packages/crates-io.scm | 34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)

diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index 74c089f7b9..49efad9268 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -7263,6 +7263,40 @@ macros.")
 clauses.")
     (license (list license:asl2.0 license:expat))))
 
+(define-public rust-chalk-solve-0.68
+  (package
+    (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))))
+    (home-page "https://github.com/rust-lang/chalk")
+    (synopsis
+     "Combines the chalk-engine with chalk-ir")
+    (description
+     "This package provides a combines the chalk-engine with chalk-ir.")
+    (license (list license:asl2.0 license:expat))))
+
 (define-public rust-chrono-0.4
   (package
     (name "rust-chrono")
-- 
2.32.0





  parent reply	other threads:[~2021-06-11 11:48 UTC|newest]

Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <20210611114534.1526-1-873216071@qq.com>
2021-06-11 11:44 ` [bug#48956] [PATCH 02/58] gnu: Add rust-salsa-macros-0.17 Zheng Junjie
2021-06-11 11:44 ` [bug#48956] [PATCH 03/58] gnu: Add rust-salsa-0.17 Zheng Junjie
2021-06-11 11:44 ` [bug#48956] [PATCH 04/58] gnu: Add rust-expect-test-1 Zheng Junjie
2021-06-11 11:44 ` [bug#48956] [PATCH 05/58] gnu: Add rust-rustc-ap-rustc-lexer-721 Zheng Junjie
2021-06-11 11:44 ` [bug#48956] [PATCH 06/58] gnu: Add rust-tikv-jemalloc-sys-0.4 Zheng Junjie
2021-06-11 11:44 ` [bug#48956] [PATCH 07/58] gnu: Add rust-tikv-jemallocator-0.4 Zheng Junjie
2021-06-11 11:44 ` [bug#48956] [PATCH 08/58] gnu: Add rust-tikv-jemalloc-ctl-0.4 Zheng Junjie
2021-06-11 11:44 ` [bug#48956] [PATCH 09/58] gnu: Add rust-chalk-derive-0.68 Zheng Junjie
2021-06-11 11:44 ` [bug#48956] [PATCH 10/58] gnu: Add rust-chalk-ir-0.68 Zheng Junjie
2021-06-11 11:44 ` [bug#48956] [PATCH 11/58] gnu: Add rust-tracing-tree-0.1 Zheng Junjie
2021-06-11 11:44 ` Zheng Junjie [this message]
2021-06-11 11:44 ` [bug#48956] [PATCH 13/58] gnu: Add rust-chalk-recursive-0.68 Zheng Junjie
2021-06-11 11:44 ` [bug#48956] [PATCH 14/58] gnu: Add rust-dot-0.1 Zheng Junjie
2021-06-11 11:44 ` [bug#48956] [PATCH 15/58] gnu: Add rust-libloading-0.7 Zheng Junjie

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=tencent_73BC9B81A92559777F8A3A06E5102513B508@qq.com \
    --to=873216071@qq.com \
    --cc=48956@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.