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>
This commit is contained in:
Zheng junjie 2021-06-11 19:44:48 +08:00 committed by Nicolas Goaziou
parent 74910530b6
commit b25f3c8951
No known key found for this signature in database
GPG Key ID: DA00B4F048E92F2D
1 changed files with 34 additions and 0 deletions

View File

@ -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")