From 9e560c185cf8781c0e14ddf2efd9c0992956dae5 Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Sat, 5 Oct 2019 22:23:12 +0200 Subject: gnu: ocaml-qcheck: Update to 0.11. * gnu/packages/ocaml.scm (ocaml-qcheck): Update to 0.11. --- gnu/packages/ocaml.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'gnu/packages/ocaml.scm') 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 ".")) -- cgit v1.2.3 From 1e6e526e0cf924637d3912b0116aff46662d147a Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Sat, 5 Oct 2019 22:23:19 +0200 Subject: gnu: ocaml-utop: Update to 2.4.2. * gnu/packages/ocaml.scm (ocaml-utop): Update to 2.4.2. --- gnu/packages/ocaml.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'gnu/packages/ocaml.scm') diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 981781f39e..7984e40382 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3123,7 +3123,7 @@ instead of bindings to a C library.") (define-public ocaml-utop (package (name "ocaml-utop") - (version "2.4.1") + (version "2.4.2") (source (origin (method git-fetch) @@ -3132,7 +3132,7 @@ instead of bindings to a C library.") (commit version))) (file-name (git-file-name name version)) (sha256 - (base32 "1jm3sagissbw8012mnppknsxl9dqd9514b891b64disqhdb5awg3")))) + (base32 "0z8klqwqmq5i111p4awzvlvirhm1dxp0mbfagwfiwq1wg72v6zdm")))) (build-system dune-build-system) (arguments `(#:jbuild? #t -- cgit v1.2.3