diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-10-05 22:23:12 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-10-05 22:23:42 +0200 |
| commit | 9e560c185cf8781c0e14ddf2efd9c0992956dae5 (patch) | |
| tree | 5127eddbf8c5da51dd212c39bab25b7069594ca7 /gnu | |
| parent | 07c1a10ef6cd24a0a02aefb281931fdd6fa3895e (diff) | |
| download | patches-9e560c185cf8781c0e14ddf2efd9c0992956dae5.tar patches-9e560c185cf8781c0e14ddf2efd9c0992956dae5.tar.gz | |
gnu: ocaml-qcheck: Update to 0.11.
* gnu/packages/ocaml.scm (ocaml-qcheck): Update to 0.11.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/ocaml.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 146fb63d5e..981781f39e 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1186,7 +1186,7 @@ GNU CC attributes. It provides also a C pretty printer as an example of use.") (define-public ocaml-qcheck (package (name "ocaml-qcheck") - (version "0.10") + (version "0.11") (source (origin (method git-fetch) @@ -1195,7 +1195,7 @@ GNU CC attributes. It provides also a C pretty printer as an example of use.") (commit version))) (file-name (git-file-name name version)) (sha256 - (base32 "1i7axg7vmivrkzsahyg79my584myvzxv0922k4000bdwnhzd0kzh")))) + (base32 "0d2wih4zxn2zm7kxd9dnf5nlp838km3vz6wv80fa3m51609fb24i")))) (build-system dune-build-system) (arguments `(#:test-target ".")) |