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