bug#39249: closed ([PATCH] gnu: ocaml: Switch to 4.09 by default)

[GNU bug Tracking System]

Your message dated Sun, 26 Jan 2020 21:59:41 -0500
with message-id <address@hidden>
and subject line Re: [bug#39249] [PATCH] gnu: ocaml: Switch to 4.09 by default
has caused the debbugs.gnu.org bug report #39249,
regarding [PATCH] gnu: ocaml: Switch to 4.09 by default
to be marked as done.

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


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

--- Begin Message --- Subject: [PATCH] gnu: ocaml: Switch to 4.09 by default Date: Thu, 23 Jan 2020 05:22:49 +0100

Hi Guix!

This small patch series implements the switch to OCaml 4.09 by default.

I have accidentally damaged the physical media on which I had stored my
only copy of my private gpg key. It is still recognised as a USB storage
media, but no partition show up (and I can't use fdisk on it either), so
I'm not sure what's wrong exactly. If a commiter could push this on my
behalf, it would be great!

Thank you!

0001-gnu-ocambuild-Update-to-0.14.0.patch
Description: Text Data

0002-gnu-Add-ocaml4.07-lablgtk.patch
Description: Text Data

0003-gnu-Add-ocaml4.07-dune.patch
Description: Text Data

0004-guix-ocaml-Also-replace-dune-when-relevant-in-packag.patch
Description: Text Data

0005-gnu-ocaml-Switch-to-ocaml-4.09-by-default.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#39249] [PATCH] gnu: ocaml: Switch to 4.09 by default
>
>
>
>
> Date: 
>
> Sun, 26 Jan 2020 21:59:41 -0500
>
>
>
>
> User-agent: 
>
> K-9 Mail for Android
>
>
>
>
> Le 22 janvier 2020 23:55:17 GMT-05:00, Julien Lepiller <address@hidden> a écrit 
> :
> >Le Thu, 23 Jan 2020 05:22:49 +0100,
> >Julien Lepiller <address@hidden> a écrit :
> >
> >> Hi Guix!
> >> 
> >> This small patch series implements the switch to OCaml 4.09 by
> >> default.
> >> 
> >> I have accidentally damaged the physical media on which I had stored
> >> my only copy of my private gpg key. It is still recognised as a USB
> >> storage media, but no partition show up (and I can't use fdisk on it
> >> either), so I'm not sure what's wrong exactly. If a commiter could
> >> push this on my behalf, it would be great!
> >> 
> >> Thank you!
> >
> >Updated last patch (sorry) to fix some build failures. I've
> >successfully rebuilt the result of ./pre-inst-env guix refresh -l
> >ocaml, except coq packages (too long to build), pplacer and ocaml-mcl.
>
> Pushed to master since there was no answer.
>
>
> --- End Message ---