[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#53882] [PATCH v2 18/25] gnu: Add ocaml-base-quickcheck.
From: |
zimoun |
Subject: |
[bug#53882] [PATCH v2 18/25] gnu: Add ocaml-base-quickcheck. |
Date: |
Fri, 8 Apr 2022 15:22:58 +0200 |
From: Julien Lepiller <julien@lepiller.eu>
* gnu/packages/ocaml.scm (ocaml-base-quickcheck): New variable.
---
gnu/packages/ocaml.scm | 33 +++++++++++++++++++++++++++++++++
1 file changed, 33 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index ec2d8ab12e..a57ec2b05f 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -6614,6 +6614,39 @@ (define-public ocaml4.07-splittable-random
(properties '())
(license license:asl2.0))))
+(define-public ocaml-base-quickcheck
+ (package
+ (name "ocaml-base-quickcheck")
+ (version "0.14.1")
+ (source
+ (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/janestreet/base_quickcheck")
+ (commit (string-append "v" version))))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32 "0apq3d9xb0zdaqsl4cjk5skyig57ff1plndb2mh0nn3czvfhifxs"))))
+ (build-system dune-build-system)
+ (propagated-inputs
+ (list ocaml-base
+ ocaml-ppx-base
+ ocaml-ppx-fields-conv
+ ocaml-ppx-let
+ ocaml-ppx-sexp-message
+ ocaml-ppx-sexp-value
+ ocaml-splittable-random
+ ocaml-ppxlib))
+ (properties `((upstream-name . "base_quickcheck")))
+ (home-page "https://github.com/janestreet/base_quickcheck")
+ (synopsis
+ "Randomized testing framework, designed for compatibility with Base")
+ (description
+ "@samp{base-quickcheck} provides randomized testing in the style of
+Haskell's Quickcheck library, with support for built-in types as well as
+types provided by Base.")
+ (license license:expat)))
+
(define-public ocaml4.07-jane-street-headers
(package
(name "ocaml4.07-jane-street-headers")
--
2.34.0
- [bug#53882] [PATCH v2 23/25] gnu: Add ocaml-timezone., (continued)
- [bug#53882] [PATCH v2 23/25] gnu: Add ocaml-timezone., zimoun, 2022/04/08
- [bug#53882] [PATCH v2 07/25] gnu: Add ocaml-ppx-string., zimoun, 2022/04/08
- [bug#53882] [PATCH v2 09/25] gnu: Add ocaml-ppx-pipebang., zimoun, 2022/04/08
- [bug#53882] [PATCH v2 11/25] gnu: Add ocaml-ppx-fixed-literal., zimoun, 2022/04/08
- [bug#53882] [PATCH v2 12/25] gnu: Add ocaml-bin-prot., zimoun, 2022/04/08
- [bug#53882] [PATCH v2 22/25] gnu: Add ocaml-core-kernel., zimoun, 2022/04/08
- [bug#53882] [PATCH v2 24/25] gnu: ocaml-jane-street-headers: Add variant., zimoun, 2022/04/08
- [bug#53882] [PATCH v2 17/25] gnu: Add ocaml-splittable-random., zimoun, 2022/04/08
- [bug#53882] [PATCH v2 21/25] gnu: Add ocaml-base-bigstring., zimoun, 2022/04/08
- [bug#53882] [PATCH v2 19/25] gnu: Add ocaml-ppx-fail., zimoun, 2022/04/08
- [bug#53882] [PATCH v2 18/25] gnu: Add ocaml-base-quickcheck.,
zimoun <=
- [bug#53882] [PATCH v2 13/25] gnu: Add ocaml-ppx-bin-prot., zimoun, 2022/04/08
- [bug#53882] [PATCH v2 04/25] gnu: Add ocaml-spawn., zimoun, 2022/04/08