summaryrefslogtreecommitdiff
path: root/gnu/packages
diff options
context:
space:
mode:
authorZheng junjie <873216071@qq.com>2021-06-11 19:44:48 +0800
committerNicolas Goaziou <mail@nicolasgoaziou.fr>2021-06-13 19:14:02 +0200
commitb25f3c8951834a347881173cced5438de4f8da9a (patch)
tree33927e9f669f18cf98e43c3c7929571af1fee0b8 /gnu/packages
parent74910530b6ca41d66c92a47590e6b4ddf8e851da (diff)
gnu: Add rust-chalk-solve-0.68.
* gnu/packages/crates-io.scm (rust-chalk-solve-0.68): New variable. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
Diffstat (limited to 'gnu/packages')
-rw-r--r--gnu/packages/crates-io.scm34
1 files changed, 34 insertions, 0 deletions
diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index a90c8baccc..05d0df694c 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")