Re: Coq packages in Debian : difficult transitions
Le dimanche 31 juillet 2022 à 12:43 +0200, Sebastian Ramacher a écrit :
> On 2022-07-31 12:33:35 +0200, julien.puydt@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
Reply to: