Re: Coq packages in Debian : difficult transitions

[julien.puydt@gmail.com]

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