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? Cheers -- Sebastian Ramacher
