315/330: gnu: Add rust-exhaustigen-0.1.

[guix-commits]

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

commit 5cfec03601ce0df9e9e27218c0cfcfcf82b4b967
Author: Efraim Flashner <efraim@flashner.co.il>
AuthorDate: Mon Mar 18 12:01:39 2024 +0200

    gnu: Add rust-exhaustigen-0.1.
    
    * gnu/packages/crates-io.scm (rust-exhaustigen-0.1): New variable.
    
    Change-Id: I9a5709687dac612891c7059fe59188791f4a3019
---
 gnu/packages/crates-io.scm | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index 43e4b91019..efc3b6bada 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -23401,6 +23401,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")