Bug#1096036: transition: coq 8.20.1

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

On 17/02/2025 16:20, Julien Puydt wrote:
> Le lundi 17 février 2025 à 15:20 +0100, Emilio Pozuelo Monfort a
> écrit :
> > On 15/02/2025 15:18, Julien Puydt wrote:
> > > Package: release.debian.org
> > > Severity: normal
> > > User: release.debian.org@packages.debian.org
> > > Usertags: transition
> > > X-Debbugs-Cc: jpuydt@debian.org
> > > X-Debbugs-Cc: Debian OCaml Maintainers
> > > <debian-ocaml-maint@lists.debian.org>
> > >
> > > A new upstream version of Coq is out ; it requires rebuilding all
> > > depending packages, and updating some of them (see below).
> >
> > I don't see anything down there that suggests any other packages
> > needing
> > sourceful uploads. Can you clarify what you mean?
> >
> > Cheers,
> > Emilio
>
> I have several packages to update ; the description I gave was obtained
> using the coq-wanna-build script from the dh-coq package:
>
> coq-wanna-build coq 8.20.1-1 elpi 2.0.7-1 flocq 4.2.1-1 coq-elpi 2.4.0-
> 1 coq-hott 9.0-1 coq-hierarchy-builder 1.8.1-1 coq-corn 8.20.0-1
> coquelicot 3.4.3-1 mathcomp-bigenough 1.0.2-1 mathcomp-algebra-tactics
> 1.2.4-1
>
> So you see ten packages need a sourceful upload ; the rest of the Coq
> packages will only need a rebuild.

Ack. Go ahead then.

Cheers,
Emilio