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

To: 1100177@bugs.debian.org, Julien Puydt <julien.puydt@gmail.com>
Subject: Bug#1100177: marked as done (transition: coq-elpi 2.5.0-1)
From: Emilio Pozuelo Monfort <pochu@debian.org>
Date: Thu, 13 Mar 2025 16:16:19 +0100
Message-id: <[🔎] 0ebaf937-08e4-43e4-980e-93786876fe6d@debian.org>
Reply-to: Emilio Pozuelo Monfort <pochu@debian.org>, 1100177@bugs.debian.org
In-reply-to: <[🔎] handler.1100177.D1100177.1741875684473807.ackdone@bugs.debian.org>
References: <e5811a8bf75babc98bc34a8276f6f4978a4f9bcd.camel@gmail.com> <[🔎] 146cf63dc5e87751bde1874a505c636bb766edfb.camel@gmail.com> <[🔎] handler.1100177.D1100177.1741875684473807.ackdone@bugs.debian.org> <[🔎] 146cf63dc5e87751bde1874a505c636bb766edfb.camel@gmail.com>

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:

References:
- Bug#1100177: transition: coq-elpi 2.5.0-1
  - From: Julien Puydt <julien.puydt@gmail.com>
- Bug#1100177: marked as done (transition: coq-elpi 2.5.0-1)
  - From: "Debian Bug Tracking System" <owner@bugs.debian.org>

Prev by Date: Bug#1099677: transition: libgit2
Next by Date: Bug#1100166: transition: onnxruntime
Previous by thread: Bug#1100177: marked as done (transition: coq-elpi 2.5.0-1)
Next by thread: Bug#1100336: bookworm-pu: package nginx/1.22.1-9+deb12u2
Index(es):
- Date
- Thread