summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorZheng junjie <873216071@qq.com>2021-06-11 19:44:46 +0800
committerNicolas Goaziou <mail@nicolasgoaziou.fr>2021-06-13 19:14:01 +0200
commit51bad52e24446df9568b24635b388e1b4f0cfb07 (patch)
tree0d02102ab24ccfe2fb3ea985a61a9c4a5a8ad1bf /gnu
parent530f32fb8e49b6cb37e6cab4afe406dec15ccaf8 (diff)
gnu: Add rust-chalk-ir-0.68.
* gnu/packages/crates-io.scm (rust-chalk-ir-0.68): New variable. Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/crates-io.scm28
1 files changed, 28 insertions, 0 deletions
diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index eb940abf2d..8a76630a2d 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -7235,6 +7235,34 @@ chain, the first matching branch is the item that gets emitted.")
macros.")
(license (list license:asl2.0 license:expat))))
+(define-public rust-chalk-ir-0.68
+ (package
+ (name "rust-chalk-ir")
+ (version "0.68.0")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "chalk-ir" version))
+ (file-name
+ (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32
+ "0riyv4fjmxys8gsyrikn9in34cjcgwgj55qyaj9w9fld8kqxbmqr"))))
+ (build-system cargo-build-system)
+ (arguments
+ `(#:skip-build? #t
+ #:cargo-inputs
+ (("rust-bitflags" ,rust-bitflags-1)
+ ("rust-chalk-derive" ,rust-chalk-derive-0.68)
+ ("rust-lazy-static" ,rust-lazy-static-1))))
+ (home-page "https://github.com/rust-lang/chalk")
+ (synopsis
+ "Chalk's internal representation of types, goals, and clauses")
+ (description
+ "This package provides Chalk's internal representation of types, goals, and
+clauses.")
+ (license (list license:asl2.0 license:expat))))
+
(define-public rust-chrono-0.4
(package
(name "rust-chrono")