[debbugs-tracker] bug#35280: closed ([PATCH] Remove ocaml-4.02)

[GNU bug Tracking System]

Your message dated Thu, 25 Apr 2019 19:04:11 +0200
with message-id <address@hidden>
and subject line Re: [bug#35280] [PATCH] Remove ocaml-4.02
has caused the debbugs.gnu.org bug report #35280,
regarding [PATCH] Remove ocaml-4.02
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
35280: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=35280
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] Remove ocaml-4.02
>
>
>
>
> Date: 
>
> Sun, 14 Apr 2019 22:25:36 +0200
>
>
>
>
> Hi!
>
> This patch series removes ocaml-4.02 and dependent packages. I updated
> bap to 1.6.0 (so it can build with the latest ocaml) and downgraded
> ocamlify for the same reason. I removed the obsolete jbuilder and
> adapted two dependents.
>
> Thanks!
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#35280] [PATCH] Remove ocaml-4.02
>
>
>
>
> Date: 
>
> Thu, 25 Apr 2019 19:04:11 +0200
>
>
>
>
> Le Sun, 14 Apr 2019 22:25:36 +0200,
> Julien Lepiller <address@hidden> a écrit :
>
> > Hi!
> > 
> > This patch series removes ocaml-4.02 and dependent packages. I updated
> > bap to 1.6.0 (so it can build with the latest ocaml) and downgraded
> > ocamlify for the same reason. I removed the obsolete jbuilder and
> > adapted two dependents.
> > 
> > Thanks!
> > 
>
> Pushed as ce9a30e6f4a34df45a4a165fea315f61745bb1d3 -
> c3634df2a48a5b981a97c85f425784cee9f94bc7 since there was no answer.
>
>
> --- End Message ---