On 2022-08-07 11:01:30 +0200, julien.pu...@gmail.com wrote: > Hi, > > Le mardi 02 août 2022 à 21:43 +0200, Sebastian Ramacher a écrit : > > On 2022-07-31 13:23:38 +0200, julien.pu...@gmail.com wrote: > > > Package: release.debian.org > > > > > > Some Coq-related packages need a rebuild: > > > > > > coq-hierarchy-builder > > > mathcomp-algebra-tactics mathcomp-analysis > > > > > > where packages on the same line can be handled in parallel. > > > > > > I can't give a nice ben script because the abi checksum varies with > > > the > > > architecture (see today's mail on debian-devel where I'm trying to > > > find > > > ideas for a better approach). > > > > From the discussion on -devel, a permanent tracker like the one for > > Haskell (https://release.debian.org/transitions/html/haskell.html) > > could > > help with the rebuilds for coq-* and related packages. Do all > > affected > > packages depends on some package that we can use as a basis for the > > permapermanent tracker? > > Short answer: no.
What about build-dependencies on dh-coq? Is https://release.debian.org/transitions/html/coq.html missing any coq-related packages? Cheers -- Sebastian Ramacher