[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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.

Bug 1016416, but that doesn't look that efficient.

J.Puydt


Reply to: