ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2025-01-05 10:56:56 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: Remove rust-model-0.1.

Browse source 
* gnu/packages/crates-io.scm (rust-model-0.1): Delete variable.
This commit is contained in:
Efraim Flashner 2023-05-17 18:47:26 +03:00
parent 2b6fdc51dc
commit c8837e2735
No known key found for this signature in database
GPG key ID: 41AAE7DCCA3D8351
1 changed files with 0 additions and 26 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

26
gnu/packages/crates-io.scm
View file

@ -36707,32 +36707,6 @@ (define-public rust-mockall-double-0.3
select the mock struct at compile time. Used with the Mockall crate.") select the mock struct at compile time. Used with the Mockall crate.")
(license (list license:expat license:asl2.0)))) (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 (define-public rust-modifier-0.1
(package (package
(name "rust-modifier") (name "rust-modifier")