Hi, Le jeudi 22 septembre 2022 à 14:46 +0200, julien.pu...@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...
