summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2024-03-18 12:01:39 +0200
committerEfraim Flashner <efraim@flashner.co.il>2024-07-19 00:43:16 +0300
commit5d160d08d46c66fac18169101081f2a699ba6a4d (patch)
tree101f5bf42504b34ff9bfbe81ab4978270ca86052
parent15c96dc27c8c41d9a8860634bc63e5911831d8dc (diff)
gnu: Add rust-exhaustigen-0.1.
* gnu/packages/crates-io.scm (rust-exhaustigen-0.1): New variable. Change-Id: I9a5709687dac612891c7059fe59188791f4a3019
-rw-r--r--gnu/packages/crates-io.scm17
1 files changed, 17 insertions, 0 deletions
diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index 910267cd2c..bae73df1a6 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -23492,6 +23492,23 @@ blocking data structures.")
"This package provides a collection of high-performance task executors.")
(license license:expat)))
+(define-public rust-exhaustigen-0.1
+ (package
+ (name "rust-exhaustigen")
+ (version "0.1.0")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "exhaustigen" version))
+ (file-name (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32 "1djym5wjcib78fxspkkal0vdq8dd1vlllk6f6858m5haf53zg23x"))))
+ (build-system cargo-build-system)
+ (home-page "https://github.com/graydon/exhaustigen-rs")
+ (synopsis "Exhaustive test generator")
+ (description "This package provides an exhaustive test generator.")
+ (license (list license:expat license:asl2.0))))
+
(define-public rust-exitcode-1
(package
(name "rust-exitcode")