Bug#1087631: Transition: coq 8.20

To: Julien Puydt <julien.puydt@gmail.com>, 1087631@bugs.debian.org
Subject: Bug#1087631: Transition: coq 8.20
From: Emilio Pozuelo Monfort <pochu@debian.org>
Date: Wed, 20 Nov 2024 09:53:28 +0100
Message-id: <[🔎] 63fc13da-9e03-4da4-b727-d15a7d7001a6@debian.org>
Reply-to: Emilio Pozuelo Monfort <pochu@debian.org>, 1087631@bugs.debian.org
In-reply-to: <[🔎] 75d7690d96fb8b5303017444cac7c09d708a612e.camel@gmail.com>
References: <[🔎] 75d7690d96fb8b5303017444cac7c09d708a612e.camel@gmail.com> <[🔎] 75d7690d96fb8b5303017444cac7c09d708a612e.camel@gmail.com>

On 16/11/2024 15:43, Julien Puydt wrote:

Package: release.debian.org
Severity: normal
User: release.debian.org@packages.debian.org
Usertags: transition
X-Debbugs-CC: debian-ocaml-maint@lists.debian.org

Coq version 8.20 has been out since the beginning of september. I
prepared a coherent set of versions for the whole Coq-in-Debian set of
packages (45 packages).

I need a transition slot before I upload anything.

Have you done any local rebuilds to ensure that packages build fine against thenew coq version?


Emilio

Reply to:

Follow-Ups:
- Bug#1087631: Transition: coq 8.20
  - From: Julien Puydt <julien.puydt@gmail.com>

References:
- Bug#1087631: Transition: coq 8.20
  - From: Julien Puydt <julien.puydt@gmail.com>

Prev by Date: Bug#1086572: bookworm-pu: package qemu/1:7.2+dfsg-7+deb12u8
Next by Date: Bug#1087659: transition: coinor-ipopt
Previous by thread: Bug#1087631: Transition: coq 8.20
Next by thread: Bug#1087631: Transition: coq 8.20
Index(es):
- Date
- Thread