GNU bug report logs - #73466
[PATCH 01/16] gnu: Add ocaml-jsonrpc.

Previous Next

Full log

View this message in rfc822 format

From: Herman Rimm <herman <at> rimm.ee>
To: 73466 <at> debbugs.gnu.org
Cc: Julien Lepiller <julien <at> lepiller.eu>, pukkamustard <pukkamustard <at> posteo.net>
Subject: [bug#73466] [PATCH 08/16] gnu: Add ocaml-qcheck-core.
Date: Wed, 25 Sep 2024 10:03:04 +0200

* gnu/packages/ocaml.scm (ocaml-qcheck-core, ocaml-qcheck-ounit): Add
variables.

Change-Id: I821b5972f1f193660ea51f156a637494baded2db
---
 gnu/packages/ocaml.scm | 38 ++++++++++++++++++++++++++++++++++++++
 1 file changed, 38 insertions(+)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 5cfe7a3ed9..36bbc02a92 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -2037,6 +2037,44 @@ (define-public ocaml-qcheck
 instances and printing them.")
     (license license:lgpl3+)))
 
+(define-public ocaml-qcheck-core
+  (package
+    (name "ocaml-qcheck-core")
+    (version "0.21.3")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append "https://github.com/c-cube/qcheck/archive/v"
+                           version ".tar.gz"))
+       (sha256
+        (base32 "1ar416qlrb2qrnlm7vw7lzg860nrg9vw8p3rnx16xy8ryj6z5pix"))))
+    (build-system dune-build-system)
+    (propagated-inputs (list ocaml-odoc))
+    (native-inputs (list ocaml-alcotest ocaml-ounit2 ocaml-ppxlib))
+    (home-page "https://github.com/c-cube/qcheck/")
+    (synopsis "Core qcheck library")
+    (description "This package provides the core qcheck library.")
+    (license license:bsd-2)))
+
+(define-public ocaml-qcheck-ounit
+  (package
+    (name "ocaml-qcheck-ounit")
+    (version "0.21.3")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append "https://github.com/c-cube/qcheck/archive/v"
+                           version ".tar.gz"))
+       (sha256
+        (base32 "1ar416qlrb2qrnlm7vw7lzg860nrg9vw8p3rnx16xy8ryj6z5pix"))))
+    (build-system dune-build-system)
+    (propagated-inputs (list ocaml-qcheck-core ocaml-ounit2 ocaml-odoc))
+    (native-inputs (list ocaml-alcotest ocaml-ppxlib))
+    (home-page "https://github.com/c-cube/qcheck/")
+    (synopsis "OUnit backend for qcheck")
+    (description "This package provides the OUnit backend for qcheck.")
+    (license license:bsd-2)))
+
 (define-public ocaml-qtest
   (package
     (name "ocaml-qtest")
-- 
2.45.2

Previous Next

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