GNU bug report logs - #39249
[PATCH] gnu: ocaml: Switch to 4.09 by default

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 39249 in the body.
You can then email your comments to 39249 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Julien Lepiller <julien <at> lepiller.eu>
To: guix-patches <at> gnu.org
Subject: [PATCH] gnu: ocaml: Switch to 4.09 by default
Date: Thu, 23 Jan 2020 05:22:49 +0100

[Message part 1 (text/plain, inline)]

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 (text/x-patch, attachment)]

[0002-gnu-Add-ocaml4.07-lablgtk.patch (text/x-patch, attachment)]

[0003-gnu-Add-ocaml4.07-dune.patch (text/x-patch, attachment)]

[0004-guix-ocaml-Also-replace-dune-when-relevant-in-packag.patch (text/x-patch, attachment)]

[0005-gnu-ocaml-Switch-to-ocaml-4.09-by-default.patch (text/x-patch, attachment)]

Message #8 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Julien Lepiller <julien <at> lepiller.eu>
To: guix-patches <at> gnu.org
Subject: Re: [bug#39249] [PATCH] gnu: ocaml: Switch to 4.09 by default
Date: Thu, 23 Jan 2020 05:55:17 +0100

[Message part 1 (text/plain, inline)]

Le Thu, 23 Jan 2020 05:22:49 +0100,
Julien Lepiller <julien <at> lepiller.eu> 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.

[0005-gnu-ocaml-Switch-to-ocaml-4.09-by-default.patch (text/x-patch, attachment)]

Message #13 received at 39249-done <at> debbugs.gnu.org (full text, mbox):

From: Julien Lepiller <julien <at> lepiller.eu>
To: 39249-done <at> debbugs.gnu.org
Subject: Re: [bug#39249] [PATCH] gnu: ocaml: Switch to 4.09 by default
Date: Sun, 26 Jan 2020 21:59:41 -0500

Le 22 janvier 2020 23:55:17 GMT-05:00, Julien Lepiller <julien <at> lepiller.eu> a écrit :
>Le Thu, 23 Jan 2020 05:22:49 +0100,
>Julien Lepiller <julien <at> lepiller.eu> 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.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.