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