Bug#1087631: Transition: coq 8.20

[Julien Puydt <julien.puydt@gmail.com>]

Hi

Le mer. 20 nov. 2024, 09:53, Emilio Pozuelo Monfort <pochu@debian.org> a écrit :

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 the
new coq version?

Yes, that is what I meant when I wrote I prepared a coherent set ; sorry if I wasn't clear.

Thanks,

JP