Bug#1015179: Please update ppxlib to latest upstream

[julien.puydt@gmail.com]

Hi,

Le mardi 11 octobre 2022 à 11:26 +0200, Stéphane Glondu a écrit :
> 
> Le 11/10/2022 à 08:26, julien.puydt@gmail.com a écrit :
> > > > Could you package the latest upstream?
> > 
> > I did as much as I could and I think I nailed it:
> 
> Thank you for taking care of this.
> 
> > ** packaging: ocaml-sexplib0 (protected on salsa)
> > [...]
> > ** packaging: janest-base (protected on salsa)
> > [...]
> >     new version 0.15.0 (protected on salsa)
> 
> I've set you as Maintainer in the ocaml-team group on salsa. It
> should allow you to push to all packages.
> 

Thanks, I'll try.

> > Now how does one manage transition within the OCaml team?
> 
> It depends on the transition...
> 
> For "small" transitions (i.e. not involving OCaml itself), I just
> upload the new base package and wait for the reverse-dependencies to
> be broken in:
> 
>    https://release.debian.org/transitions/html/ocaml.html
> 
> Then, I upload or binNMU the broken packages, level by level.
> 

I think I'll do that for this one.

> Sometimes, when I suspect big breakage, I prepare the transition by 
> recompiling on my own machine reverse-dependencies, as you seem to
> have done.

And I did it by hand and by trial-and-error... that was awful :-/

> For OCaml itself, I've documented how I prepare transitions:
>  
> https://salsa.debian.org/debian/ben/-/tree/master/examples/ocaml-transition-scripts
> 

That looks like a useful script ; the fact that it only works for full
transitions can be annoying.


In https://salsa.debian.org/ocaml-team/dh-coq/-/tree/master/tools ,
you'll see I:

- prepare transitions with coq-planif-transition, which doesn't do much
work for me, except it tells me which packages will be of concern and
in which order I should build things -- by hand! That would need
improvements...

- actually manage transitions with coq-wanna-build, so that I only have
to file a transition bug to the release team with what this script gave
me and wait for the upload ack ; here is a recent example:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1019536

As I mentioned above, I think I'll work things by hand for this
specific ppxlib transition, but in the future, perhaps it's possible to
adapt my Coq scripts to the OCaml ecosystem?

Cheers,

J.Puydt