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

Bug#1100177: marked as done (transition: coq-elpi 2.5.0-1)



On 13/03/2025 15:24, Debian Bug Tracking System wrote:


Hi,

sorry but a few more packages have new transitions, so I'd rather do a
bigger one in a few days than the modest one I proposed in this report.

Keep in mind that the transition deadline is in two days.

Cheers,
Emilio


Reply to: