From 5d89be98e25d50c4c4bf2150e1161f69de3c8c99 Mon Sep 17 00:00:00 2001 From: Z572 <873216071@qq.com> Date: Wed, 12 Jan 2022 23:27:47 +0800 Subject: gnu: Add rust-chalk-solve-0.75. * gnu/packages/crates-io.scm (rust-chalk-solve-0.75): New variable. (rust-chalk-solve-0.68): Inherit from above. Signed-off-by: Nicolas Goaziou --- 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 f2d7541e03..911fd2dfd3 100644 --- a/gnu/packages/crates-io.scm +++ b/gnu/packages/crates-io.scm @@ -9358,10 +9358,10 @@ clauses.") "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) @@ -9370,21 +9370,21 @@ clauses.") (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") @@ -9392,6 +9392,35 @@ clauses.") "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") -- cgit v1.2.3