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). Cheers, J.Puydt