bug#56080: closed ([PATCH]: gnu: bap: Update to 2.5.0-alpha.)

[GNU bug Tracking System]

Your message dated Tue, 28 Jun 2022 19:37:43 +0200
with message-id <20220628193743.64a51781@sybil.lepiller.eu>
and subject line Re: bug#56080: [PATCH]: gnu: bap: Update to 2.5.0-alpha.
has caused the debbugs.gnu.org bug report #56080,
regarding [PATCH]: gnu: bap: Update to 2.5.0-alpha.
to be marked as done.

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


-- 
56080: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=56080
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH]: gnu: bap: Update to 2.5.0-alpha.
>
>
>
>
> Date: 
>
> Sun, 19 Jun 2022 09:18:24 +0200
>
>
>
>
> Hi Guix!
>
> This small patch series finally updates bap to a version that can use
> the latest OCaml compiler. After we merge that, we will be able to
> remove most ocaml-4.07 packages :)
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#56080: [PATCH]: gnu: bap: Update to 2.5.0-alpha.
>
>
>
>
> Date: 
>
> Tue, 28 Jun 2022 19:37:43 +0200
>
>
>
>
> Thanks, pushed to master as 404df667e3b06f1e9a416c956e53c03ca3642140.
>
> Le Wed, 22 Jun 2022 22:50:09 +0200,
> Ludovic Courtès <ludo@gnu.org> a écrit :
>
> > Howdy,
> > 
> > Julien Lepiller <julien@lepiller.eu> skribis:
> > 
> > > This small patch series finally updates bap to a version that can
> > > use the latest OCaml compiler.  
> > 
> > LGTM!
> > 
> > > After we merge that, we will be able to remove most ocaml-4.07
> > > packages :)  
> > 
> > Yay!
> > 
> > Ludo’.
>
>
>
> --- End Message ---