Hi, On 21-01-2024 21:06, julien.puydt@gmail.com wrote:
Would kicking the mathcomp-analysis package out of testing allow the migration of the rest of the Coq-related packages and at least give a coherent set there?
It seems src:mathcomp-analysis is a leaf package that can easily be removed indeed.
That would still leave mathcomp-analysis broken in unstable, of course, but that's a lesser evil.
Indeed.
If the issue isn't cleared for testing by february first, I'll just ask for a full RM of mathcomp-analysis : a brutal fix, but an efficient one.
Well, I think that if the package (once fixed) is still useful to have in Debian, temporary removal from testing is a reasonable trick to solve situations like this, no need for a full RM. Once fixed it can migrate again. Obviously if you think the situation for this package in Debian is bad, than full RM makes sense of course.
I have added a removal hint (for removal from testing). Paul
Attachment:
OpenPGP_signature.asc
Description: OpenPGP digital signature