aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorZ572 <873216071@qq.com>2022-01-12 23:27:47 +0800
committerNicolas Goaziou <mail@nicolasgoaziou.fr>2022-01-21 00:11:58 +0100
commit5d89be98e25d50c4c4bf2150e1161f69de3c8c99 (patch)
treef8a5fbd7f0c030b52f9b653e32c0fa8a1bb5e717
parenta4beface075dbbab32a43535831add959248d7cd (diff)
downloadguix-5d89be98e25d50c4c4bf2150e1161f69de3c8c99.tar
guix-5d89be98e25d50c4c4bf2150e1161f69de3c8c99.tar.gz
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 <mail@nicolasgoaziou.fr>
-rw-r--r--gnu/packages/crates-io.scm43
1 files 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")