From c8837e27350c6046d715901e4a589847f6c645bf Mon Sep 17 00:00:00 2001 From: Efraim Flashner Date: Wed, 17 May 2023 18:47:26 +0300 Subject: [PATCH] gnu: Remove rust-model-0.1. * gnu/packages/crates-io.scm (rust-model-0.1): Delete variable. --- gnu/packages/crates-io.scm | 26 -------------------------- 1 file changed, 26 deletions(-) diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm index c84159fefa..098edb7f32 100644 --- a/gnu/packages/crates-io.scm +++ b/gnu/packages/crates-io.scm @@ -36707,32 +36707,6 @@ (define-public rust-mockall-double-0.3 select the mock struct at compile time. Used with the Mockall crate.") (license (list license:expat license:asl2.0)))) -(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")