GNU bug report logs - #50317
[PATCH 0/2] Update ‘ocaml-ppxlib’

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Xinglu Chen <public <at> yoctocell.xyz>
Subject: bug#50317: closed (Re: bug#50317: [PATCH 0/2] Update
 ‘ocaml-ppxlib’)
Date: Mon, 06 Sep 2021 21:37:02 +0000

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

Your bug report

#50317: [PATCH 0/2] Update ‘ocaml-ppxlib’

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 50317 <at> debbugs.gnu.org.

-- 
50317: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=50317
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Ludovic Courtès <ludo <at> gnu.org>
To: Xinglu Chen <public <at> yoctocell.xyz>
Cc: 50317-done <at> debbugs.gnu.org
Subject: Re: bug#50317: [PATCH 0/2] Update ‘ocaml-ppxlib’
Date: Mon, 06 Sep 2021 23:36:28 +0200

Hi,

Xinglu Chen <public <at> yoctocell.xyz> skribis:

> Changes since v1:
>
> * Update ‘ocamlformat’ to fix the build with ‘ocaml-ppxlib’.
>
> * Patch ‘ocaml-ppx-variants-conv’ to make it build with
>   ocaml-ppxlib <at> 0.23.0.
>
> * Reorder the patches so that the ‘ocaml-ppxlib’ update comes last.

Applied, thanks!

Ludo’.

[Message part 3 (message/rfc822, inline)]

From: Xinglu Chen <public <at> yoctocell.xyz>
To: guix-patches <at> gnu.org
Subject: [PATCH 0/2] Update ‘ocaml-ppxlib’
Date: Wed, 01 Sep 2021 14:58:45 +0200

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

‘ocaml-ppx-optcomp’ fails to build with the new ‘ocaml-ppxlib’, updating
it makes it build again.

Xinglu Chen (2):
  gnu: ocaml-ppxlib: Update to 0.23.0.
  gnu: ocaml-ppx-optcomp: Update to 0.14.3.

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


base-commit: 96e487b310d6f70fb6fb4c88cdd936225450706f
-- 
2.33.0

[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.