[debbugs-tracker] bug#34265: closed ([PATCH 1/9] gnu: dune: Update to 1.6.3.)

[GNU bug Tracking System]

Your message dated Mon, 4 Feb 2019 22:12:24 +0100
with message-id <address@hidden>
and subject line Re: [bug#34265] [PATCH 2/9] gnu: sexplib0: Update to 
0.12-preview.120.18+252.
has caused the debbugs.gnu.org bug report #34265,
regarding [PATCH 1/9] gnu: dune: Update to 1.6.3.
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
34265: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=34265
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: [PATCH 1/9] gnu: dune: Update to 1.6.3. Date: Thu, 31 Jan 2019 17:18:36 +0100 User-agent: mu4e 1.0; emacs 26.1

* gnu/packages/ocaml.scm (dune): Update to 1.6.3.
---
 gnu/packages/ocaml.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index a32cee44d..986e435f4 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -1391,14 +1391,14 @@ coverage information.")
 (define-public dune
   (package
     (name "dune")
-    (version "1.2.1")
+    (version "1.6.3")
     (source (origin
               (method url-fetch)
               (uri (string-append "https://github.com/ocaml/dune/releases/";
                                   "download/" version "/dune-" version ".tbz"))
               (sha256
                (base32
-                "00c5dbm4hkdapc2i7pg07b2lj8sv6ly38qr7zid58cdmbmzq21z9"))))
+                "0dmf0wbfmgdy5plz1bjiisc2hjgblvxsnrqjmw2c8y45v1h23mdz"))))
     (build-system ocaml-build-system)
     (arguments
      `(#:tests? #f; require odoc
-- 
2.20.1

signature.asc
Description: PGP signature

--- End Message ---

--- Begin Message --- Subject: Re: [bug#34265] [PATCH 2/9] gnu: sexplib0: Update to 0.12-preview.120.18+252. Date: Mon, 4 Feb 2019 22:12:24 +0100

Pushed as 625a3daa12217d7cd162149dcba5657237bb9455 and following. Thank
you!

pgpTQlbw40oKv.pgp
Description: Signature digitale OpenPGP

--- End Message ---