diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2023-12-24 14:20:28 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2023-12-30 22:09:46 +0100 |
| commit | 17101812a8c231d2d8d69bb2137c67cd929c6eca (patch) | |
| tree | 907804a8338f112088f5fe7c86352adb52ff6064 /gnu | |
| parent | bbd0a46127cd673f7d1d1507e33b8486a9afde3a (diff) | |
| download | guix-17101812a8c231d2d8d69bb2137c67cd929c6eca.tar guix-17101812a8c231d2d8d69bb2137c67cd929c6eca.tar.gz | |
gnu: Remove ocaml4.07-qcheck.
* gnu/packages/ocaml.scm (ocaml4.07-qcheck): Remove variable.
(ocaml-qcheck)[properties]: Remove variant.
Change-Id: I5d658a105d626315742428a68638222da212bea6
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/ocaml.scm | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 8f8758ed59..5169877b46 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1665,7 +1665,6 @@ GNU CC attributes. It provides also a C pretty printer as an example of use.") (list ocaml-alcotest ocaml-ounit ocaml-ppxlib)) (native-inputs (list ocamlbuild)) - (properties `((ocaml4.07-variant . ,(delay ocaml4.07-qcheck)))) (home-page "https://github.com/c-cube/qcheck") (synopsis "QuickCheck inspired property-based testing for OCaml") (description "QuickCheck inspired property-based testing for OCaml. This @@ -1674,22 +1673,6 @@ generated instances of the type. It provides combinators for generating instances and printing them.") (license license:lgpl3+))) -(define-public ocaml4.07-qcheck - (package-with-ocaml4.07 - (package - (inherit ocaml-qcheck) - (version "0.12") - (source (origin - (method git-fetch) - (uri (git-reference - (url "https://github.com/c-cube/qcheck") - (commit version))) - (file-name (git-file-name "ocaml-qcheck" version)) - (sha256 - (base32 - "1llnfynhlndwyjig7wrayjnds2b3mggp5lw20dwxhn2i2lkkb22m")))) - (properties '())))) - (define-public ocaml-qtest (package (name "ocaml-qtest") |