GNU bug report logs - #61729
[PATCH 0/2] gnu: Update ocaml-eio to 0.8.1.

Previous Next

Package: guix-patches;

Reported by: pukkamustard <pukkamustard <at> posteo.net>

Date: Thu, 23 Feb 2023 09:53:02 UTC

Severity: normal

Tags: patch

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

Full log


View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#61729: closed ([PATCH 0/2] gnu: Update ocaml-eio to 0.8.1.)
Date: Sun, 05 Mar 2023 21:50:02 +0000
[Message part 1 (text/plain, inline)]
Your message dated Sun, 05 Mar 2023 22:49:41 +0100
with message-id <87sfeioolm.fsf <at> gnu.org>
and subject line Re: bug#61729: [PATCH 0/2] gnu: Update ocaml-eio to 0.8.1.
has caused the debbugs.gnu.org bug report #61729,
regarding [PATCH 0/2] gnu: Update ocaml-eio to 0.8.1.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
61729: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=61729
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems
[Message part 2 (message/rfc822, inline)]
From: pukkamustard <pukkamustard <at> posteo.net>
To: guix-patches <at> gnu.org
Cc: pukkamustard <pukkamustard <at> posteo.net>
Subject: [PATCH 0/2] gnu: Update ocaml-eio to 0.8.1.
Date: Thu, 23 Feb 2023 09:51:44 +0000
Hello Guix,

This updates ocaml-eio (exposed as ocaml5.0-eio) to 0.8.1.

ocaml-mtime is also updated to 2.0.0 (from 1.4.0) in the same commit as it is
required by the new eio version, but the old version of eio does not compile
with the new version of ocaml-mtime.

Thanks,
pukkamustard

pukkamustard (2):
  gnu: Update ocaml-uring to 0.5.
  gnu: Update ocaml-eio to 0.8.1.

 gnu/packages/ocaml.scm | 19 +++++++++++--------
 1 file changed, 11 insertions(+), 8 deletions(-)


base-commit: 454c9731973d15a22967cfd815134ee5d251c053
-- 
2.39.1



[Message part 3 (message/rfc822, inline)]
From: Ludovic Courtès <ludo <at> gnu.org>
To: pukkamustard <pukkamustard <at> posteo.net>
Cc: 61729-done <at> debbugs.gnu.org
Subject: Re: bug#61729: [PATCH 0/2] gnu: Update ocaml-eio to 0.8.1.
Date: Sun, 05 Mar 2023 22:49:41 +0100
Hey pukkamustard,

pukkamustard <pukkamustard <at> posteo.net> skribis:

>   gnu: Update ocaml-uring to 0.5.
>   gnu: Update ocaml-eio to 0.8.1.

Applied, thanks!

Ludo’.


This bug report was last modified 2 years and 77 days ago.

Previous Next


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