gnu: Add rust-chalk-ir-0.75.

* gnu/packages/crates-io.scm (rust-chalk-ir-0.75): New variable.
(rust-chalk-ir-0.68): Inherit from above.

Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
This commit is contained in:
Z572 2022-01-12 23:27:46 +08:00 committed by Nicolas Goaziou
parent a768ad633b
commit a4beface07
No known key found for this signature in database
GPG key ID: DA00B4F048E92F2D

View file

@ -9278,8 +9278,38 @@ (define-public rust-chalk-derive-0.68
("rust-quote" ,rust-quote-1)
("rust-syn" ,rust-syn-1)
("rust-synstructure" ,rust-synstructure-0.12))))))
(define-public rust-chalk-ir-0.75
(package
(name "rust-chalk-ir")
(version "0.75.0")
(source
(origin
(method url-fetch)
(uri (crate-uri "chalk-ir" version))
(file-name
(string-append name "-" version ".tar.gz"))
(sha256
(base32
"12iyziaw14qb0wz3pqx70qwqa9r0qsi5d4y6j0g32yabs2hyay9b"))))
(build-system cargo-build-system)
(arguments
`(#:skip-build? #t
#:cargo-inputs
(("rust-bitflags" ,rust-bitflags-1)
("rust-chalk-derive" ,rust-chalk-derive-0.75)
("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-chalk-ir-0.68
(package
(inherit rust-chalk-ir-0.75)
(name "rust-chalk-ir")
(version "0.68.0")
(source
@ -9297,14 +9327,7 @@ (define-public rust-chalk-ir-0.68
#: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))))
("rust-lazy-static" ,rust-lazy-static-1))))))
(define-public rust-chalk-recursive-0.68
(package