Hi, I've seen you've restricted the Architectures list of the coq package. Is this a temporary measure? Or is Coq definitely dropping support for bytecode architectures? If so, a RM request should be made to remove coq binary packages from these architectures. Cheers, -- Stéphane