guix_mirror_bot pushed a commit to branch ocaml-team
in repository guix.
commit 395b78e7ade753250c6bb13b3f429e511adff33c
Author: Jason Conroy <[email protected]>
AuthorDate: Thu Feb 12 10:56:23 2026 -0500
gnu: ocaml5: Add ocaml-qcheck.
* gnu/packages/ocaml5.scm (ocaml-qcheck): New variable.
Change-Id: Ia566eab599af83c50c91e92d22aaf1a1fcceae3c
Signed-off-by: Julien Lepiller <[email protected]>
---
gnu/packages/ocaml5.scm | 24 ++++++++++++++++++++++++
1 file changed, 24 insertions(+)
diff --git a/gnu/packages/ocaml5.scm b/gnu/packages/ocaml5.scm
index a38bb1e315..91818dd7f2 100644
--- a/gnu/packages/ocaml5.scm
+++ b/gnu/packages/ocaml5.scm
@@ -3044,6 +3044,30 @@ tools such as Merlin to perform project-wide occurrences
queries.")))
(description "@code{ocaml-dot-merlin-reader} is an external reader for
@code{ocaml-merlin} configurations.")))
+(define-public ocaml-qcheck
+ (package
+ (name "ocaml5-qcheck")
+ (version "0.20")
+ (source
+ (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/c-cube/qcheck";)
+ (commit (string-append "v" version))))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32 "1r0m5p1dd06lbgfxqdpl1ya4vb8252z7hqkvdi9k444g4rx2ay3p"))))
+ (build-system dune-build-system)
+ (propagated-inputs (list ocaml-alcotest ocaml-ounit ocaml-ppxlib))
+ (native-inputs (list ocamlbuild))
+ (home-page "https://github.com/c-cube/qcheck";)
+ (synopsis "QuickCheck-inspired property-based testing for OCaml")
+ (description
+ "This module checks invariants (properties of some types) over randomly
+generated instances of the type. It provides combinators for generating
+instances and printing them.")
+ (license license:lgpl3+)))
+
;;;
;;; Avoid adding new packages to the end of this file. To reduce the chances
;;; of a merge conflict, place them above by existing packages with similar
