[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#53882] [PATCH 17/24] gnu: Add ocaml-base-quickcheck.
From: |
Julien Lepiller |
Subject: |
[bug#53882] [PATCH 17/24] gnu: Add ocaml-base-quickcheck. |
Date: |
Tue, 8 Feb 2022 21:14:43 +0100 |
* 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 901f54c864..d969e69384 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 06/24] gnu: Add ocaml-ppx-string., (continued)
- [bug#53882] [PATCH 06/24] gnu: Add ocaml-ppx-string., Julien Lepiller, 2022/02/08
- [bug#53882] [PATCH 09/24] gnu: Add ocaml-ppx-module-timer., Julien Lepiller, 2022/02/08
- [bug#53882] [PATCH 11/24] gnu: Add ocaml-bin-prot., Julien Lepiller, 2022/02/08
- [bug#53882] [PATCH 19/24] gnu: Add ocmal-ppx-jane., Julien Lepiller, 2022/02/08
- [bug#53882] [PATCH 22/24] gnu: Add ocaml-timezone., Julien Lepiller, 2022/02/08
- [bug#53882] [PATCH 24/24] gnu: Add ocaml-core., Julien Lepiller, 2022/02/08
- [bug#53882] [PATCH 23/24] gnu: ocaml-jane-street-headers: Add variant., Julien Lepiller, 2022/02/08
- [bug#53882] [PATCH 12/24] gnu: Add ocaml-ppx-bin-prot., Julien Lepiller, 2022/02/08
- [bug#53882] [PATCH 14/24] gnu: Add ocaml-ppx-sexp-value., Julien Lepiller, 2022/02/08
- [bug#53882] [PATCH 17/24] gnu: Add ocaml-base-quickcheck.,
Julien Lepiller <=
- [bug#53882] [PATCH 13/24] gnu: Add ocaml-ppx-bench., Julien Lepiller, 2022/02/08
- [bug#53882] [PATCH 18/24] gnu: Add ocaml-ppx-fail., Julien Lepiller, 2022/02/08
- [bug#53882] [PATCH 04/24] gnu: Add ocaml-typerep., Julien Lepiller, 2022/02/08
- [bug#53882] [PATCH 02/24] import: opam: Factor out source import., Julien Lepiller, 2022/02/08
- [bug#53882] [PATCH 10/24] gnu: Add ocaml-ppx-fixed-literal., Julien Lepiller, 2022/02/08
- [bug#53882] [PATCH 07/24] gnu: Add ocaml-ppx-stable., Julien Lepiller, 2022/02/08
- [bug#53882] [PATCH 08/24] gnu: Add ocmal-ppx-pipebang., Julien Lepiller, 2022/02/08
- [bug#53882] [PATCH 15/24] gnu: Add ocaml-ppx-sexp-message., Julien Lepiller, 2022/02/08
- [bug#53882] [PATCH 16/24] gnu: Add ocaml-splittable-random., Julien Lepiller, 2022/02/08
- [bug#53882] [PATCH 21/24] gnu: Add ocaml-core-kernel., Julien Lepiller, 2022/02/08