GNU bug report logs - #64249
[PATCH ocaml-team 1/2] gnu: ocaml: Update to 4.14.1.

Previous Next

Full log

View this message in rfc822 format

From: Arnaud Daby-Seesaram <ds-ac <at> nanein.fr>
To: 64249 <at> debbugs.gnu.org
Cc: pukkamustard <at> posteo.net, ds-ac <at> nanein.fr, Josselin Poiret <dev <at> jpoiret.xyz>, Julien Lepiller <julien <at> lepiller.eu>
Subject: [bug#64249] OCaml-related updates
Date: Sat, 23 Dec 2023 18:53:03 +0100

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

Hi,

Just a gentle ping to get your opinions on ocaml4.07.  Should Guix keep 
support for it?  (With current Guix, (at least some) ocaml4.07 packages 
are already broken.)

If not, is it possible to move forward with pukkamustard's patch series 
(optionally after updating why3 and frama-c to limit broken packages)?  
This would also enable other ocaml-related contributions, such as 67495, 
66119, 64209, ...  which might need adjustments after the update of 
dune.


Best regards,

-- 
ds-ac

[signature.asc (application/pgp-signature, inline)]

Previous Next

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