Hi, Le mercredi 24 novembre 2021 à 08:23 +0100, Stéphane Glondu a écrit : > > 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? It's just a temporary measure ; I hope we'll get them back soon enough. Thanks for caring! J.Puydt