Control: tags -1 confirmed
On 20/11/2024 10:20, Julien Puydt wrote:
Hi
Le mer. 20 nov. 2024, 09:53, Emilio Pozuelo Monfort <po...@debian.org> a
écrit :
On 16/11/2024 15:43, Julien Puydt wrote:
Package: release.debian.org
Severity: normal
User: release.debian....@packages.debian.org
Usertags: transition
X-Debbugs-CC: debian-ocaml-ma...@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
