GNU bug report logs - #59670
[PATCH 00/50] gnu: zoxide: Update to 0.8.3.

Previous Next

Full log

View this message in rfc822 format

From: "(" <paren <at> disroot.org>
To: 59670 <at> debbugs.gnu.org
Cc: "\(" <paren <at> disroot.org>
Subject: [bug#59670] [PATCH 03/50] gnu: Add rust-propfuzz-0.0.1.
Date: Tue, 29 Nov 2022 07:00:17 +0000

* gnu/packages/crates-io.scm (rust-propfuzz-0.0.1): New variable.
---
 gnu/packages/crates-io.scm | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index 07707a41fe..87bc516922 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -42268,6 +42268,30 @@ (define-public rust-progressing-3
 progress-bars for Rust.")
     (license license:asl2.0)))
 
+(define-public rust-propfuzz-0.0.1
+  (package
+    (name "rust-propfuzz")
+    (version "0.0.1")
+    (source (origin
+              (method url-fetch)
+              (uri (crate-uri "propfuzz" version))
+              (file-name (string-append name "-" version ".tar.gz"))
+              (sha256
+               (base32
+                "1xadkjqsnnazfksaywxkdgv0fjkclj2p7x36r044jbj9g395nxyg"))))
+    (build-system cargo-build-system)
+    (arguments
+     (list #:skip-build? #t
+           #:cargo-inputs
+           `(("rust-propfuzz-macro" ,rust-propfuzz-macro-0.0.1)
+             ("rust-proptest" ,rust-proptest-0.10))))
+    (home-page "https://github.com/facebookincubator/propfuzz")
+    (synopsis "Property-based testing and fuzzing")
+    (description
+     "This package provides a Rust library that combines
+property-based testing and fuzzing.")
+    (license (list license:expat license:asl2.0))))
+
 (define-public rust-propfuzz-macro-0.0.1
   (package
     (name "rust-propfuzz-macro")
-- 
2.38.1

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.