diff options
| author | John Soo <jsoo1@asu.edu> | 2019-12-19 20:57:19 -0800 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2020-01-02 20:16:57 +0200 |
| commit | e1fd0a817d192c5a5df72dd7422e36558fa78e46 (patch) | |
| tree | a0cf73225d802ee06a24ac9c755c87d074da4a38 | |
| parent | d66f264903b114ae7471edf117bc3701bc52d949 (diff) | |
gnu: Add rust-model-0.1.
* gnu/packages/crates-io.scm (rust-model-0.1): New variable.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
| -rw-r--r-- | gnu/packages/crates-io.scm | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm index b847eba080..30dd7645ef 100644 --- a/gnu/packages/crates-io.scm +++ b/gnu/packages/crates-io.scm @@ -5342,6 +5342,32 @@ IOCP and Async I/O abstractions.") (base32 "06g9b8sqlh5gxakwqq4rrib07afwanfnxgxajrldwcgk3hxjy7wc")))))) +(define-public rust-model-0.1 + (package + (name "rust-model") + (version "0.1.2") + (source + (origin + (method url-fetch) + (uri (crate-uri "model" version)) + (file-name + (string-append name "-" version ".tar.gz")) + (sha256 + (base32 + "0kx6hy5i1fn2qs4x6hpng9jixpm68g83vm24z8bqqscr317yinb6")))) + (build-system cargo-build-system) + (arguments + `(#:skip-build? #t + #:cargo-inputs + (("rust-permutohedron" ,rust-permutohedron-0.2) + ("rust-proptest" ,rust-proptest-0.9)))) + (home-page "https://github.com/spacejam/model") + (synopsis "Model-based testing for data structures") + (description + "Model-based testing for data structures, with linearizability +checking.") + (license (list license:expat license:asl2.0)))) + (define-public rust-modifier-0.1 (package (name "rust-modifier") |