Processed: Re: Bug#1020564: transition: coq-simple-io

To: Sebastian Ramacher <sramacher@debian.org>
Cc: debian-release@lists.debian.org
Subject: Processed: Re: Bug#1020564: transition: coq-simple-io
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Sun, 25 Sep 2022 13:51:11 +0000
Message-id: <[🔎] handler.s.B1020564.16641137737080.transcript@bugs.debian.org>
References: <[🔎] YzBcawWyx1KZthJ2@ramacher.at> <[🔎] 0b78062e0e99bd9d28fc9150deb3c1f97496b735.camel@gmail.com>

Processing control commands:

> tags -1 confirmed
Bug #1020564 [release.debian.org] transition: coq-simple-io
Added tag(s) confirmed.

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

Reply to:

References:
- Bug#1020564: transition: coq-simple-io
  - From: Sebastian Ramacher <sramacher@debian.org>
- Bug#1020564: transition: coq-simple-io
  - From: julien.puydt@gmail.com

Prev by Date: Processed: Re: Bug#1020541: transition: rakudo
Next by Date: Bug#1018076: mini-transition: gjs built against mozjs102
Previous by thread: Bug#1020564: transition: coq-simple-io
Next by thread: Bug#1020596: bullseye-pu: mod-wsgi/4.7.1-3+deb11u1
Index(es):
- Date
- Thread