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....@packages.debian.org
Usertags: transition
X-Debbugs-Cc: jpu...@debian.org
X-Debbugs-Cc: Debian OCaml Maintainers
<debian-ocaml-ma...@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
