Bug#1050027: closed by Debian FTP Masters <ftpmaster@ftp-master.debian.org> (reply to Julien Puydt <jpuydt@debian.org>) (Bug#1050027: fixed in mathcomp-analysis 0.6.4-2)

To: 1050027@bugs.debian.org
Subject: Bug#1050027: closed by Debian FTP Masters <ftpmaster@ftp-master.debian.org> (reply to Julien Puydt <jpuydt@debian.org>) (Bug#1050027: fixed in mathcomp-analysis 0.6.4-2)
From: Helmut Grohne <helmut@subdivi.de>
Date: Sat, 19 Aug 2023 20:58:55 +0200
Message-id: <[🔎] 20230819185855.GA1517971@subdivi.de>
Reply-to: Helmut Grohne <helmut@subdivi.de>, 1050027@bugs.debian.org
In-reply-to: <handler.1050027.D1050027.1692466170155568.notifdone@bugs.debian.org>
References: <E1qXPlO-000QeO-Tv@fasolo.debian.org> <[🔎] 20230818131649.GA1154392@subdivi.de> <handler.1050027.D1050027.1692466170155568.notifdone@bugs.debian.org> <[🔎] 20230818131649.GA1154392@subdivi.de>

Control: reopen -1
Control: found -1 mathcomp-analysis/0.6.4-2

On Sat, Aug 19, 2023 at 05:33:11PM +0000, Debian Bug Tracking System wrote:
> It has been closed by Debian FTP Masters <ftpmaster@ftp-master.debian.org> (reply to Julien Puydt <jpuydt@debian.org>).

I'm sorry. Adding Breaks is necessary but insufficient. You also need
Replaces.

Helmut

Reply to:

Follow-Ups:
- Bug#1050027: closed by Debian FTP Masters <ftpmaster@ftp-master.debian.org> (reply to Julien Puydt <jpuydt@debian.org>) (Bug#1050027: fixed in mathcomp-analysis 0.6.4-2)
  - From: julien.puydt@gmail.com
- Bug#1050027: blocking migration of other OCaml packages to testing
  - From: Stéphane Glondu <glondu@debian.org>

References:
- Bug#1050027: libcoq-mathcomp-classical: undeclared file conflict with libcoq-mathcomp-analysis/bookworm+trixie
  - From: Helmut Grohne <helmut@subdivi.de>

Prev by Date: Bug#1044637: marked as pending in coq
Next by Date: Processed: Re: Bug#1050027 closed by Debian FTP Masters <ftpmaster@ftp-master.debian.org> (reply to Julien Puydt <jpuydt@debian.org>) (Bug#1050027: fixed in mathcomp-analysis 0.6.4-2)
Previous by thread: Bug#1050027: marked as done (libcoq-mathcomp-classical: undeclared file conflict with libcoq-mathcomp-analysis/bookworm+trixie)
Next by thread: Bug#1050027: closed by Debian FTP Masters <ftpmaster@ftp-master.debian.org> (reply to Julien Puydt <jpuydt@debian.org>) (Bug#1050027: fixed in mathcomp-analysis 0.6.4-2)
Index(es):
- Date
- Thread