Processed: Re: Bug#1100416: transition: coq-elpi, coq-quickchick, coq-simple-io and coqeal

To: Emilio Pozuelo Monfort <pochu@debian.org>
Cc: debian-release@lists.debian.org
Subject: Processed: Re: Bug#1100416: transition: coq-elpi, coq-quickchick, coq-simple-io and coqeal
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Tue, 18 Mar 2025 12:09:02 +0000
Message-id: <[🔎] handler.s.B1100416.17422996661304061.transcript@bugs.debian.org>
References: <[🔎] 8ea90458-bd5c-4af7-b0af-f7fcdca3f784@debian.org> <[🔎] 62e1774cad073812be716eed11a7a739f069dbf2.camel@gmail.com>

Processing control commands:

> tags -1 confirmed
Bug #1100416 [release.debian.org] transition: coq-elpi, coq-quickchick, coq-simple-io and coqeal
Added tag(s) confirmed.

-- 
1100416: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1100416
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#1100416: transition: coq-elpi, coq-quickchick, coq-simple-io and coqeal
  - From: Emilio Pozuelo Monfort <pochu@debian.org>
- Bug#1100416: transition: coq-elpi, coq-quickchick, coq-simple-io and coqeal
  - From: Julien Puydt <julien.puydt@gmail.com>

Prev by Date: Bug#1100416: transition: coq-elpi, coq-quickchick, coq-simple-io and coqeal
Next by Date: Processed: Re: Bug#1100599: transition: courier-unicode
Previous by thread: Bug#1100416: transition: coq-elpi, coq-quickchick, coq-simple-io and coqeal
Next by thread: Bug#1098901: marked as done (transition: Qt 6.8.2)
Index(es):
- Date
- Thread