Bug#1016416: Coq-related packages transition - coq-elpi
On 2022-07-31 13:23:38 +0200, julien.puydt@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
Reply to: