202/379: gnu: Remove rust-model-0.1.

[guix-commits]

efraim pushed a commit to branch rust-team
in repository guix.

commit 5eb9236ad834048aa9bee3b7117167599966da89
Author: Efraim Flashner <efraim@flashner.co.il>
AuthorDate: Wed May 17 18:47:26 2023 +0300

    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 18e73c7ff8..d8c50dc9e3 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -36707,32 +36707,6 @@ IOCP and Async I/O abstractions.")
 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")