diff options
| author | John Soo <jsoo1@asu.edu> | 2019-12-20 08:41:14 -0800 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2020-01-02 20:17:01 +0200 |
| commit | 0e4a064bd9b178950b07300a2ea2fd100a9bbeb1 (patch) | |
| tree | c4e8e7960ca506293ed649215b88bbe461117ae9 /gnu/packages/crates-io.scm | |
| parent | 10d5ee693b293740b18ceb5c22aacd184fc270fe (diff) | |
| download | patches-0e4a064bd9b178950b07300a2ea2fd100a9bbeb1.tar patches-0e4a064bd9b178950b07300a2ea2fd100a9bbeb1.tar.gz | |
gnu: Add rust-loom-0.1.
* gnu/packages/crates-io.scm (rust-loom-0.1): New variable.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
Diffstat (limited to 'gnu/packages/crates-io.scm')
| -rw-r--r-- | gnu/packages/crates-io.scm | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm index 62b749fe9c..7f843f5668 100644 --- a/gnu/packages/crates-io.scm +++ b/gnu/packages/crates-io.scm @@ -5098,6 +5098,35 @@ functions and static variables these libraries contain.") (base32 "0nsn28syc49vvjhxcfc8261rd1frhjc0r4bn9v3mqvps3ra7f3w8")))))) +(define-public rust-loom-0.1 + (package + (name "rust-loom") + (version "0.1.1") + (source + (origin + (method url-fetch) + (uri (crate-uri "loom" version)) + (file-name + (string-append name "-" version ".tar.gz")) + (sha256 + (base32 + "1jmp5mffwwyqgp914cwz92ij2s6vk1hsnkvgndvzw74xrcfraibj")))) + (build-system cargo-build-system) + (arguments + `(#:skip-build? #t + #:cargo-inputs + (("rust-cfg-if" ,rust-cfg-if-0.1) + ("rust-futures" ,rust-futures-0.1) + ("rust-generator" ,rust-generator-0.6) + ("rust-scoped-tls" ,rust-scoped-tls-1.0) + ("rust-serde" ,rust-serde-1.0) + ("rust-serde-derive" ,rust-serde-derive-1.0) + ("rust-serde-json" ,rust-serde-json-1.0)))) + (home-page "https://github.com/tokio-rs/loom") + (synopsis "Model checker for concurrent code") + (description "Model checker for concurrent code.") + (license license:expat))) + (define-public rust-lzma-sys-0.1 (package (name "rust-lzma-sys") |