Bug#1087631: Transition: coq 8.20

[Emilio Pozuelo Monfort <pochu@debian.org>]

Control: tags -1 confirmed

On 20/11/2024 10:20, Julien Puydt wrote:
> 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.

Go ahead then.

Cheers,
Emilio