Hi, Le lundi 01 août 2022 à 14:20 +0200, Joachim Breitner a écrit : > > it looks like you re-created the setup that the Haskell and Ocaml > packages use, with the provides/depends and hashes. >
Yes, dh-ocaml was a great help. I learned Perl to write dh-coq... > We have a tool that produces a file with the necessary commands to > pass to wanna-build, see for example in > https://people.debian.org/~iliastsi/binNMUs-haskell.txt > > I used to produce a file like this for Ocaml, but it’s gone since I > disabled my account. It’s configured via a simple regex, > libghc-(.*)-dev-([0-9.]+)-([0-9a-f]{5}) > in the case of Ocaml. > > The source code is at > https://salsa.debian.org/haskell-team/tools/-/tree/master/binnmus > > It may be useful to you too The source code is very complex, and it looks like it can get the hashes of the new packages -- something I'm incapable of doing! Indeed that would mean building the whole stack on all architectures so the computations happen. Indeed the hashes I have are arch-dependent... I tried to write a simpler version, which might still be valuable ; here is the wanna-build script I would get if I wanted to upload coq- elpi 1.15.5-1 to unstable: ./wanna-build.py coq-elpi 1.15.5-1 nmu coq-hierarchy-builder_1.3.0-1 . ANY . -m 'Rebuild due to new coq- elpi 1.15.5-1' dw coq-hierarchy-builder_1.3.0-1 . ANY . -m 'coq-elpi => 1.15.5-1' nmu mathcomp-algebra-tactics_1.0.0-6+b1 . ANY . -m 'Rebuild due to new coq-elpi 1.15.5-1' dw mathcomp-algebra-tactics_1.0.0-6+b1 . ANY . -m 'coq-elpi => 1.15.5- 1' nmu mathcomp-analysis_0.5.2-2 . ANY . -m 'Rebuild due to new coq-elpi 1.15.5-1' dw mathcomp-analysis_0.5.2-2 . ANY . -m 'coq-elpi => 1.15.5-1' dw mathcomp-analysis_0.5.2-2 . ANY . -m 'coq-hierarchy-builder => 1.3.0-1+b1' does that look correct? How are automatic transitions generated? It would probably be much more efficient if I could provide scripts to automatically provide transition scripts such as above: they would only need to change when the list of Coq-related packages changes. Cheers, J.Puydt