efraim pushed a commit to branch rust-team
in repository guix.
commit 5eb9236ad834048aa9bee3b7117167599966da89
Author: Efraim Flashner <[email protected]>
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")
