Le dimanche 31 juillet 2022 à 12:43 +0200, Sebastian Ramacher a écrit : > On 2022-07-31 12:33:35 +0200, julien.pu...@gmail.com wrote: > > Hi, > > > > I tried to ask on debian-release because it seemed more sensible > > but > > didn't get feedback. [1] > > Please file a transition bug. The mailing list has a high volume and > non-bug mails may be overlooked.
Well, I would file a bug for a specific transition, but first I would like to discuss how to handle transitions for Coq-related packages in general. Cheers, J.Puydt