Bug#1015179: Please update ppxlib to latest upstream

[julien.puydt@gmail.com]

Hi,

Le jeudi 22 septembre 2022 à 14:46 +0200, julien.puydt@gmail.com a
écrit :
> 
> I'll try to work on checking again what is needed to push to unstable
> when I find the time.
> 

I found some time this evening ; but the problem I have is I don't know
how to handle deps correctly for OCaml packages!

For Coq packages, I have a script and I can run:
$ ./planif_transition coq-foo
which tells me which packages are to be handled -- and in which order.
For example:
$ ./planif_transition.py ssreflect
'ssreflect'
'coq-deriving', 'coq-reglang', 'coq-relation-algebra', 'coquelicot',
'mathcomp-bigenough', 'mathcomp-finmap', 'mathcomp-zify'
'coq-extructures', 'coq-interval', 'coq-quickchick', 'mathcomp-algebra-
tactics', 'mathcomp-analysis', 'mathcomp-multinomials', 'mathcomp-real-
closed'
'coqeal', 'mathcomp-abel'
where on each line the packages can be parallel-built.

Is there something like this for OCaml packages?

J.Puydt

PS: I should really clean my Coq script and put them somewhere to limit
the bus factor...