bug#61729: closed ([PATCH 0/2] gnu: Update ocaml-eio to 0.8.1.)

[GNU bug Tracking System]

Your message dated Sun, 05 Mar 2023 22:49:41 +0100
with message-id <87sfeioolm.fsf@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@gnu.org.)


-- 
61729: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=61729
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> 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
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#61729: [PATCH 0/2] gnu: Update ocaml-eio to 0.8.1.
>
>
>
>
> Date: 
>
> Sun, 05 Mar 2023 22:49:41 +0100
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux)
>
>
>
>
> Hey pukkamustard,
>
> pukkamustard <pukkamustard@posteo.net> skribis:
>
> >   gnu: Update ocaml-uring to 0.5.
> >   gnu: Update ocaml-eio to 0.8.1.
>
> Applied, thanks!
>
> Ludo’.
>
>
> --- End Message ---